Repair/RepairCompiler/MCC/Makefile

   1 # Model Constraint Compiler MAKEFILE
   2 # Auth: Daniel Roy, David Ziegler
   3
   4 PROGRAM = MCC
   5 SHELL = /bin/sh
   6 TARGET = $(PROGRAM)-working
   7
   8 SCANNER = Lexer
   9
  10 SYMBOLS = Sym
  11 PARSERS = \
  12 MDLParser.java MDLParser.class \
  13 TDLParser.java TDLParser.class \
  14 CDLParser.java CDLParser.class \
  15 SDLParser.java SDLParser.class
  16
  17 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
  18
  19 COMPILER_CLASS = Compiler.class
  20 CLI_CLASS = CLI.class
  21 OTHER_CLASS = State.class LineCount.class Symbol.class
  22
  23 IR_CLASS = IR/ParseNode.class IR/ParseNodeVector.class                  \
  24 IR/ParseNodeDOTVisitor.class IR/SemanticChecker.class IR/Expr.class     \
  25 IR/VarExpr.class IR/OpExpr.class IR/DotExpr.class IR/LiteralExpr.class  \
  26 IR/IntegerLiteralExpr.class IR/BooleanLiteralExpr.class                 \
  27 IR/TokenLiteralExpr.class IR/Descriptor.class IR/TypeDescriptor.class   \
  28 IR/StructureTypeDescriptor.class IR/MissingTypeDescriptor.class         \
  29 IR/ReservedTypeDescriptor.class IR/ArrayDescriptor.class                \
  30 IR/FieldDescriptor.class IR/LabelDescriptor.class                       \
  31 IR/ReservedFieldDescriptor.class IR/SymbolTable.class                   \
  32 IR/IRException.class IR/Opcode.class IR/SimpleIRErrorReporter.class     \
  33 IR/IRErrorReporter.class IR/SetDescriptor.class                         \
  34 IR/MissingSetDescriptor.class IR/RelationDescriptor.class               \
  35 IR/ReservedSetDescriptor.class IR/TokenSetDescriptor.class              \
  36 IR/Quantifier.class IR/SetQuantifier.class IR/ImageSetExpr.class        \
  37 IR/CastExpr.class IR/SizeofExpr.class IR/SetExpr.class                  \
  38 IR/VarDescriptor.class IR/LogicStatement.class IR/Predicate.class       \
  39 IR/InclusionPredicate.class IR/ExprPredicate.class IR/Constraint.class  \
  40 IR/RelationExpr.class IR/RelationQuantifier.class                       \
  41 IR/ForQuantifier.class IR/GraphNode.class IR/DependencyBuilder.class    \
  42 IR/RelationInclusion.class IR/SetInclusion.class IR/TupleOfExpr.class   \
  43 IR/ElementOfExpr.class IR/Rule.class IR/Inclusion.class                 \
  44 IR/CodeWriter.class IR/SymbolTableStack.class   \
  45 IR/StandardCodeWriter.class IR/SumExpr.class            \
  46 IR/WorkList.class IR/PrintWrapper.class         \
  47 IR/RepairGenerator.class IR/AbstractInterferes.class                    \
  48 IR/PrettyPrinter.class IR/AbstractRepair.class IR/Quantifiers.class     \
  49 IR/Binding.class IR/ConcreteInterferes.class IR/Conjunction.class       \
  50 IR/Repair.class IR/ConsequenceNode.class IR/Cost.class                  \
  51 IR/DNFConstraint.class IR/DNFExpr.class IR/DNFPredicate.class           \
  52 IR/RuleConjunction.class IR/DNFRule.class IR/ScopeNode.class            \
  53 IR/SemanticAnalyzer.class IR/GraphAnalysis.class IR/SetAnalysis.class   \
  54 IR/Sources.class IR/StructureGenerator.class IR/ImplicitSchema.class    \
  55 IR/Termination.class IR/LinedMessage.class IR/TermNode.class            \
  56 IR/UpdateNode.class IR/MultUpdateNode.class IR/Updates.class            \
  57 IR/Walkable.class
  58
  59 #MODEL_CLASS = Field.class Literal.class Quantifier.class Set.class     \
  60 #TypeElement.class MDElementExpr.class Rule.class Guard.class           \
  61 #Type.class ParseException.class ModelInclusionConstraint.class
  62
  63 ALL_CLASS = $(COMPILER_CLASS) $(CLI_CLASS) $(OTHER_CLASS) $(IR_CLASS)
  64
  65 ALLCLASSES = *.class IR/*.class
  66 ALLJAVA = *.java IR/*.java
  67
  68 .PHONY: java clean all tests javadoc
  69
  70 all: $(TARGET).tar.gz $(TARGET).jar
  71
  72 tests: $(TARGET).tar.gz $(TARGET).jar
  73 #       ./tests.pl scanner
  74
  75 $(TARGET).tar.gz: $(TARGET).tar
  76         gzip $(TARGET).tar -c > $(TARGET).tar.gz
  77
  78 $(TARGET).tar: $(ALLJAVA) Makefile $(SCANNER).lex
  79         tar cf $@ $(ALLJAVA) Makefile $(SCANNER).lex
  80
  81 $(TARGET).jar: java
  82         jar cf $@ $(ALLCLASSES)
  83
  84 clean:
  85         rm -f $(ALLCLASSES)
  86         rm -f $(SCANNER).lex.java $(SCANNER).java
  87         rm -f MDLParser.java TDLParser.java CDLParser.java SDLParser.java Sym.java
  88         rm -f $(TARGET).tar.gz $(TARGET).tar $(TARGET).jar
  89         rm -f *~ IR/*~
  90
  91 java: $(PARSERS) $(SCANNER).class $(ALL_CLASS)
  92
  93 parser: $(PARSERS) $(SCANNER).java
  94
  95 %Parser.java: %.cup
  96         java -classpath ../ java_cup.Main -nosummary -symbols $(SYMBOLS) -parser $*Parser < $*.cup
  97         javac $(SYMBOLS).java
  98
  99 %.class: %.java
 100         javac -classpath ../ -source 1.4 $<
 101 #       jikes -classpath $(CLASSPATH):../ $<
 102
 103 %.lex.java: %.lex
 104         java -classpath ../ JLex.Main $<
 105
 106 $(SCANNER).java: $(SCANNER).lex.java
 107         cp $(SCANNER).lex.java $(SCANNER).java
 108         rm $(SCANNER).lex.java
 109
 110 javadoc:
 111         javadoc -source 1.4 -classpath ../ -package -d ../javadoc/ -windowtitle MCC $(ALLJAVA)