equal
deleted
inserted
replaced
108 ## clean |
108 ## clean |
109 |
109 |
110 clean: |
110 clean: |
111 @rm -f $(OUT)/Pure $(LOG)/Pure.gz $(LOG)/Pure-ProofGeneral.gz \ |
111 @rm -f $(OUT)/Pure $(LOG)/Pure.gz $(LOG)/Pure-ProofGeneral.gz \ |
112 $(OUT)/RAW $(LOG)/RAW.gz |
112 $(OUT)/RAW $(LOG)/RAW.gz |
|
113 |
|
114 |
|
115 ## Scala material |
|
116 |
|
117 SCALA_TARGET = $(ISABELLE_HOME)/lib/classes/Pure.jar |
|
118 SCALA_FILES = General/symbol.scala |
|
119 |
|
120 jar: $(SCALA_TARGET) |
|
121 |
|
122 $(SCALA_TARGET): $(SCALA_FILES) |
|
123 @rm -rf classes && mkdir classes |
|
124 scalac -d classes -target jvm-1.5 -optimise $(SCALA_FILES) |
|
125 @mkdir -p `dirname $@` |
|
126 cd classes; jar cf $@ isabelle |
|
127 |
|
128 clean-jar: |
|
129 @rm -f $(SCALA_TARGET) |