542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
|
export cross_host="ppc-morphos"
;;
switch)
if [ -z "$DEVKITPRO" ]; then
echo "Please set DEVKITPRO!"
return 1
fi
if [ -z $"DEVKITA64" ]; then
echo "Please set DEVKITA64!"
return 1
fi
export PATH="$DEVKITA64/bin:$PATH"
export cross_host="aarch64-none-elf"
export objfw_configure_flags="--with-$1"
;;
wii | wii-u)
if [ -z "$DEVKITPRO" ]; then
echo "Please set DEVKITPRO!"
return 1
fi
if [ -z "$DEVKITPPC" ]; then
|
|
|
|
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
|
export cross_host="ppc-morphos"
;;
switch)
if [ -z "$DEVKITPRO" ]; then
echo "Please set DEVKITPRO!"
return 1
fi
if [ -z "$DEVKITA64" ]; then
echo "Please set DEVKITA64!"
return 1
fi
export PATH="$DEVKITA64/bin:$PATH"
export cross_host="aarch64-none-elf"
export objfw_configure_flags="--with-nintendo-switch"
;;
wii | wii-u)
if [ -z "$DEVKITPRO" ]; then
echo "Please set DEVKITPRO!"
return 1
fi
if [ -z "$DEVKITPPC" ]; then
|