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 a0f4ffd..94712b1 100755 --- a/unix/make.linux.sh +++ b/unix/make.linux.sh @@ -2,10 +2,11 @@ CLM=clm (cd backendC/CleanCompilerSources; make) -(cd ArgEnvUnix; make ArgEnvC.o) -(cd main/Unix; make -f Makefile.linux all); -$CLM -h 16M -nt -nw -ci -ns -nr -I ArgEnvUnix -I backend -I compiler -I main -I main/Unix -I WrapDebug \ - -l ArgEnvUnix/ArgEnvC.o \ +(cd ../libraries/ArgEnvUnix; make ArgEnvC.o) +(cd main/Unix; make -f Makefile all); +$CLM -h 16M -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 \ |