1.1 --- a/src/Pure/IsaMakefile	Sat Aug 23 17:22:51 2008 +0200
     1.2 +++ b/src/Pure/IsaMakefile	Sat Aug 23 17:22:51 2008 +0200
     1.3 @@ -114,15 +114,18 @@
     1.4  
     1.5  ## Scala material
     1.6  
     1.7 +SCALA_FILES = General/symbol.scala General/xml.scala		\
     1.8 +  General/yxml.scala Tools/isabelle_process.scala		\
     1.9 +  Tools/isabelle_syntax.scala Tools/isabelle_system.scala
    1.10 +
    1.11 +
    1.12  SCALA_TARGET = $(ISABELLE_HOME)/lib/classes/Pure.jar
    1.13 -SCALA_FILES = General/symbol.scala Tools/isabelle_system.scala	\
    1.14 -  General/xml.scala General/yxml.scala
    1.15  
    1.16  jar: $(SCALA_TARGET)
    1.17  
    1.18  $(SCALA_TARGET): $(SCALA_FILES)
    1.19  	@rm -rf classes && mkdir classes
    1.20 -	scalac -d classes -target jvm-1.5 $(SCALA_FILES)
    1.21 +	scalac -deprecation -d classes -target jvm-1.5 $(SCALA_FILES)
    1.22  	scaladoc -d classes $(SCALA_FILES)
    1.23  	@mkdir -p `dirname $@`
    1.24  	@cd classes; jar cf $@ isabelle