diff options
Diffstat (limited to 'unix')
| -rwxr-xr-x | unix/make.linux64.sh | 14 |
1 files changed, 14 insertions, 0 deletions
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 |