diff options
Diffstat (limited to 'unix')
| -rwxr-xr-x | unix/make.linux.sh | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/unix/make.linux.sh b/unix/make.linux.sh index 29fc289..c70511a 100755 --- a/unix/make.linux.sh +++ b/unix/make.linux.sh @@ -4,11 +4,12 @@ CLM=clm (cd backendC/CleanCompilerSources; make) (cd ../libraries/ArgEnvUnix; make ArgEnvC.o) (cd main/Unix; make -f Makefile all); +$CLM -ci -I backend -I frontend -I main -I main/Unix -ABC -fusion backendconvert $CLM -h 24M -nt -nw -ci -ns -nr -I backend -I frontend -I main -I main/Unix \ -I ../libraries/ArgEnvUnix \ - -l ../libraries/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 +# -l ../libraries/ArgEnvUnix/ArgEnvC.o \ +# -l main/Unix/cDirectory.o \ +# -l main/Unix/set_return_code_c.o \ +# -l main/Unix/ipc.o \ |