changeset 52521 | d2116723f550 |
parent 51212 | b385d134926d |
child 53077 | 958d439b3013 |
1.1 --- a/etc/settings Sat Mar 09 13:01:24 2013 +0100 1.2 +++ b/etc/settings Sat Mar 09 18:22:20 2013 +0100 1.3 @@ -11,7 +11,7 @@ 1.4 ### JVM components (Scala or Java) 1.5 ### 1.6 1.7 -ISABELLE_SCALA_BUILD_OPTIONS="-nowarn -target:jvm-1.5" 1.8 +ISABELLE_SCALA_BUILD_OPTIONS="-nowarn -target:jvm-1.5 -Xmax-classfile-name 130" 1.9 1.10 1.11 ###