Fixed some analysis problems...

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

diff --git a/Repair/RepairCompiler/MCC/Makefile b/Repair/RepairCompiler/MCC/Makefile
index 77a20e01921f9b50bc3d205ba78ac1100d77f773..61e22b4be9e1fb98f946c593e4acdede4d4f39d9 100755 (executable)
--- a/Repair/RepairCompiler/MCC/Makefile
+++ b/Repair/RepairCompiler/MCC/Makefile
@@ -14,6 +14,8 @@ TDLParser.java TDLParser.class \
 CDLParser.java CDLParser.class \
 SDLParser.java SDLParser.class
 
+CLASSPATH = /usr/java/j2sdk1.4.2_03/jre/lib/charsets.jar:/usr/java/j2sdk1.4.2_03/jre/lib/jce.jar:/usr/java/j2sdk1.4.2_03/jre/lib/jsse.jar:/usr/java/j2sdk1.4.2_03/jre/lib/plugin.jar:/usr/java/j2sdk1.4.2_03/jre/lib/rt.jar:/usr/java/j2sdk1.4.2_03/jre/lib/sunrsasign.jar
+
 COMPILER_CLASS = Compiler.class
 CLI_CLASS = CLI.class
 OTHER_CLASS = State.class LineCount.class Symbol.class
@@ -39,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/WorkList.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      \