4 echo -robustroot set up the ROBUSTROOT to directory other than default one
5 echo -dsm distributed shared memory
6 echo -singleTM single machine committing transactions
7 echo -readset turn on readset
8 echo -stmdebug STM debug
9 echo "-stmstats prints single machine commit (stm) statistics for the benchmark"
10 echo -fastmemcpy use fast memcpy
11 echo -abortreaders abort readers immediately
12 echo -sandbox sandbox transactions
13 echo -trueprob double - probabiltiy of true branch
14 echo -dsmcaching -enable caching in dsm runtime
15 echo -mac distributed shared memory mac support
16 echo -check generate check code
17 echo -dmalloc link in dmalloc
18 echo -64bit compile for 64 bit machine
19 echo -32bit compile for 32 bit machine
20 echo -joptimize java compiler optimizations
21 echo -dcopts conflict optimizations for transactional memory
22 echo -recover compile task code
23 echo -fastcheck fast checkpointing for Bristlecone
24 echo -specdir directory
25 echo -printflat print out flat representation
26 echo -selfloop task - this task cannot self loop forever
27 echo "-excprefetch methoddescriptor - exclude prefetches for this method (specified as class.method)"
28 echo -taskstate do task state analysis
29 echo -tagstate do tag state analysis
30 echo -scheduling do task scheduling
31 echo -multicore generate multi-core version binary
32 echo "-numcore set the number of cores (should be used together with -multicore), defaultly set as 1"
33 echo "-cacheflush enable cache flush in raw version binary (should be used togethere with -raw)"
34 echo "-interrupt generate raw version binary with interruption (should be used togethere with -raw)"
35 echo "-rawpath print out execute path information for raw version (should be used together with -raw)"
36 echo "-useprofile use profiling data for scheduling (should be used together with -raw)"
37 echo -printscheduling print out scheduling graphs
38 echo -printschedulesim print out scheduling simulator result graphs
39 echo -abcclose close the array boundary check
40 echo "-tilera generate tilera version binary (should be used together with -multicore"
41 echo "-tileraconfig config tilera simulator/pci as nxm (should be used together with -tilera)"
42 echo "-raw generate raw version binary (should be used together with -multicore)"
43 echo "-rawconfig config raw simulator as 4xn (should be used together with -raw)"
44 echo "-multcoregc enable garbage collection in multicore version"
45 echo -threadsimulate generate multi-thread simulate version binary
46 echo -optional enable optional
47 echo -debug generate debug symbols
48 echo -prefetch do prefetch analysis
49 echo -transstats generates transaction stats on commits and aborts
50 echo -garbagestats Print garbage collection statistics
51 echo -webinterface enable web interface
52 echo -runtimedebug printout runtime debug messages
53 echo -inlineatomic depth inline methods inside of transactions to specified depth
54 echo "-thread use support for multiple threads"
55 echo "-optimize call gcc with -O9 (optimize)"
56 echo "-nooptimize call gcc with -O0 (do not optimize)"
57 echo -curdir directory
58 echo -mainclass class with main method
60 echo -nojava do not run bristlecone compiler
61 echo -instructionfailures inject code for instructionfailures
62 echo -profile build with profile options
63 echo -accurateprofile build with accurate profile information including pre/post task processing info
64 echo "-useio use standard io to output profiling data (should be used together with -raw and -profile), it only works with single core version"
65 echo "-enable-assertions execute assert statements during compilation"
66 echo -justanalyze exit after compiler analyses complete
67 echo "-distributioninfo execute to collect distribution info for simulated annealing in multi-core version"
68 echo "-disall execute to collect whole distribution"
69 echo "-disstart specify the start number of distribution information collection"
70 echo -assembly generate assembly
75 ROBUSTROOT=~/research/Robust/src
76 DSMRUNTIME=$ROBUSTROOT/Runtime/DSTM/interface/
77 REPAIRROOT=~/research/Repair/RepairCompiler/
97 ACCURATEPROFILEFLAG=false
100 THREADSIMULATEFLAG=false;
111 EXITAFTERANALYSIS=false
122 if [[ $1 = '-help' ]]
126 elif [[ $1 = '-justanalyze' ]]
128 EXITAFTERANALYSIS=true
129 elif [[ $1 = '-assembly' ]]
132 elif [[ $1 = '-abortreaders' ]]
135 EXTRAOPTIONS="$EXTRAOPTIONS -DABORTREADERS"
136 JAVAOPTS="$JAVAOPTS -abortreaders"
137 elif [[ $1 = '-sandbox' ]]
139 EXTRAOPTIONS="$EXTRAOPTIONS -DSANDBOX"
140 JAVAOPTS="$JAVAOPTS -sandbox"
141 elif [[ $1 = '-robustroot' ]]
145 elif [[ $1 = '-nojava' ]]
148 elif [[ $1 = '-garbagestats' ]]
150 EXTRAOPTIONS="$EXTRAOPTIONS -DGARBAGESTATS"
151 elif [[ $1 = '-64bit' ]]
153 EXTRAOPTIONS="$EXTRAOPTIONS -DBIT64"
154 elif [[ $1 = '-32bit' ]]
156 EXTRAOPTIONS="$EXTRAOPTIONS -m32"
157 elif [[ $1 = '-fastcheck' ]]
159 EXTRAOPTIONS="$EXTRAOPTIONS -DFASTCHECK"
160 JAVAOPTS="$JAVAOPTS -fastcheck"
166 elif [[ $1 = '-mainclass' ]]
168 JAVAOPTS="$JAVAOPTS -mainclass $2"
170 elif [[ $1 = '-selfloop' ]]
172 JAVAOPTS="$JAVAOPTS -selfloop $2"
174 elif [[ $1 = '-excprefetch' ]]
176 JAVAOPTS="$JAVAOPTS -excprefetch $2"
178 elif [[ $1 = '-arraypad' ]]
180 JAVAOPTS="$JAVAOPTS -arraypad"
181 elif [[ $1 = '-dsm' ]]
183 JAVAOPTS="$JAVAOPTS -dsm"
185 elif [[ $1 = '-fastmemcpy' ]]
188 EXTRAOPTIONS="$EXTRAOPTIONS -DFASTMEMCPY"
189 elif [[ $1 = '-singleTM' ]]
191 JAVAOPTS="$JAVAOPTS -singleTM"
192 EXTRAOPTIONS="$EXTRAOPTIONS -DSTM"
194 elif [[ $1 = '-readset' ]]
196 JAVAOPTS="$JAVAOPTS -readset"
197 EXTRAOPTIONS="$EXTRAOPTIONS -DREADSET"
198 elif [[ $1 = '-stmdebug' ]]
200 EXTRAOPTIONS="$EXTRAOPTIONS -DSTMDEBUG"
201 elif [[ $1 = '-statdebug' ]]
203 EXTRAOPTIONS="$EXTRAOPTIONS -DSTATDEBUG"
204 elif [[ $1 = '-stmstats' ]]
206 EXTRAOPTIONS="$EXTRAOPTIONS -DSTMSTATS"
207 elif [[ $1 = '-stmlog' ]]
209 EXTRAOPTIONS="$EXTRAOPTIONS -DSTMLOG"
210 elif [[ $1 = '-prefetch' ]]
212 JAVAOPTS="$JAVAOPTS -prefetch"
213 elif [[ $1 = '-transstats' ]]
215 EXTRAOPTIONS="$EXTRAOPTIONS -DTRANSSTATS"
216 elif [[ $1 = '-printflat' ]]
218 JAVAOPTS="$JAVAOPTS -printflat"
219 elif [[ $1 = '-trueprob' ]]
221 JAVAOPTS="$JAVAOPTS -trueprob $2"
223 elif [[ $1 = '-inlineatomic' ]]
225 JAVAOPTS="$JAVAOPTS -inlineatomic $2"
227 elif [[ $1 = '-mac' ]]
229 EXTRAOPTIONS="$EXTRAOPTIONS -DMAC"
230 elif [[ $1 = '-profile' ]]
233 EXTRAOPTIONS="$EXTRAOPTIONS -pg"
234 elif [[ $1 = '-accurateprofile' ]]
236 ACCURATEPROFILEFLAG=true
237 elif [[ $1 = '-useio' ]]
240 elif [[ $1 = '-taskstate' ]]
242 JAVAOPTS="$JAVAOPTS -taskstate"
243 elif [[ $1 = '-tagstate' ]]
245 JAVAOPTS="$JAVAOPTS -tagstate"
246 elif [[ $1 = '-scheduling' ]]
248 JAVAOPTS="$JAVAOPTS -scheduling"
249 elif [[ $1 = '-multicore' ]]
252 JAVAOPTS="$JAVAOPTS -multicore"
253 elif [[ $1 = '-multicoregc' ]]
256 JAVAOPTS="$JAVAOPTS -multicoregc"
257 elif [[ $1 = '-numcore' ]]
259 JAVAOPTS="$JAVAOPTS -numcore $2"
261 elif [[ $1 = '-raw' ]]
264 JAVAOPTS="$JAVAOPTS -raw"
265 elif [[ $1 = '-tilera' ]]
268 elif [[ $1 = '-tileraconfig' ]]
272 elif [[ $1 = '-cacheflush' ]]
275 elif [[ $1 = '-rawconfig' ]]
279 elif [[ $1 = '-interrupt' ]]
282 elif [[ $1 = '-threadsimulate' ]]
284 THREADSIMULATEFLAG=true
285 elif [[ $1 = '-abcclose' ]]
287 JAVAOPTS="$JAVAOPTS -abcclose"
288 elif [[ $1 = '-optional' ]]
290 JAVAOPTS="$JAVAOPTS -optional"
292 elif [[ $1 = '-dmalloc' ]]
295 elif [[ $1 = '-recover' ]]
298 JAVAOPTS="$JAVAOPTS -task"
299 elif [[ $1 = '-useprofile' ]]
301 JAVAOPTS="$JAVAOPTS -useprofile $2"
303 elif [[ $1 = '-webinterface' ]]
305 JAVAOPTS="$JAVAOPTS -webinterface"
306 elif [[ $1 = '-instructionfailures' ]]
308 JAVAOPTS="$JAVAOPTS -instructionfailures"
309 elif [[ $1 = '-joptimize' ]]
311 JAVAOPTS="$JAVAOPTS -optimize"
312 elif [[ $1 = '-dcopts' ]]
314 JAVAOPTS="$JAVAOPTS -dcopts"
315 elif [[ $1 = '-delaycomp' ]]
317 JAVAOPTS="$JAVAOPTS -delaycomp"
318 EXTRAOPTIONS="$EXTRAOPTIONS -DDELAYCOMP"
319 elif [[ $1 = '-minimize' ]]
321 JAVAOPTS="$JAVAOPTS -minimize"
323 elif [[ $1 = '-mlp' ]]
326 EXTRAOPTIONS="$EXTRAOPTIONS -DPRECISE_GC -lpthread"
327 JAVAOPTS="$JAVAOPTS -mlp $2 $3"
331 elif [[ $1 = '-mlpdebug' ]]
333 JAVAOPTS="$JAVAOPTS -mlpdebug"
335 elif [[ $1 = '-check' ]]
338 JAVAOPTS="$JAVAOPTS -conscheck"
339 elif [[ $1 = '-enable-assertions' ]]
341 JAVAFORWARDOPTS="$JAVAFORWARDOPTS -ea"
342 elif [[ $1 = '-specdir' ]]
348 elif [[ $1 = '-debug' ]]
351 EXTRAOPTIONS="$EXTRAOPTIONS -g -rdynamic"
352 elif [[ $1 = '-rawpath' ]]
355 elif [[ $1 = '-runtimedebug' ]]
357 EXTRAOPTIONS="$EXTRAOPTIONS -DDEBUG"
358 elif [[ $1 = '-dsmcaching' ]]
360 EXTRAOPTIONS="$EXTRAOPTIONS -DCACHE"
361 elif [[ $1 = '-rangeprefetch' ]]
363 EXTRAOPTIONS="$EXTRAOPTIONS -DRANGEPREFETCH"
364 elif [[ $1 = '-nooptimize' ]]
366 EXTRAOPTIONS="$EXTRAOPTIONS -O0"
367 elif [[ $1 = '-optimize' ]]
369 EXTRAOPTIONS="$EXTRAOPTIONS -O9"
370 elif [[ $1 = '-thread' ]]
372 JAVAOPTS="$JAVAOPTS -thread"
373 EXTRAOPTIONS="$EXTRAOPTIONS -DTHREADS -lpthread"
375 elif [[ $1 = '-distributioninfo' ]]
377 JAVAOPTS="$JAVAOPTS -distributioninfo"
378 elif [[ $1 = '-disall' ]]
380 JAVAOPTS="$JAVAOPTS -disall"
381 elif [[ $1 = '-disstart' ]]
383 JAVAOPTS="$JAVAOPTS -disstart $2"
385 elif [[ $1 = '-noc' ]]
388 elif [[ $1 = '-curdir' ]]
392 elif [[ $1 = '-outputdir' ]]
394 JAVAOPTS="$JAVAOPTS -outputdir $2"
396 elif [[ $1 = '-abrt' ]]
398 ABRT="PERCENT_ALLOWED_ABORT=$2"
399 EXTRAOPTIONS="$EXTRAOPTIONS -D$ABRT"
402 SRCFILES="$SRCFILES $1"
407 BUILDDIR="$CURDIR/tmpbuilddirectory"
415 if $CHECKFLAG #Generate structure files for repair tool
417 JAVAOPTS="$JAVAOPTS -struct structfile"
427 JAVAOPTS="$JAVAOPTS -classlibrary $ROBUSTROOT/ClassLibrary/FastCheck"
429 #base bristlecone files
430 JAVAOPTS="$JAVAOPTS -classlibrary $ROBUSTROOT/ClassLibrary/Bristlecone"
436 JAVAOPTS="$JAVAOPTS -classlibrary $ROBUSTROOT/ClassLibrary/JavaDSM"
439 JAVAOPTS="$JAVAOPTS -classlibrary $ROBUSTROOT/ClassLibrary/JavaSTM"
442 #threading java stuff
443 JAVAOPTS="$JAVAOPTS -classlibrary $ROBUSTROOT/ClassLibrary/JavaThread"
446 JAVAOPTS="$JAVAOPTS -classlibrary $ROBUSTROOT/ClassLibrary/Java"
449 # Build bristlecone/java sources
453 if ! ${ROBUSTROOT}/ourjava -Xms50m -Xmx1500m $JAVAFORWARDOPTS -classpath $ROBUSTROOT/../cup/:$ROBUSTROOT Main.Main -classlibrary \
454 $ROBUSTROOT/ClassLibrary/ -classlibrary $ROBUSTROOT/ClassLibrary/gnu/ \
455 -dir $BUILDDIR $JAVAOPTS $SRCFILES
459 #if ! ${ROBUSTROOT}/ourjava -Xms5m -Xmx100m $JAVAFORWARDOPTS -classpath $ROBUSTROOT/../cup/:$ROBUSTROOT Main.Main -classlibrary \
462 if ! ${ROBUSTROOT}/ourjava -Xms50m -Xmx1500m $JAVAFORWARDOPTS -classpath $ROBUSTROOT/../cup/:$ROBUSTROOT Main.Main -classlibrary \
463 $ROBUSTROOT/ClassLibrary/ -classlibrary $ROBUSTROOT/ClassLibrary/gnu/ -dir $BUILDDIR -precise \
470 if $EXITAFTERANALYSIS
475 # Build all of the consistency specs
477 if $CHECKFLAG # CHECKFLAG
480 mkdir $BUILDDIR/specdir
481 cp $REPAIRROOT/MCC/CRuntime/* $BUILDDIR/specdir
483 echo > $BUILDDIR/specs
485 # compile specs into C code
486 for i in * # iterate over all directories
488 if [[ "$i" != "CVS" ]] # CVSDIR CHECK
491 cat $BUILDDIR/structfile.struct $i.label > $i.struct
492 java -cp $REPAIRROOT/:. MCC.Compiler -name $i -checkonly $i
493 cp size.[c,h] $BUILDDIR/specdir
494 cp $i.c $i\_aux.[c,h] $BUILDDIR/specdir
495 echo $i >> $BUILDDIR/specs
497 done # iterate over all directories
503 echo > $BUILDDIR/checkers.h
504 for i in `cat $BUILDDIR/specs`
506 gcc -O0 -g -fbounds-check -c $i\_aux.c
507 echo \#include \"specdir\/$i\_aux.h\" >> $BUILDDIR/checkers.h
511 #build and link everything
516 MAKEFILE="Makefile.raw"
522 export RAWRGCCFLAGS="-DTASK -DMULTICORE -DRAW"
526 RAWRGCCFLAGS="${RAWRGCCFLAGS} -DCACHEFLUSH"
531 RAWRGCCFLAGS="${RAWRGCCFLAGS} -DRAWPATH"
536 RAWRGCCFLAGS="${RAWRGCCFLAGS} -DDEBUG"
540 then # profile version
541 RAWRGCCFLAGS="${RAWRGCCFLAGS} -DPROFILE"
544 if $ACCURATEPROFILEFLAG
545 then # accurateprofile version
546 RAWRGCCFLAGS="${RAWRGCCFLAGS} -DACCURATEPROFILE"
551 RAWRGCCFLAGS="${RAWRGCCFLAGS} -DUSEIO"
555 then #INTERRUPT version
556 RAWRGCCFLAGS="${RAWRGCCFLAGS} -DINTERRUPT"
557 fi #INTERRUPT version
561 MAKEFILE="$MAKEFILE.io"
562 echo "+++++++++++use Makefile.raw.io++++++++++++++++"
564 MAKEFILE="$MAKEFILE.$RAWCONFIG"
567 cp $ROBUSTROOT/Runtime/RAW/$MAKEFILE ./Makefile
572 cp ../Runtime/RAW/*.c ./
573 cp ../Runtime/RAW/*.h ./
574 cp ../Runtime/RAW/*.S ./
575 cp ../Runtime/RAW/*.s ./
576 cp ../tmpbuilddirectory/*.c ./
577 cp ../tmpbuilddirectory/*.h ./
583 TILERADIR="$CURDIR/tilera"
584 MAKEFILE="Makefile.tilera.$TILERACONFIG"
585 SIMHVC="sim.hvc.$TILERACONFIG"
586 PCIHVC="pci.hvc.$TILERACONFIG"
592 export TILERACFLAGS="-DTASK -DMULTICORE"
596 TILERACFLAGS="${TILERACFLAGS} -DCACHEFLUSH"
601 TILERACFLAGS="${TILERACFLAGS} -DRAWPATH"
606 TILERACFLAGS="${TILERACFLAGS} -DDEBUG"
610 then # profile version
611 TILERACFLAGS="${TILERACFLAGS} -DPROFILE"
614 if $ACCURATEPROFILEFLAG
615 then # accurateprofile version
616 TILERACFLAGS="${TILERACFLAGS} -DACCURATEPROFILE"
621 TILERACFLAGS="${TILERACFLAGS} -DUSEIO"
625 then #INTERRUPT version
626 TILERACFLAGS="${TILERACFLAGS} -DINTERRUPT"
627 fi #INTERRUPT version
630 then #MULTICORE_GC version
631 TILERACFLAGS="${TILERACFLAGS} -DMULTICORE_GC"
632 fi #MULTICORE_GC version
634 cp $ROBUSTROOT/Tilera/Runtime/$MAKEFILE ./Makefile
635 cp $ROBUSTROOT/Tilera/Runtime/$SIMHVC ./sim.hvc
636 cp $ROBUSTROOT/Tilera/Runtime/$PCIHVC ./pci.hvc
637 cp $ROBUSTROOT/Tilera/Runtime/bamboo-vmlinux-pci.hvc ./bamboo-vmlinux-pci.hvc
638 cp ../Tilera/Runtime/*.c ./
639 cp ../Tilera/Runtime/*.h ./
640 cp ../Tilera/lib/* ./
641 cp ../Runtime/multicoretask.c ./
642 cp ../Runtime/multicoreruntime.c ./
643 cp ../Runtime/Queue.c ./
644 cp ../Runtime/file.c ./
645 cp ../Runtime/math.c ./
646 cp ../Runtime/object.c ./
647 cp ../Runtime/GenericHashtable.c ./
648 cp ../Runtime/SimpleHash.c ./
649 cp ../Runtime/ObjectHash.c ./
650 cp ../Runtime/socket.c ./
651 cp ../Runtime/mem.c ./
652 cp ../Runtime/multicoregarbage.c ./
653 cp ../Runtime/GenericHashtable.h ./
654 cp ../Runtime/mem.h ./
655 cp ../Runtime/multicoreruntime.h ./
656 cp ../Runtime/object.h ./
657 cp ../Runtime/ObjectHash.h ./
658 cp ../Runtime/Queue.h ./
659 cp ../Runtime/runtime.h ./
660 cp ../Runtime/SimpleHash.h ./
661 cp ../Runtime/multicoregc.h ./
662 cp ../Runtime/multicoregarbage.h ./
663 cp ../tmpbuilddirectory/*.c ./
664 cp ../tmpbuilddirectory/*.h ./
668 else #!RAWFLAG && !TILERAFLAG
671 INCLUDES="$INCLUDES -I$ROBUSTROOT/Runtime -I. -IRuntime/include \
676 RUNTIMEFILE="$ROBUSTROOT/Runtime/multicoreruntime.c $ROBUSTROOT/Runtime/multicoretask.c"
678 RUNTIMEFILE="$ROBUSTROOT/Runtime/runtime.c $ROBUSTROOT/Runtime/task.c"
681 FILES="$RUNTIMEFILE \
682 $ROBUSTROOT/Runtime/file.c $ROBUSTROOT/Runtime/Queue.c \
683 $ROBUSTROOT/Runtime/SimpleHash.c $ROBUSTROOT/Runtime/option.c \
684 $ROBUSTROOT/Runtime/ObjectHash.c \
685 $ROBUSTROOT/Runtime/garbage.c $ROBUSTROOT/Runtime/socket.c \
686 $ROBUSTROOT/Runtime/math.c \
687 $ROBUSTROOT/Runtime/GenericHashtable.c $ROBUSTROOT/Runtime/object.c"
691 FILES="$FILES $ROBUSTROOT/Runtime/memcpy32.o $ROBUSTROOT/Runtime/instrset32.o"
696 EXTRAOPTIONS="$EXTRAOPTIONS -lpthread -DCOMPILER -DDSTM -I$DSMRUNTIME"
697 FILES="$FILES $DSMRUNTIME/trans.c $DSMRUNTIME/mcpileq.c $DSMRUNTIME/objstr.c $DSMRUNTIME/dstm.c $DSMRUNTIME/mlookup.c $DSMRUNTIME/clookup.c $DSMRUNTIME/llookup.c $DSMRUNTIME/threadnotify.c $DSMRUNTIME/dstmserver.c $DSMRUNTIME/plookup.c $DSMRUNTIME/ip.c $DSMRUNTIME/queue.c $DSMRUNTIME/prelookup.c $DSMRUNTIME/machinepile.c $ROBUSTROOT/Runtime/localobjects.c $ROBUSTROOT/Runtime/thread.c $DSMRUNTIME/sockpool.c $DSMRUNTIME/addUdpEnhance.c $DSMRUNTIME/signal.c $DSMRUNTIME/gCollect.c $DSMRUNTIME/addPrefetchEnhance.c $DSMRUNTIME/dsmlock.c $DSMRUNTIME/prefetch.c"
702 EXTRAOPTIONS="$EXTRAOPTIONS -lpthread -DCOMPILER -I$DSMRUNTIME"
703 FILES="$FILES $DSMRUNTIME/stmlock.c $DSMRUNTIME/singleTMCommit.c $DSMRUNTIME/stmlookup.c $ROBUSTROOT/Runtime/thread.c"
708 FILES="$FILES $DSMRUNTIME/abortreaders.c"
713 FILES="$FILES $ROBUSTROOT/Runtime/localobjects.c"
718 FILES="$FILES $ROBUSTROOT/Runtime/mlp_runtime.c"
719 FILES="$FILES $ROBUSTROOT/Runtime/psemaphore.c"
720 FILES="$FILES $ROBUSTROOT/Runtime/workschedule.c"
725 EXTRAOPTIONS="$EXTRAOPTIONS -DTASK"
728 EXTRAOPTIONS="$EXTRAOPTIONS -DMULTICORE"
730 FILES="$FILES tmpbuilddirectory/taskdefs.c $ROBUSTROOT/Runtime/checkpoint.c $ROBUSTROOT/Runtime/chash.c"
733 EXTRAOPTIONS="$EXTRAOPTIONS -DRAW"
735 if $THREADSIMULATEFLAG
737 # -lpthread for pthread functions, -lrt for message queue functions
738 EXTRAOPTIONS="$EXTRAOPTIONS -DTHREADSIMULATE -lpthread -lrt"
744 EXTRAOPTIONS="$EXTRAOPTIONS -DOPTIONAL"
745 FILES="$FILES tmpbuilddirectory/optionalarrays.c"
750 FILES="$FILES $ROBUSTROOT/Runtime/thread.c"
755 EXTRAOPTIONS="$EXTRAOPTIONS -DCONSCHECK $BUILDDIR/specdir/*.o"
756 INCLUDES="$INCLUDES -I$BUILDDIR/specdir"
761 EXTRAOPTIONS="$EXTRAOPTIONS -ldmalloc -DDMALLOC"
766 gcc -S $INCLUDES $EXTRAOPTIONS -DPRECISE_GC \
767 -c tmpbuilddirectory/methods.c -lm
772 gcc $INCLUDES $EXTRAOPTIONS \
773 tmpbuilddirectory/methods.c $FILES -lm -o $MAINFILE.bin
775 gcc $INCLUDES $EXTRAOPTIONS -DPRECISE_GC \
776 tmpbuilddirectory/methods.c $FILES -lm -o $MAINFILE.bin