2021-10-27 12:51:22 -05:00
|
|
|
#!/bin/bash
|
|
|
|
|
#
|
2022-02-18 13:54:03 -06:00
|
|
|
# Purpose: Change settings in the Makefile to support compiling 32 bit
|
|
|
|
|
# operating systems for Raspberry Pi Hardware.
|
2021-10-27 12:51:22 -05:00
|
|
|
#
|
2021-12-04 15:22:26 -06:00
|
|
|
# To make this file executable (if necessary):
|
2021-10-27 12:51:22 -05:00
|
|
|
#
|
2022-02-18 13:54:03 -06:00
|
|
|
# $ chmod +x ARM_RPI.sh
|
2021-10-27 12:51:22 -05:00
|
|
|
#
|
|
|
|
|
# To execute this file:
|
|
|
|
|
#
|
2022-02-18 13:54:03 -06:00
|
|
|
# $ ./ARM_RPI.sh
|
2021-10-27 12:51:22 -05:00
|
|
|
|
2022-01-22 19:08:52 -06:00
|
|
|
# getconf LONG_BIT (need to work on this)
|
|
|
|
|
|
2021-10-27 12:51:22 -05:00
|
|
|
sed -i 's/CONFIG_PLATFORM_I386_PC = y/CONFIG_PLATFORM_I386_PC = n/g' Makefile
|
|
|
|
|
|
|
|
|
|
sed -i 's/CONFIG_PLATFORM_ARM_RPI = n/CONFIG_PLATFORM_ARM_RPI = y/g' Makefile
|
|
|
|
|
RESULT=$?
|
|
|
|
|
|
|
|
|
|
if [[ "$RESULT" != "0" ]]; then
|
|
|
|
|
echo "An error occurred and Raspberry Pi OS (32 bit) support was not turned on in Makefile."
|
|
|
|
|
exit 1
|
|
|
|
|
else
|
|
|
|
|
echo "Raspberry Pi OS (32 bit) support was turned on in Makefile as planned."
|
|
|
|
|
exit 0
|
|
|
|
|
fi
|
2022-06-14 15:28:50 -05:00
|
|
|
|
|
|
|
|
sed -i 's/CONFIG_PLATFORM_ARM64_RPI = y/CONFIG_PLATFORM_ARM64_RPI = n/g' Makefile
|
