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 -threadsimulate generate multi-thread simulate version binary
45 echo -optional enable optional
46 echo -debug generate debug symbols
47 echo -prefetch do prefetch analysis
48 echo -transstats generates transaction stats on commits and aborts
49 echo -garbagestats Print garbage collection statistics
50 echo -webinterface enable web interface
51 echo -runtimedebug printout runtime debug messages
52 echo -inlineatomic depth inline methods inside of transactions to specified depth
53 echo "-thread use support for multiple threads"
54 echo "-optimize call gcc with -O9 (optimize)"
55 echo "-nooptimize call gcc with -O0 (do not optimize)"
56 echo -curdir directory
57 echo -mainclass class with main method
59 echo -nojava do not run bristlecone compiler
60 echo -instructionfailures inject code for instructionfailures
61 echo -profile build with profile options
62 echo -accurateprofile build with accurate profile information including pre/post task processing info
63 echo "-useio use standard io to output profiling data (should be used together with -raw and -profile), it only works with single core version"
64 echo "-enable-assertions execute assert statements during compilation"
65 echo -justanalyze exit after compiler analyses complete
66 echo "-distributioninfo execute to collect distribution info for simulated annealing in multi-core version"
67 echo "-disall execute to collect whole distribution"
68 echo "-disstart specify the start number of distribution information collection"
69 echo -assembly generate assembly
74 ROBUSTROOT=~/research/Robust/src
75 DSMRUNTIME=$ROBUSTROOT/Runtime/DSTM/interface/
76 REPAIRROOT=~/research/Repair/RepairCompiler/
96 ACCURATEPROFILEFLAG=false
99 THREADSIMULATEFLAG=false;
110 EXITAFTERANALYSIS=false
121 if [[ $1 = '-help' ]]
125 elif [[ $1 = '-justanalyze' ]]
127 EXITAFTERANALYSIS=true
128 elif [[ $1 = '-assembly' ]]
131 elif [[ $1 = '-abortreaders' ]]
134 EXTRAOPTIONS="$EXTRAOPTIONS -DABORTREADERS"
135 JAVAOPTS="$JAVAOPTS -abortreaders"
136 elif [[ $1 = '-sandbox' ]]
138 EXTRAOPTIONS="$EXTRAOPTIONS -DSANDBOX"
139 JAVAOPTS="$JAVAOPTS -sandbox"
140 elif [[ $1 = '-robustroot' ]]
144 elif [[ $1 = '-nojava' ]]
147 elif [[ $1 = '-garbagestats' ]]
149 EXTRAOPTIONS="$EXTRAOPTIONS -DGARBAGESTATS"
150 elif [[ $1 = '-64bit' ]]
152 EXTRAOPTIONS="$EXTRAOPTIONS -DBIT64"
153 elif [[ $1 = '-32bit' ]]
155 EXTRAOPTIONS="$EXTRAOPTIONS -m32"
156 elif [[ $1 = '-fastcheck' ]]
158 EXTRAOPTIONS="$EXTRAOPTIONS -DFASTCHECK"
159 JAVAOPTS="$JAVAOPTS -fastcheck"
165 elif [[ $1 = '-mainclass' ]]
167 JAVAOPTS="$JAVAOPTS -mainclass $2"
169 elif [[ $1 = '-selfloop' ]]
171 JAVAOPTS="$JAVAOPTS -selfloop $2"
173 elif [[ $1 = '-excprefetch' ]]
175 JAVAOPTS="$JAVAOPTS -excprefetch $2"
177 elif [[ $1 = '-arraypad' ]]
179 JAVAOPTS="$JAVAOPTS -arraypad"
180 elif [[ $1 = '-dsm' ]]
182 JAVAOPTS="$JAVAOPTS -dsm"
184 elif [[ $1 = '-fastmemcpy' ]]
187 EXTRAOPTIONS="$EXTRAOPTIONS -DFASTMEMCPY"
188 elif [[ $1 = '-singleTM' ]]
190 JAVAOPTS="$JAVAOPTS -singleTM"
191 EXTRAOPTIONS="$EXTRAOPTIONS -DSTM"
193 elif [[ $1 = '-readset' ]]
195 JAVAOPTS="$JAVAOPTS -readset"
196 EXTRAOPTIONS="$EXTRAOPTIONS -DREADSET"
197 elif [[ $1 = '-stmdebug' ]]
199 EXTRAOPTIONS="$EXTRAOPTIONS -DSTMDEBUG"
200 elif [[ $1 = '-stmstats' ]]
202 EXTRAOPTIONS="$EXTRAOPTIONS -DSTMSTATS"
203 elif [[ $1 = '-stmlog' ]]
205 EXTRAOPTIONS="$EXTRAOPTIONS -DSTMLOG"
206 elif [[ $1 = '-prefetch' ]]
208 JAVAOPTS="$JAVAOPTS -prefetch"
209 elif [[ $1 = '-transstats' ]]
211 EXTRAOPTIONS="$EXTRAOPTIONS -DTRANSSTATS"
212 elif [[ $1 = '-printflat' ]]
214 JAVAOPTS="$JAVAOPTS -printflat"
215 elif [[ $1 = '-trueprob' ]]
217 JAVAOPTS="$JAVAOPTS -trueprob $2"
219 elif [[ $1 = '-inlineatomic' ]]
221 JAVAOPTS="$JAVAOPTS -inlineatomic $2"
223 elif [[ $1 = '-mac' ]]
225 EXTRAOPTIONS="$EXTRAOPTIONS -DMAC"
226 elif [[ $1 = '-profile' ]]
229 EXTRAOPTIONS="$EXTRAOPTIONS -pg"
230 elif [[ $1 = '-accurateprofile' ]]
232 ACCURATEPROFILEFLAG=true
233 elif [[ $1 = '-useio' ]]
236 elif [[ $1 = '-taskstate' ]]
238 JAVAOPTS="$JAVAOPTS -taskstate"
239 elif [[ $1 = '-tagstate' ]]
241 JAVAOPTS="$JAVAOPTS -tagstate"
242 elif [[ $1 = '-scheduling' ]]
244 JAVAOPTS="$JAVAOPTS -scheduling"
245 elif [[ $1 = '-multicore' ]]
248 JAVAOPTS="$JAVAOPTS -multicore"
249 elif [[ $1 = '-numcore' ]]
251 JAVAOPTS="$JAVAOPTS -numcore $2"
253 elif [[ $1 = '-raw' ]]
256 JAVAOPTS="$JAVAOPTS -raw"
257 elif [[ $1 = '-tilera' ]]
260 elif [[ $1 = '-tileraconfig' ]]
264 elif [[ $1 = '-cacheflush' ]]
267 elif [[ $1 = '-rawconfig' ]]
271 elif [[ $1 = '-interrupt' ]]
274 elif [[ $1 = '-threadsimulate' ]]
276 THREADSIMULATEFLAG=true
277 elif [[ $1 = '-abcclose' ]]
279 JAVAOPTS="$JAVAOPTS -abcclose"
280 elif [[ $1 = '-optional' ]]
282 JAVAOPTS="$JAVAOPTS -optional"
284 elif [[ $1 = '-dmalloc' ]]
287 elif [[ $1 = '-recover' ]]
290 JAVAOPTS="$JAVAOPTS -task"
291 elif [[ $1 = '-useprofile' ]]
293 JAVAOPTS="$JAVAOPTS -useprofile $2"
295 elif [[ $1 = '-webinterface' ]]
297 JAVAOPTS="$JAVAOPTS -webinterface"
298 elif [[ $1 = '-instructionfailures' ]]
300 JAVAOPTS="$JAVAOPTS -instructionfailures"
301 elif [[ $1 = '-joptimize' ]]
303 JAVAOPTS="$JAVAOPTS -optimize"
304 elif [[ $1 = '-dcopts' ]]
306 JAVAOPTS="$JAVAOPTS -dcopts"
307 elif [[ $1 = '-delaycomp' ]]
309 JAVAOPTS="$JAVAOPTS -delaycomp"
310 EXTRAOPTIONS="$EXTRAOPTIONS -DDELAYCOMP"
311 elif [[ $1 = '-minimize' ]]
313 JAVAOPTS="$JAVAOPTS -minimize"
315 elif [[ $1 = '-mlp' ]]
318 EXTRAOPTIONS="$EXTRAOPTIONS -DPRECISE_GC -lpthread"
319 JAVAOPTS="$JAVAOPTS -mlp $2 $3"
323 elif [[ $1 = '-mlpdebug' ]]
325 JAVAOPTS="$JAVAOPTS -mlpdebug"
327 elif [[ $1 = '-check' ]]
330 JAVAOPTS="$JAVAOPTS -conscheck"
331 elif [[ $1 = '-enable-assertions' ]]
333 JAVAFORWARDOPTS="$JAVAFORWARDOPTS -ea"
334 elif [[ $1 = '-specdir' ]]
340 elif [[ $1 = '-debug' ]]
343 EXTRAOPTIONS="$EXTRAOPTIONS -g -rdynamic"
344 elif [[ $1 = '-rawpath' ]]
347 elif [[ $1 = '-runtimedebug' ]]
349 EXTRAOPTIONS="$EXTRAOPTIONS -DDEBUG"
350 elif [[ $1 = '-dsmcaching' ]]
352 EXTRAOPTIONS="$EXTRAOPTIONS -DCACHE"
353 elif [[ $1 = '-rangeprefetch' ]]
355 EXTRAOPTIONS="$EXTRAOPTIONS -DRANGEPREFETCH"
356 elif [[ $1 = '-nooptimize' ]]
358 EXTRAOPTIONS="$EXTRAOPTIONS -O0"
359 elif [[ $1 = '-optimize' ]]
361 EXTRAOPTIONS="$EXTRAOPTIONS -O9"
362 elif [[ $1 = '-thread' ]]
364 JAVAOPTS="$JAVAOPTS -thread"
365 EXTRAOPTIONS="$EXTRAOPTIONS -DTHREADS -lpthread"
367 elif [[ $1 = '-recovery' ]]
369 EXTRAOPTIONS="$EXTRAOPTIONS -DRECOVERY"
371 elif [[ $1 = '-distributioninfo' ]]
373 JAVAOPTS="$JAVAOPTS -distributioninfo"
374 elif [[ $1 = '-disall' ]]
376 JAVAOPTS="$JAVAOPTS -disall"
377 elif [[ $1 = '-disstart' ]]
379 JAVAOPTS="$JAVAOPTS -disstart $2"
381 elif [[ $1 = '-noc' ]]
384 elif [[ $1 = '-curdir' ]]
388 elif [[ $1 = '-outputdir' ]]
390 JAVAOPTS="$JAVAOPTS -outputdir $2"
393 SRCFILES="$SRCFILES $1"
398 BUILDDIR="$CURDIR/tmpbuilddirectory"
406 if $CHECKFLAG #Generate structure files for repair tool
408 JAVAOPTS="$JAVAOPTS -struct structfile"
418 JAVAOPTS="$JAVAOPTS -classlibrary $ROBUSTROOT/ClassLibrary/FastCheck"
420 #base bristlecone files
421 JAVAOPTS="$JAVAOPTS -classlibrary $ROBUSTROOT/ClassLibrary/Bristlecone"
427 JAVAOPTS="$JAVAOPTS -classlibrary $ROBUSTROOT/ClassLibrary/JavaDSM"
430 JAVAOPTS="$JAVAOPTS -classlibrary $ROBUSTROOT/ClassLibrary/JavaSTM"
433 #threading java stuff
434 JAVAOPTS="$JAVAOPTS -classlibrary $ROBUSTROOT/ClassLibrary/JavaThread"
437 JAVAOPTS="$JAVAOPTS -classlibrary $ROBUSTROOT/ClassLibrary/Java"
440 # Build bristlecone/java sources
444 if ! ${ROBUSTROOT}/ourjava -Xms50m -Xmx1500m $JAVAFORWARDOPTS -classpath $ROBUSTROOT/../cup/:$ROBUSTROOT Main.Main -classlibrary \
445 $ROBUSTROOT/ClassLibrary/ -classlibrary $ROBUSTROOT/ClassLibrary/gnu/ \
446 -dir $BUILDDIR $JAVAOPTS $SRCFILES
450 #if ! ${ROBUSTROOT}/ourjava -Xms5m -Xmx100m $JAVAFORWARDOPTS -classpath $ROBUSTROOT/../cup/:$ROBUSTROOT Main.Main -classlibrary \
453 if ! ${ROBUSTROOT}/ourjava -Xms50m -Xmx1500m $JAVAFORWARDOPTS -classpath $ROBUSTROOT/../cup/:$ROBUSTROOT Main.Main -classlibrary \
454 $ROBUSTROOT/ClassLibrary/ -classlibrary $ROBUSTROOT/ClassLibrary/gnu/ -dir $BUILDDIR -precise \
461 if $EXITAFTERANALYSIS
466 # Build all of the consistency specs
468 if $CHECKFLAG # CHECKFLAG
471 mkdir $BUILDDIR/specdir
472 cp $REPAIRROOT/MCC/CRuntime/* $BUILDDIR/specdir
474 echo > $BUILDDIR/specs
476 # compile specs into C code
477 for i in * # iterate over all directories
479 if [[ "$i" != "CVS" ]] # CVSDIR CHECK
482 cat $BUILDDIR/structfile.struct $i.label > $i.struct
483 java -cp $REPAIRROOT/:. MCC.Compiler -name $i -checkonly $i
484 cp size.[c,h] $BUILDDIR/specdir
485 cp $i.c $i\_aux.[c,h] $BUILDDIR/specdir
486 echo $i >> $BUILDDIR/specs
488 done # iterate over all directories
494 echo > $BUILDDIR/checkers.h
495 for i in `cat $BUILDDIR/specs`
497 gcc -O0 -g -fbounds-check -c $i\_aux.c
498 echo \#include \"specdir\/$i\_aux.h\" >> $BUILDDIR/checkers.h
502 #build and link everything
507 MAKEFILE="Makefile.raw"
513 export RAWRGCCFLAGS="-DTASK -DMULTICORE -DRAW"
517 RAWRGCCFLAGS="${RAWRGCCFLAGS} -DCACHEFLUSH"
522 RAWRGCCFLAGS="${RAWRGCCFLAGS} -DRAWPATH"
527 RAWRGCCFLAGS="${RAWRGCCFLAGS} -DDEBUG"
531 then # profile version
532 RAWRGCCFLAGS="${RAWRGCCFLAGS} -DPROFILE"
535 if $ACCURATEPROFILEFLAG
536 then # accurateprofile version
537 RAWRGCCFLAGS="${RAWRGCCFLAGS} -DACCURATEPROFILE"
542 RAWRGCCFLAGS="${RAWRGCCFLAGS} -DUSEIO"
546 then #INTERRUPT version
547 RAWRGCCFLAGS="${RAWRGCCFLAGS} -DINTERRUPT"
548 fi #INTERRUPT version
552 MAKEFILE="$MAKEFILE.io"
553 echo "+++++++++++use Makefile.raw.io++++++++++++++++"
555 MAKEFILE="$MAKEFILE.$RAWCONFIG"
558 cp $ROBUSTROOT/Runtime/RAW/$MAKEFILE ./Makefile
563 cp ../Runtime/RAW/*.c ./
564 cp ../Runtime/RAW/*.h ./
565 cp ../Runtime/RAW/*.S ./
566 cp ../Runtime/RAW/*.s ./
567 cp ../tmpbuilddirectory/*.c ./
568 cp ../tmpbuilddirectory/*.h ./
574 TILERADIR="$CURDIR/tilera"
575 MAKEFILE="Makefile.tilera.$TILERACONFIG"
576 SIMHVC="sim.hvc.$TILERACONFIG"
577 PCIHVC="pci.hvc.$TILERACONFIG"
583 export TILERACFLAGS="-DTASK -DMULTICORE"
587 TILERACFLAGS="${TILERACFLAGS} -DCACHEFLUSH"
592 TILERACFLAGS="${TILERACFLAGS} -DRAWPATH"
597 TILERACFLAGS="${TILERACFLAGS} -DDEBUG"
601 then # profile version
602 TILERACFLAGS="${TILERACFLAGS} -DPROFILE"
605 if $ACCURATEPROFILEFLAG
606 then # accurateprofile version
607 TILERACFLAGS="${TILERACFLAGS} -DACCURATEPROFILE"
612 TILERACFLAGS="${TILERACFLAGS} -DUSEIO"
616 then #INTERRUPT version
617 TILERACFLAGS="${TILERACFLAGS} -DINTERRUPT"
618 fi #INTERRUPT version
620 cp $ROBUSTROOT/Tilera/Runtime/$MAKEFILE ./Makefile
621 cp $ROBUSTROOT/Tilera/Runtime/$SIMHVC ./sim.hvc
622 cp $ROBUSTROOT/Tilera/Runtime/$PCIHVC ./pci.hvc
623 cp $ROBUSTROOT/Tilera/Runtime/bamboo-vmlinux-pci.hvc ./bamboo-vmlinux-pci.hvc
624 cp ../Runtime/multicoretask.c ./
625 cp ../Runtime/multicoreruntime.c ./
626 cp ../Runtime/Queue.c ./
627 cp ../Runtime/file.c ./
628 cp ../Runtime/math.c ./
629 cp ../Runtime/object.c ./
630 cp ../Runtime/GenericHashtable.c ./
631 cp ../Runtime/SimpleHash.c ./
632 cp ../Runtime/ObjectHash.c ./
633 cp ../Runtime/socket.c ./
634 cp ../Runtime/mem.c ./
635 cp ../Runtime/GenericHashtable.h ./
636 cp ../Runtime/mem.h ./
637 cp ../Runtime/multicoreruntime.h ./
638 cp ../Runtime/object.h ./
639 cp ../Runtime/ObjectHash.h ./
640 cp ../Runtime/Queue.h ./
641 cp ../Runtime/runtime.h ./
642 cp ../Runtime/SimpleHash.h ./
643 cp ../Tilera/Runtime/*.c ./
644 cp ../Tilera/Runtime/*.h ./
645 cp ../Tilera/lib/* ./
646 cp ../tmpbuilddirectory/*.c ./
647 cp ../tmpbuilddirectory/*.h ./
651 else #!RAWFLAG && !TILERAFLAG
654 INCLUDES="$INCLUDES -I$ROBUSTROOT/Runtime -I. -IRuntime/include \
659 RUNTIMEFILE="$ROBUSTROOT/Runtime/multicoreruntime.c $ROBUSTROOT/Runtime/multicoretask.c"
661 RUNTIMEFILE="$ROBUSTROOT/Runtime/runtime.c $ROBUSTROOT/Runtime/task.c"
664 FILES="$RUNTIMEFILE \
665 $ROBUSTROOT/Runtime/file.c $ROBUSTROOT/Runtime/Queue.c \
666 $ROBUSTROOT/Runtime/SimpleHash.c $ROBUSTROOT/Runtime/option.c \
667 $ROBUSTROOT/Runtime/ObjectHash.c \
668 $ROBUSTROOT/Runtime/garbage.c $ROBUSTROOT/Runtime/socket.c \
669 $ROBUSTROOT/Runtime/math.c \
670 $ROBUSTROOT/Runtime/GenericHashtable.c $ROBUSTROOT/Runtime/object.c"
674 FILES="$FILES $ROBUSTROOT/Runtime/memcpy32.o $ROBUSTROOT/Runtime/instrset32.o"
679 EXTRAOPTIONS="$EXTRAOPTIONS -lpthread -DCOMPILER -DDSTM -I$DSMRUNTIME"
680 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"
685 FILES="$FILES $DSMRUNTIME/trans.c $DSMRUNTIME/mcpileq.c $DSMRUNTIME/objstr.c $DSMRUNTIME/dstm.c $DSMRUNTIME/mlookup.c $DSMRUNTIME/clookup.c $DSMRUNTIME/llookup.c $DSMRUNTIME/tlookup.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"
690 EXTRAOPTIONS="$EXTRAOPTIONS -lpthread -DCOMPILER -I$DSMRUNTIME"
691 FILES="$FILES $DSMRUNTIME/stmlock.c $DSMRUNTIME/singleTMCommit.c $DSMRUNTIME/stmlookup.c $ROBUSTROOT/Runtime/thread.c"
696 FILES="$FILES $DSMRUNTIME/abortreaders.c"
701 FILES="$FILES $ROBUSTROOT/Runtime/localobjects.c"
706 FILES="$FILES $ROBUSTROOT/Runtime/mlp_runtime.c"
707 FILES="$FILES $ROBUSTROOT/Runtime/psemaphore.c"
708 FILES="$FILES $ROBUSTROOT/Runtime/workschedule.c"
713 EXTRAOPTIONS="$EXTRAOPTIONS -DTASK"
716 EXTRAOPTIONS="$EXTRAOPTIONS -DMULTICORE"
718 FILES="$FILES tmpbuilddirectory/taskdefs.c $ROBUSTROOT/Runtime/checkpoint.c $ROBUSTROOT/Runtime/chash.c"
721 EXTRAOPTIONS="$EXTRAOPTIONS -DRAW"
723 if $THREADSIMULATEFLAG
725 # -lpthread for pthread functions, -lrt for message queue functions
726 EXTRAOPTIONS="$EXTRAOPTIONS -DTHREADSIMULATE -lpthread -lrt"
732 EXTRAOPTIONS="$EXTRAOPTIONS -DOPTIONAL"
733 FILES="$FILES tmpbuilddirectory/optionalarrays.c"
738 FILES="$FILES $ROBUSTROOT/Runtime/thread.c"
743 EXTRAOPTIONS="$EXTRAOPTIONS -DCONSCHECK $BUILDDIR/specdir/*.o"
744 INCLUDES="$INCLUDES -I$BUILDDIR/specdir"
749 EXTRAOPTIONS="$EXTRAOPTIONS -ldmalloc -DDMALLOC"
754 gcc -S $INCLUDES $EXTRAOPTIONS -DPRECISE_GC \
755 -c tmpbuilddirectory/methods.c -lm
760 gcc $INCLUDES $EXTRAOPTIONS \
761 tmpbuilddirectory/methods.c $FILES -lm -o $MAINFILE.bin
763 gcc $INCLUDES $EXTRAOPTIONS -DPRECISE_GC \
764 tmpbuilddirectory/methods.c $FILES -lm -o $MAINFILE.bin