equal
deleted
inserted
replaced
112 $(OUT)/RAW $(LOG)/RAW.gz |
112 $(OUT)/RAW $(LOG)/RAW.gz |
113 |
113 |
114 |
114 |
115 ## Scala material |
115 ## Scala material |
116 |
116 |
|
117 SCALA_FILES = General/symbol.scala General/xml.scala \ |
|
118 General/yxml.scala Tools/isabelle_process.scala \ |
|
119 Tools/isabelle_syntax.scala Tools/isabelle_system.scala |
|
120 |
|
121 |
117 SCALA_TARGET = $(ISABELLE_HOME)/lib/classes/Pure.jar |
122 SCALA_TARGET = $(ISABELLE_HOME)/lib/classes/Pure.jar |
118 SCALA_FILES = General/symbol.scala Tools/isabelle_system.scala \ |
|
119 General/xml.scala General/yxml.scala |
|
120 |
123 |
121 jar: $(SCALA_TARGET) |
124 jar: $(SCALA_TARGET) |
122 |
125 |
123 $(SCALA_TARGET): $(SCALA_FILES) |
126 $(SCALA_TARGET): $(SCALA_FILES) |
124 @rm -rf classes && mkdir classes |
127 @rm -rf classes && mkdir classes |
125 scalac -d classes -target jvm-1.5 $(SCALA_FILES) |
128 scalac -deprecation -d classes -target jvm-1.5 $(SCALA_FILES) |
126 scaladoc -d classes $(SCALA_FILES) |
129 scaladoc -d classes $(SCALA_FILES) |
127 @mkdir -p `dirname $@` |
130 @mkdir -p `dirname $@` |
128 @cd classes; jar cf $@ isabelle |
131 @cd classes; jar cf $@ isabelle |
129 |
132 |
130 clean-jar: |
133 clean-jar: |