diff options
Diffstat (limited to 'unix')
| -rwxr-xr-x | unix/make.sh | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/unix/make.sh b/unix/make.sh new file mode 100755 index 0000000..6961ef9 --- /dev/null +++ b/unix/make.sh @@ -0,0 +1,11 @@ +#!/bin/sh +CLM=clm + +(cd backendC/CleanCompilerSources; make) +$CLM -h 20M -nt -nw -ci -ns -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 |