Added support to printout data structure update nodes (bindings/updates)

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

diff --git a/Repair/RepairCompiler/MCC/Makefile b/Repair/RepairCompiler/MCC/Makefile
index bf746074be2ad9055a1de41960e338c9cf9c034c..59652ed90e12468677e80fc70394707912c999d5 100755 (executable)
--- a/Repair/RepairCompiler/MCC/Makefile
+++ b/Repair/RepairCompiler/MCC/Makefile
@@ -35,7 +35,9 @@ 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/StandardCodeWriter.class IR/WorklistGenerator.class IR/WorkList.class \
+IR/Optimizer.class IR/MetaInclusion.class IR/SizeofFunction.class \
+IR/RelationFunctionExpr.class
 
 #MODEL_CLASS = Field.class Literal.class Quantifier.class              \
 #Set.class TypeElement.class                                           \
@@ -80,6 +82,7 @@ parser: $(PARSERS) $(SCANNER).java
 
 %.class: %.java
        javac -classpath ../ -source 1.4 $<
+#      jikes -classpath $(CLASSPATH):../ $<
 
 %.lex.java: %.lex
        java -classpath ../ JLex.Main $<