5 BUILDSCRIPT=../../../buildscript
7 DISJOINT= -disjoint -disjoint-k 1 -enable-assertions -do-definite-reach-analysis
9 BSFLAGS= -justanalyze -mainclass $(PROGRAM) -heapsize-mb 1024 -noloop -joptimize -debug
13 $(BUILDSCRIPT) -thread $(BSFLAGS) $(DISJOINT) -o $(PROGRAM)s -builddir sing $(SOURCE_FILES)