diff options
Diffstat (limited to 'unix')
| -rwxr-xr-x | unix/make.linux.sh | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/unix/make.linux.sh b/unix/make.linux.sh new file mode 100755 index 0000000..a54a1d9 --- /dev/null +++ b/unix/make.linux.sh @@ -0,0 +1,13 @@ +#!/bin/sh +CLM=clm + +(cd backendC/CleanCompilerSources; make) +(cd ArgEnvUnix; make ArgEnvC.o) +(cd main/Unix; make -f Makefile.linux 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 |