115 ## clean |
115 ## clean |
116 |
116 |
117 clean: |
117 clean: |
118 @rm -f $(OUT)/Pure $(LOG)/Pure.gz $(OUT)/RAW $(LOG)/RAW.gz \ |
118 @rm -f $(OUT)/Pure $(LOG)/Pure.gz $(OUT)/RAW $(LOG)/RAW.gz \ |
119 $(LOG)/Pure-ProofGeneral.gz |
119 $(LOG)/Pure-ProofGeneral.gz |
120 |
|
121 |
|
122 ## Scala material |
|
123 |
|
124 SCALA_FILES = Concurrent/future.scala General/download.scala \ |
|
125 General/event_bus.scala General/exn.scala General/linear_set.scala \ |
|
126 General/markup.scala General/position.scala General/scan.scala \ |
|
127 General/swing_thread.scala General/symbol.scala General/xml.scala \ |
|
128 General/yxml.scala Isar/isar_document.scala Isar/outer_keyword.scala \ |
|
129 Isar/outer_lex.scala Isar/outer_parse.scala Isar/outer_syntax.scala \ |
|
130 System/cygwin.scala System/gui_setup.scala \ |
|
131 System/isabelle_process.scala System/isabelle_syntax.scala \ |
|
132 System/isabelle_system.scala System/platform.scala \ |
|
133 System/session_manager.scala System/standard_system.scala \ |
|
134 Thy/completion.scala Thy/html.scala Thy/text_edit.scala \ |
|
135 Thy/thy_header.scala Thy/thy_syntax.scala library.scala |
|
136 |
|
137 JAR_DIR = $(ISABELLE_HOME)/lib/classes |
|
138 PURE_JAR = $(JAR_DIR)/Pure.jar |
|
139 FULL_JAR = $(JAR_DIR)/isabelle-scala.jar |
|
140 |
|
141 jars: $(FULL_JAR) |
|
142 |
|
143 $(FULL_JAR): $(SCALA_FILES) |
|
144 @rm -rf classes && mkdir classes |
|
145 "$(SCALA_HOME)/bin/scalac" -unchecked -deprecation -d classes -target jvm-1.5 $(SCALA_FILES) |
|
146 @cp $(SCALA_FILES) classes/isabelle |
|
147 @mkdir -p "$(JAR_DIR)" |
|
148 @cd classes; jar cfe `jvmpath "$(PURE_JAR)"` isabelle.GUI_Setup isabelle |
|
149 @cd classes; cp "$(SCALA_HOME)/lib/scala-swing.jar" .; jar xf scala-swing.jar; \ |
|
150 cp "$(SCALA_HOME)/lib/scala-library.jar" "$(FULL_JAR)"; \ |
|
151 jar ufe `jvmpath $(FULL_JAR)` isabelle.GUI_Setup isabelle scala |
|
152 @rm -rf classes |
|
153 |
|
154 clean-jars: |
|
155 @rm -f "$(PURE_JAR)" "$(FULL_JAR)" |
|