diff options
Diffstat (limited to 'unix')
| -rwxr-xr-x | unix/make.linux.sh | 2 | ||||
| -rwxr-xr-x | unix/make.linux64.sh | 2 | ||||
| -rwxr-xr-x | unix/make.macosx64.sh | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/unix/make.linux.sh b/unix/make.linux.sh index 7078c5f..29fc289 100755 --- a/unix/make.linux.sh +++ b/unix/make.linux.sh @@ -4,7 +4,7 @@ CLM=clm (cd backendC/CleanCompilerSources; make) (cd ../libraries/ArgEnvUnix; make ArgEnvC.o) (cd main/Unix; make -f Makefile all); -$CLM -h 20M -nt -nw -ci -ns -nr -I backend -I frontend -I main -I main/Unix \ +$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 \ diff --git a/unix/make.linux64.sh b/unix/make.linux64.sh index 5600324..14fd216 100755 --- a/unix/make.linux64.sh +++ b/unix/make.linux64.sh @@ -4,7 +4,7 @@ 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 \ +$CLM -gcm -h 48M -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 \ diff --git a/unix/make.macosx64.sh b/unix/make.macosx64.sh index 51ab7dc..219811a 100755 --- a/unix/make.macosx64.sh +++ b/unix/make.macosx64.sh @@ -3,6 +3,6 @@ CLM=clm (cd backendC/CleanCompilerSources; make -f Makefile.linux64) (cd main/Unix; make -f Makefile all); -$CLM -gcm -h 40M -nt -nw -ci -nr -IL ArgEnv -I backend -I frontend -I main -I main/Unix \ +$CLM -gcm -h 48M -nt -nw -ci -nr -IL ArgEnv -I backend -I frontend -I main -I main/Unix \ -l backendC/CleanCompilerSources/backend.a \ cocl -o cocl |