devkitPPC: update gcc to 13.2.0

This commit is contained in:
Dave Murphy 2023-08-07 15:11:31 +01:00
parent 67729ec64c
commit 12a06c469f
No known key found for this signature in database
GPG Key ID: F7FD5492264BB9D0
3 changed files with 2 additions and 2 deletions

View File

@ -101,7 +101,7 @@ then
--with-newlib \
--with-headers=../../newlib-$NEWLIB_VER/newlib/libc/include \
--prefix=$prefix \
--with-bugurl="https://github.com/devkitpro/buildscripts/issues" --with-pkgversion="devkitPPC release 43" \
--with-bugurl="https://github.com/devkitpro/buildscripts/issues" --with-pkgversion="devkitPPC release 44" \
$CROSS_PARAMS \
$CROSS_GCC_PARAMS \
$EXTRA_GCC_PARAMS \

View File

@ -39,8 +39,8 @@ case "$VERSION" in
toolchain=DEVKITARM
;;
"2" )
GCC_VER=13.1.0
BINUTILS_VER=2.40
GCC_VER=13.2.0
MN_BINUTILS_VER=2.24
NEWLIB_VER=4.3.0.20230120
basedir='dkppc'