equal
deleted
inserted
replaced
121 |
121 |
122 $(SCALA_TARGET): $(SCALA_FILES) |
122 $(SCALA_TARGET): $(SCALA_FILES) |
123 @rm -rf classes && mkdir classes |
123 @rm -rf classes && mkdir classes |
124 scalac -d classes -target jvm-1.5 -optimise $(SCALA_FILES) |
124 scalac -d classes -target jvm-1.5 -optimise $(SCALA_FILES) |
125 @mkdir -p `dirname $@` |
125 @mkdir -p `dirname $@` |
126 @cd classes; jar cf $@ isabelle |
126 @cd classes; jar cf `jvmpath $@` isabelle |
127 |
127 |
128 clean-jar: |
128 clean-jar: |
129 @rm -f $(SCALA_TARGET) |
129 @rm -f $(SCALA_TARGET) |