| changeset 32539 | 668052c4220e |
| parent 32486 | 67972a7f85b7 |
| child 32736 | f126e68d003d |
--- a/src/Pure/IsaMakefile Mon Sep 07 19:41:30 2009 +0200 +++ b/src/Pure/IsaMakefile Mon Sep 07 22:12:16 2009 +0200 @@ -134,7 +134,7 @@ $(FULL_JAR): $(SCALA_FILES) @rm -rf classes && mkdir classes - "$(SCALA_HOME)/bin/scalac" -deprecation -d classes -target jvm-1.5 $(SCALA_FILES) + "$(SCALA_HOME)/bin/scalac" -unchecked -deprecation -d classes -target jvm-1.5 $(SCALA_FILES) "$(SCALA_HOME)/bin/scaladoc" -d classes $(SCALA_FILES) @cp $(SCALA_FILES) classes/isabelle @mkdir -p "$(JAR_DIR)"