src/Pure/IsaMakefile
changeset 28295 3fb78d2068b0
parent 28288 09c812966e7f
child 28299 14ab7a17e92b
equal deleted inserted replaced
28294:3ba048423a99 28295:3fb78d2068b0
   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: