equal
deleted
inserted
replaced
132 |
132 |
133 jars: $(FULL_JAR) |
133 jars: $(FULL_JAR) |
134 |
134 |
135 $(FULL_JAR): $(SCALA_FILES) |
135 $(FULL_JAR): $(SCALA_FILES) |
136 @rm -rf classes && mkdir classes |
136 @rm -rf classes && mkdir classes |
137 "$(SCALA_HOME)/bin/scalac" -deprecation -d classes -target jvm-1.5 $(SCALA_FILES) |
137 "$(SCALA_HOME)/bin/scalac" -unchecked -deprecation -d classes -target jvm-1.5 $(SCALA_FILES) |
138 "$(SCALA_HOME)/bin/scaladoc" -d classes $(SCALA_FILES) |
138 "$(SCALA_HOME)/bin/scaladoc" -d classes $(SCALA_FILES) |
139 @cp $(SCALA_FILES) classes/isabelle |
139 @cp $(SCALA_FILES) classes/isabelle |
140 @mkdir -p "$(JAR_DIR)" |
140 @mkdir -p "$(JAR_DIR)" |
141 @cd classes; jar cfe `jvmpath "$(PURE_JAR)"` isabelle.GUI_Setup isabelle |
141 @cd classes; jar cfe `jvmpath "$(PURE_JAR)"` isabelle.GUI_Setup isabelle |
142 @cd classes; cp "$(SCALA_HOME)/lib/scala-swing.jar" .; jar xf scala-swing.jar; \ |
142 @cd classes; cp "$(SCALA_HOME)/lib/scala-swing.jar" .; jar xf scala-swing.jar; \ |