Commit 8610f984 authored by Andreas Werner's avatar Andreas Werner
Browse files

remove dependecy to arm-none-eabi-gcc

parent 2c4e2914
...@@ -30,7 +30,7 @@ cflags+= \ ...@@ -30,7 +30,7 @@ cflags+= \
-I./mach/include \ -I./mach/include \
-include ./include/generated/autoconf.h \ -include ./include/generated/autoconf.h \
-I./freertos/include/ \ -I./freertos/include/ \
-Wall -Wundef -Wno-trigraphs -fstrict-aliasing -Wstrict-aliasing=3 -fno-common -Werror-implicit-function-declaration -fno-delete-null-pointer-checks -std=gnu99 -fno-exceptions -Wno-unused-but-set-variable -O0 -g3 -mthumb -mcpu=cortex-m3 \ -Wall -Wundef -Wno-trigraphs -fstrict-aliasing -Wstrict-aliasing=3 -fno-common -Werror-implicit-function-declaration -fno-delete-null-pointer-checks -std=gnu99 -fno-exceptions -Wno-unused-but-set-variable -O0 -g3 \
-Iarch/framaC/ \ -Iarch/framaC/ \
-Imach/framaC/include \ -Imach/framaC/include \
-funwind-tables \ -funwind-tables \
...@@ -46,7 +46,8 @@ KERNELFLAGS += -load-script arch/framaC/arm_machdef.ml -machdep arm ...@@ -46,7 +46,8 @@ KERNELFLAGS += -load-script arch/framaC/arm_machdef.ml -machdep arm
# CPP is C Compliant # CPP is C Compliant
KERNELFLAGS += -cpp-frama-c-compliant KERNELFLAGS += -cpp-frama-c-compliant
KERNELFLAGS += -cpp-command KERNELFLAGS += -cpp-command
KERNELFLAGS += "arm-none-eabi-gcc $(cflags)" #KERNELFLAGS += "arm-none-eabi-gcc $(cflags)"
KERNELFLAGS += "gcc $(cflags)"
# no STDLIB # no STDLIB
#KERNELFLAGS += -no-frama-c-stdlib #KERNELFLAGS += -no-frama-c-stdlib
KERNELFLAGS += -cpp-extra-args="-D__FC_MACHDEP_ARM -include arch/framaC/__fc_machdep_arm.h" KERNELFLAGS += -cpp-extra-args="-D__FC_MACHDEP_ARM -include arch/framaC/__fc_machdep_arm.h"
......
Subproject commit 675298687a3126058d5cc3261a2307bff3bfe17e Subproject commit 51134dfdb0ac5cc8f40bcdeb9f0720a830e6c6fe
#!/bin/bash #!/bin/bash
set -x set -x
if [ 0 == 1 ]; then
which gcc-arm-none-eabi &> /dev/null which gcc-arm-none-eabi &> /dev/null
if [ $? != 0 ]; then if [ $? != 0 ]; then
if [ -e /etc/apt ]; then if [ -e /etc/apt ]; then
...@@ -20,17 +21,13 @@ if [ $? != 0 ]; then ...@@ -20,17 +21,13 @@ if [ $? != 0 ]; then
echo $HTTPS_PROXY echo $HTTPS_PROXY
sudo mv wgetrc /etc/ sudo mv wgetrc /etc/
sudo apk update && sudo apk add gcc-arm-none-eabi pandoc sudo apk update && sudo apk add gcc-arm-none-eabi pandoc
while [ $i -ne 300 ]
do
i=$(($i+1))
sleep 1
done
if [ $? != 0 ]; then if [ $? != 0 ]; then
exit 1 exit 1
fi fi
arm-none-eabi-gcc -version arm-none-eabi-gcc -version
fi fi
fi fi
fi
make carFramaC_defconfig make carFramaC_defconfig
if [ $? != 0 ]; then if [ $? != 0 ]; then
exit 1 exit 1
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment