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 IR/ParseNodeDOTVisitor.class \
  22 IR/SemanticChecker.class IR/Expr.class IR/VarExpr.class IR/OpExpr.class IR/DotExpr.class \
  23 IR/LiteralExpr.class IR/IntegerLiteralExpr.class IR/BooleanLiteralExpr.class \
  24 IR/TokenLiteralExpr.class IR/Descriptor.class IR/TypeDescriptor.class IR/StructureTypeDescriptor.class \
  25 IR/MissingTypeDescriptor.class IR/ReservedTypeDescriptor.class IR/ArrayDescriptor.class \
  26 IR/FieldDescriptor.class IR/LabelDescriptor.class IR/ReservedFieldDescriptor.class \
  27 IR/SymbolTable.class IR/IRException.class IR/Opcode.class IR/SimpleIRErrorReporter.class \
  28 IR/IRErrorReporter.class IR/SetDescriptor.class IR/MissingSetDescriptor.class \
  29 IR/RelationDescriptor.class IR/ReservedSetDescriptor.class IR/TokenSetDescriptor.class \
  30 IR/Quantifier.class IR/SetQuantifier.class IR/ImageSetExpr.class \
  31 IR/CastExpr.class IR/SizeofExpr.class IR/SetExpr.class IR/VarDescriptor.class \
  32 IR/LogicStatement.class IR/Predicate.class IR/InclusionPredicate.class \
  33 IR/ComparisonPredicate.class IR/Constraint.class IR/RelationExpr.class \
  34 IR/RelationQuantifier.class IR/ForQuantifier.class IR/GraphNode.class \
  35 IR/DependencyBuilder.class IR/RelationInclusion.class IR/SetInclusion.class \
  36 IR/TupleOfExpr.class IR/ElementOfExpr.class IR/Rule.class IR/Inclusion.class \
  37 IR/NaiveGenerator.class IR/CodeWriter.class IR/SymbolTableStack.class \
  38 IR/SizeofPredicate.class
  39
  40 #MODEL_CLASS = Field.class Literal.class Quantifier.class               \
  41 #Set.class TypeElement.class                                            \
  42 #MDElementExpr.class Rule.class Guard.class Type.class                  \
  43 #ParseException.class ModelInclusionConstraint.class
  44
  45 ALL_CLASS = $(COMPILER_CLASS) $(CLI_CLASS) $(OTHER_CLASS) $(IR_CLASS)
  46
  47 ALLCLASSES = *.class IR/*.class
  48 ALLJAVA = *.java IR/*.java
  49
  50 .PHONY: java clean all tests javadoc
  51
  52 all: $(TARGET).tar.gz $(TARGET).jar
  53
  54 tests: $(TARGET).tar.gz $(TARGET).jar
  55 #       ./tests.pl scanner
  56
  57 $(TARGET).tar.gz: $(TARGET).tar
  58         gzip $(TARGET).tar -c > $(TARGET).tar.gz
  59
  60 $(TARGET).tar: $(ALLJAVA) Makefile $(SCANNER).lex
  61         tar cf $@ $(ALLJAVA) Makefile $(SCANNER).lex
  62
  63 $(TARGET).jar: java
  64         jar cf $@ $(ALLCLASSES)
  65
  66 clean:
  67         rm -f $(ALLCLASSES)
  68         rm -f $(SCANNER).lex.java $(SCANNER).java
  69         rm -f MDLParser.java TDLParser.java CDLParser.java SDLParser.java Sym.java
  70         rm -f $(TARGET).tar.gz $(TARGET).tar $(TARGET).jar
  71         rm -f *~ IR/*~
  72
  73 java: $(PARSERS) $(SCANNER).class $(ALL_CLASS)
  74
  75 parser: $(PARSERS) $(SCANNER).java
  76
  77 %Parser.java: %.cup
  78         java -classpath ../ java_cup.Main -nosummary -symbols $(SYMBOLS) -parser $*Parser < $*.cup
  79         javac $(SYMBOLS).java
  80
  81 %.class: %.java
  82         javac -classpath ../ -source 1.4 $<
  83
  84 %.lex.java: %.lex
  85         java -classpath ../ JLex.Main $<
  86
  87 $(SCANNER).java: $(SCANNER).lex.java
  88         cp $(SCANNER).lex.java $(SCANNER).java
  89         rm $(SCANNER).lex.java
  90
  91 javadoc:
  92         javadoc -package -d ../javadoc/ -windowtitle MCC $(ALLJAVA)
  93