Quantifiers use relations!!!

[repair.git] / Repair / RepairCompiler / MCC / Makefile

diff --git a/Repair/RepairCompiler/MCC/Makefile b/Repair/RepairCompiler/MCC/Makefile
index 10f539dde88fad1c1f694b82cbc79ed8397d2819..b8aef1f5781321bc46f6f324621732ae9dd60efc 100755 (executable)
--- a/Repair/RepairCompiler/MCC/Makefile
+++ b/Repair/RepairCompiler/MCC/Makefile
@@ -41,10 +41,9 @@ IR/RelationExpr.class IR/RelationQuantifier.class                    \
 IR/ForQuantifier.class IR/GraphNode.class IR/DependencyBuilder.class   \
 IR/RelationInclusion.class IR/SetInclusion.class IR/TupleOfExpr.class  \
 IR/ElementOfExpr.class IR/Rule.class IR/Inclusion.class                        \
-IR/NaiveGenerator.class IR/CodeWriter.class IR/SymbolTableStack.class  \
-IR/StandardCodeWriter.class IR/WorklistGenerator.class                 \
-IR/WorkList.class IR/Optimizer.class IR/MetaInclusion.class            \
-IR/SizeofFunction.class IR/RelationFunctionExpr.class                  \
+IR/CodeWriter.class IR/SymbolTableStack.class  \
+IR/StandardCodeWriter.class IR/SumExpr.class           \
+IR/WorkList.class IR/PrintWrapper.class                \
 IR/RepairGenerator.class IR/AbstractInterferes.class                   \
 IR/PrettyPrinter.class IR/AbstractRepair.class IR/Quantifiers.class    \
 IR/Binding.class IR/ConcreteInterferes.class IR/Conjunction.class      \
@@ -68,7 +67,7 @@ ALLJAVA = *.java IR/*.java
 
 .PHONY: java clean all tests javadoc
 
-all: $(TARGET).tar.gz $(TARGET).jar 
+all: $(TARGET).tar.gz $(TARGET).jar
 
 tests: $(TARGET).tar.gz $(TARGET).jar
 #      ./tests.pl scanner
@@ -76,7 +75,7 @@ tests: $(TARGET).tar.gz $(TARGET).jar
 $(TARGET).tar.gz: $(TARGET).tar
        gzip $(TARGET).tar -c > $(TARGET).tar.gz
 
-$(TARGET).tar: $(ALLJAVA) Makefile $(SCANNER).lex 
+$(TARGET).tar: $(ALLJAVA) Makefile $(SCANNER).lex
        tar cf $@ $(ALLJAVA) Makefile $(SCANNER).lex
 
 $(TARGET).jar: java
@@ -110,4 +109,3 @@ $(SCANNER).java: $(SCANNER).lex.java
 
 javadoc:
        javadoc -source 1.4 -classpath ../ -package -d ../javadoc/ -windowtitle MCC $(ALLJAVA)
-