src/Pure/Admin/build_spass.scala
changeset 73906 9ce115baaa4f
parent 73822 4e6b31ed7197
equal deleted inserted replaced
73905:029de1598940 73906:9ce115baaa4f
    20     progress: Progress = new Progress,
    20     progress: Progress = new Progress,
    21     target_dir: Path = Path.current): Unit =
    21     target_dir: Path = Path.current): Unit =
    22   {
    22   {
    23     Isabelle_System.with_tmp_dir("build")(tmp_dir =>
    23     Isabelle_System.with_tmp_dir("build")(tmp_dir =>
    24     {
    24     {
    25       Isabelle_System.require_command("bison", "flex")
    25       Isabelle_System.require_command("bison")
       
    26       Isabelle_System.require_command("flex")
    26 
    27 
    27 
    28 
    28       /* component */
    29       /* component */
    29 
    30 
    30       val Archive_Name = """^.*?([^/]+)$""".r
    31       val Archive_Name = """^.*?([^/]+)$""".r