diff options
| author | johnvg | 2003-10-06 13:58:51 +0000 |
|---|---|---|
| committer | johnvg | 2003-10-06 13:58:51 +0000 |
| commit | 4d719bfe45b2da9938d827d7da0148a99a7eb30a (patch) | |
| tree | bad9aff1b1c45dc90e8efb044b093d80b1053a57 /unix/make.linux.sh | |
| parent | enable optimizer (-O) (diff) | |
fix ArgEnvUnix path and compiler (now frontend) path
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1380 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'unix/make.linux.sh')
| -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 \ |