equal
deleted
inserted
replaced
133 |
133 |
134 $(SCALA_TARGET): $(SCALA_FILES) |
134 $(SCALA_TARGET): $(SCALA_FILES) |
135 @rm -rf classes && mkdir classes |
135 @rm -rf classes && mkdir classes |
136 scalac -deprecation -d classes -target jvm-1.5 $(SCALA_FILES) |
136 scalac -deprecation -d classes -target jvm-1.5 $(SCALA_FILES) |
137 scaladoc -d classes $(SCALA_FILES) |
137 scaladoc -d classes $(SCALA_FILES) |
|
138 @cp $(SCALA_FILES) classes/isabelle |
138 @mkdir -p `dirname $@` |
139 @mkdir -p `dirname $@` |
139 @cd classes; jar cf $@ isabelle |
140 @cd classes; jar cf $@ isabelle |
140 @rm -rf classes |
141 @rm -rf classes |
141 |
142 |
142 clean-jar: |
143 clean-jar: |