src/HOL/Library/code_test.ML
changeset 64901 18e6f83e4a09
parent 64582 3d20ded18f14
child 64957 3faa9b31ff78
     1.1 --- a/src/HOL/Library/code_test.ML	Sun Jan 15 15:51:33 2017 +0100
     1.2 +++ b/src/HOL/Library/code_test.ML	Sun Jan 15 16:30:49 2017 +0100
     1.3 @@ -551,7 +551,7 @@
     1.4        "}\n"
     1.5  
     1.6      val compile_cmd =
     1.7 -      "\"$SCALA_HOME/bin/scalac\" -d " ^ File.bash_path path ^
     1.8 +      "\"$SCALA_HOME/bin/scalac\" $ISABELLE_SCALAC_OPTIONS -d " ^ File.bash_path path ^
     1.9        " -classpath " ^ File.bash_path path ^ " " ^
    1.10        File.bash_path code_path ^ " " ^ File.bash_path driver_path
    1.11