From 771ad2e04fa06db4c7cbf278ea54c03a152a2f74 Mon Sep 17 00:00:00 2001
From: johnvg
Date: Wed, 8 Nov 2006 13:05:49 +0000
Subject: add make script for 64 bit linux

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1625 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 unix/make.linux64.sh | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100755 unix/make.linux64.sh

(limited to 'unix')

diff --git a/unix/make.linux64.sh b/unix/make.linux64.sh
new file mode 100755
index 0000000..5600324
--- /dev/null
+++ b/unix/make.linux64.sh
@@ -0,0 +1,14 @@
+#!/bin/sh
+CLM=clm
+
+(cd backendC/CleanCompilerSources; make -f Makefile.linux64)
+(cd ../libraries/ArgEnvUnix; make ArgEnvC.o)
+(cd main/Unix; make -f Makefile all);
+$CLM -gcm -h 40M -nt -nw -ci -nr -I backend -I frontend -I main -I main/Unix \
+	-I ../libraries/ArgEnvUnix \
+	-l ../libraries/ArgEnvUnix/ArgEnvC.o \
+	-l main/Unix/Clean\ System\ Files/cDirectory.o \
+	-l main/Unix/Clean\ System\ Files/set_return_code_c.o \
+	-l main/Unix/Clean\ System\ Files/ipc_c.o \
+	-l backendC/CleanCompilerSources/backend.a \
+	cocl -o cocl
-- 
cgit v1.2.3