equal
deleted
inserted
replaced
141 jars: $(FULL_JAR) |
141 jars: $(FULL_JAR) |
142 |
142 |
143 $(FULL_JAR): $(SCALA_FILES) |
143 $(FULL_JAR): $(SCALA_FILES) |
144 @rm -rf classes && mkdir classes |
144 @rm -rf classes && mkdir classes |
145 "$(SCALA_HOME)/bin/scalac" -unchecked -deprecation -d classes -target jvm-1.5 $(SCALA_FILES) |
145 "$(SCALA_HOME)/bin/scalac" -unchecked -deprecation -d classes -target jvm-1.5 $(SCALA_FILES) |
146 "$(SCALA_HOME)/bin/scaladoc" -d classes $(SCALA_FILES) |
|
147 @cp $(SCALA_FILES) classes/isabelle |
146 @cp $(SCALA_FILES) classes/isabelle |
148 @mkdir -p "$(JAR_DIR)" |
147 @mkdir -p "$(JAR_DIR)" |
149 @cd classes; jar cfe `jvmpath "$(PURE_JAR)"` isabelle.GUI_Setup isabelle |
148 @cd classes; jar cfe `jvmpath "$(PURE_JAR)"` isabelle.GUI_Setup isabelle |
150 @cd classes; cp "$(SCALA_HOME)/lib/scala-swing.jar" .; jar xf scala-swing.jar; \ |
149 @cd classes; cp "$(SCALA_HOME)/lib/scala-swing.jar" .; jar xf scala-swing.jar; \ |
151 cp "$(SCALA_HOME)/lib/scala-library.jar" "$(FULL_JAR)"; \ |
150 cp "$(SCALA_HOME)/lib/scala-library.jar" "$(FULL_JAR)"; \ |