aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorjohnvg2017-02-07 16:08:05 +0000
committerjohnvg2017-02-07 16:08:05 +0000
commitccc0795f53f9fff8b7e050d27e90fd3c5bea3431 (patch)
treee658611f230545387b8565384b3fb6bac6bb1469
parentadd Makefile.arm for ARM (with gcc -marm) (diff)
add make.linux_arm.sh that uses ARM Makefiles
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2774 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
-rw-r--r--unix/make.linux_arm.sh11
1 files changed, 11 insertions, 0 deletions
diff --git a/unix/make.linux_arm.sh b/unix/make.linux_arm.sh
new file mode 100644
index 0000000..0f5cb0a
--- /dev/null
+++ b/unix/make.linux_arm.sh
@@ -0,0 +1,11 @@
+#!/bin/sh
+CLM=clm
+
+(cd backendC/CleanCompilerSources; make -f Makefile.arm)
+(cd ../libraries/ArgEnvUnix; make -f Makefile_arm ArgEnvC.o)
+(cd main/Unix; make -f Makefile.arm all);
+$CLM -ci -I backend -I frontend -I main -I main/Unix -ABC -fusion backendconvert
+$CLM -h 24M -nt -nw -ci -ns -nr -I backend -I frontend -I main -I main/Unix \
+ -I ../libraries/ArgEnvUnix \
+ -l backendC/CleanCompilerSources/backend.a \
+ cocl -o cocl