add a new test case for inference

[IRC.git] / Robust / src / Tests / ssJava / infer / makefile

diff --git a/Robust/src/Tests/ssJava/infer/makefile b/Robust/src/Tests/ssJava/infer/makefile
index 3eac87f3ce6481049e04400a610800eb7873d6b4..aaedd8d81f7d81fef872783ac9ac99efe02efc5f 100644 (file)
--- a/Robust/src/Tests/ssJava/infer/makefile
+++ b/Robust/src/Tests/ssJava/infer/makefile
@@ -3,15 +3,15 @@ BUILDSCRIPT=../../../buildscript
 PROGRAM=test
 SOURCE_FILES=test.java
 
-BSFLAGS= -32bit -ssjava -ssjavadebug -printlinenum -mainclass $(PROGRAM)  -heapsize-mb 1000 -garbagestats -joptimize -optimize -debug #-nooptimize #src-after-pp #-debug
+BSFLAGS= -32bit -ssjava -ssjavainfer -ssjavadebug -printlinenum -mainclass $(PROGRAM)  -heapsize-mb 1000 -garbagestats -joptimize -optimize -debug #-nooptimize #src-after-pp #-debug
 
-default: $(PROGRAM)s.bin
+default: $(PROGRAM).bin
 
-$(PROGRAM)s.bin: $(SOURCE_FILES) makefile
+$(PROGRAM).bin: $(SOURCE_FILES) makefile
        $(BUILDSCRIPT) $(BSFLAGS) -o $(PROGRAM)s -builddir sing $(SOURCE_FILES) 
 
 clean:
-       rm -f  $(PROGRAM)s.bin
+       rm -f  $(PROGRAM).bin
        rm -fr sing
        rm -f tmp.c
        rm -f  *~