src/HOL/Library/code_test.ML
changeset 65531 24544e3f183d
parent 64957 3faa9b31ff78
child 65898 f02a1289e2c6
     1.1 --- a/src/HOL/Library/code_test.ML	Fri Apr 21 11:38:45 2017 +0200
     1.2 +++ b/src/HOL/Library/code_test.ML	Fri Apr 21 13:51:43 2017 +0200
     1.3 @@ -551,11 +551,11 @@
     1.4        "}\n"
     1.5  
     1.6      val compile_cmd =
     1.7 -      "\"$SCALA_HOME/bin/scalac\" $ISABELLE_SCALAC_OPTIONS -d " ^ File.bash_path path ^
     1.8 +      "isabelle_scala 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  
    1.12 -    val run_cmd = "\"$SCALA_HOME/bin/scala\" -cp " ^ File.bash_path path ^ " Test"
    1.13 +    val run_cmd = "isabelle_scala scala -cp " ^ File.bash_path path ^ " Test"
    1.14    in
    1.15      {files = [(driver_path, driver)],
    1.16       compile_cmd = SOME compile_cmd, run_cmd = run_cmd, mk_code_file = K code_path}