equal
deleted
inserted
replaced
128 @rm -rf classes && mkdir classes |
128 @rm -rf classes && mkdir classes |
129 scalac -deprecation -d classes -target jvm-1.5 $(SCALA_FILES) |
129 scalac -deprecation -d classes -target jvm-1.5 $(SCALA_FILES) |
130 scaladoc -d classes $(SCALA_FILES) |
130 scaladoc -d classes $(SCALA_FILES) |
131 @mkdir -p `dirname $@` |
131 @mkdir -p `dirname $@` |
132 @cd classes; jar cf $@ isabelle |
132 @cd classes; jar cf $@ isabelle |
|
133 @rm -rf classes |
133 |
134 |
134 clean-jar: |
135 clean-jar: |
135 @rm -f $(SCALA_TARGET) |
136 @rm -f $(SCALA_TARGET) |