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