src/Pure/Admin/build_release.scala
changeset 69403 258740767dc9
parent 69402 61f4c406d727
child 69405 22428643351f
equal deleted inserted replaced
69402:61f4c406d727 69403:258740767dc9
   564             Bash.string(isabelle_name))
   564             Bash.string(isabelle_name))
   565 
   565 
   566 
   566 
   567           // platform-specific application (outside archive)
   567           // platform-specific application (outside archive)
   568 
   568 
   569           progress.echo("Application for " + platform)
   569           progress.echo("Application for " + platform + " ...")
   570 
   570 
   571           if (platform == "linux") {
   571           if (platform == "linux") {
   572             File.link(
   572             File.link(
   573               Path.explode(isabelle_name + "_linux.tar.gz"),
   573               Path.explode(isabelle_name + "_linux.tar.gz"),
   574               release.dist_dir + Path.explode(isabelle_name + "_app.tar.gz"),
   574               release.dist_dir + Path.explode(isabelle_name + "_app.tar.gz"),
   656               Bytes.read(sfx_exe) + Bytes(sfx_txt) + Bytes.read(exe_archive))
   656               Bytes.read(sfx_exe) + Bytes(sfx_txt) + Bytes.read(exe_archive))
   657 
   657 
   658             Isabelle_System.bash("chmod +x " + (release.dist_dir + isabelle_exe)).check
   658             Isabelle_System.bash("chmod +x " + (release.dist_dir + isabelle_exe)).check
   659           }
   659           }
   660         })
   660         })
       
   661         progress.echo("DONE")
   661       }
   662       }
   662     }
   663     }
   663 
   664 
   664 
   665 
   665     /* minimal website */
   666     /* minimal website */