From ccc0795f53f9fff8b7e050d27e90fd3c5bea3431 Mon Sep 17 00:00:00 2001
From: johnvg
Date: Tue, 7 Feb 2017 16:08:05 +0000
Subject: 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
---
 unix/make.linux_arm.sh | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 unix/make.linux_arm.sh

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
-- 
cgit v1.2.3