587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
|
if [ -z "$DEVKITA64" ]; then
echo "Please set DEVKITA64!"
return 1
fi
export PATH="$DEVKITA64/bin:$DEVKITPRO/tools/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
|
|
|
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
|
if [ -z "$DEVKITA64" ]; then
echo "Please set DEVKITA64!"
return 1
fi
export PATH="$DEVKITA64/bin:$DEVKITPRO/tools/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
|