aboutsummaryrefslogtreecommitdiff
path: root/unix/make.sh
diff options
context:
space:
mode:
Diffstat (limited to 'unix/make.sh')
-rwxr-xr-xunix/make.sh13
1 files changed, 0 insertions, 13 deletions
diff --git a/unix/make.sh b/unix/make.sh
deleted file mode 100755
index 9d16fe5..0000000
--- a/unix/make.sh
+++ /dev/null
@@ -1,13 +0,0 @@
-#!/bin/sh
-CLM=clm
-
-(cd backendC/CleanCompilerSources; make)
-(cd ArgEnvUnix; make ArgEnvC.o)
-(cd main/Unix; make all);
-$CLM -h 20M -nt -nw -ci -ns -nr -I ArgEnvUnix -I backend -I compiler -I main -I main/Unix -I WrapDebug \
- -l ArgEnvUnix/ArgEnvC.o \
- -l main/Unix/cDirectory.o \
- -l main/Unix/set_return_code_c.o \
- -l main/Unix/ipc.o \
- -l backendC/CleanCompilerSources/backend.a \
- cocl -o cocl