# HG changeset patch # User wenzelm # Date 1707071565 -3600 # Node ID b5d199871f2fbda6c10b800c61f9eb1cf21e0b6e # Parent 1c2d9debe82a3862455c9c0efe36b44e6fe3262f build Isabelle windows_app component from GNU binutils and launch4j; diff -r 1c2d9debe82a -r b5d199871f2f etc/build.props --- a/etc/build.props Fri Feb 02 22:46:45 2024 +0100 +++ b/etc/build.props Sun Feb 04 19:32:45 2024 +0100 @@ -43,6 +43,7 @@ src/Pure/Admin/component_spass.scala \ src/Pure/Admin/component_sqlite.scala \ src/Pure/Admin/component_stack.scala \ + src/Pure/Admin/component_windows_app.scala \ src/Pure/Admin/component_vampire.scala \ src/Pure/Admin/component_verit.scala \ src/Pure/Admin/component_zipperposition.scala \ diff -r 1c2d9debe82a -r b5d199871f2f src/Pure/Admin/component_windows_app.scala --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/src/Pure/Admin/component_windows_app.scala Sun Feb 04 19:32:45 2024 +0100 @@ -0,0 +1,170 @@ +/* Title: Pure/Admin/windows_app.scala + Author: Makarius + +Build Isabelle windows_app component from GNU binutils and launch4j. +*/ + +package isabelle + + +object Component_Windows_App { + /* resources */ + + def tool_platform(): String = { + require(Platform.is_linux, "Linux platform required") + Isabelle_Platform.self.ISABELLE_PLATFORM64 + } + + def launch4j_jar(): Path = + Path.explode("windows_app/" + tool_platform() + "/launch4j.jar") + + val sfx_name = "7zsd_All_x64.sfx" + val sfx_path: Path = Path.basic("windows_app") + Path.basic(sfx_name) + + + /* build windows_app */ + + val default_launch4j_url = + "https://deac-riga.dl.sourceforge.net/project/launch4j/launch4j-3/3.50/launch4j-3.50-linux-x64.tgz" + + val default_binutils_url = + "https://ftp.gnu.org/gnu/binutils/binutils-2.26.1.tar.gz" + + val default_sfx_url = + "https://github.com/chrislake/7zsfxmm/releases/download/1.7.1.3901/7zsd_extra_171_3901.7z" + + def build_windows_app( + launch4j_url: String = default_launch4j_url, + binutils_url: String = default_binutils_url, + sfx_url: String = default_sfx_url, + progress: Progress = new Progress, + target_dir: Path = Path.current + ): Unit = { + val platform_name = tool_platform() + + Isabelle_System.with_tmp_dir("build") { tmp_dir => + val download_tar = tmp_dir + Path.basic("download.tar.gz") + + + /* component */ + + val component_dir = Components.Directory(tmp_dir + Path.basic("windows_app")).create() + + val platform_dir = + Isabelle_System.make_directory(component_dir.path + Path.basic(platform_name)) + + val platform_bin_dir = platform_dir + Path.basic("bin") + + + /* launch4j */ + + Isabelle_System.download_file(launch4j_url, download_tar, progress = progress) + Isabelle_System.extract(download_tar, platform_dir, strip = true) + + + /* GNU binutils */ + + Isabelle_System.download_file(binutils_url, download_tar, progress = progress) + Isabelle_System.extract(download_tar, tmp_dir, strip = true) + + progress.echo("Building GNU binutils for " + platform_name + " ...") + val build_script = + List("""./configure --prefix="$PWD/target" --with-windres --with-ld""", + "make", "make install") + Isabelle_System.bash(build_script.mkString(" && "), cwd = tmp_dir.file, + progress_stdout = progress.echo(_, verbose = true), + progress_stderr = progress.echo(_, verbose = true)).check + + for (name <- List("ld", "windres")) { + Isabelle_System.copy_file( + tmp_dir + Path.explode("target/bin") + Path.basic(name), platform_bin_dir) + } + + + /* 7zip sfx module */ + + val sfx_name = Url.get_base_name(sfx_url).get + + Isabelle_System.download_file(sfx_url, tmp_dir + Path.basic(sfx_name), progress = progress) + Isabelle_System.bash("7z x " + Bash.string(sfx_name), cwd = tmp_dir.file).check + Isabelle_System.copy_file(tmp_dir + Path.basic(sfx_name), component_dir.path) + + + /* README */ + + File.write(component_dir.README, + """Auxiliary parts for Isabelle as Windows application +=================================================== + +* Application launcher: http://launch4j.sourceforge.net + +* Platform binaries "ld" and "windres" from GNU binutils: + """ + binutils_url + """ + +* Self-extracting installer: + """ + sfx_url + """ + +See also Isabelle/Admin/Windows/. + + + Makarius + """ + Date.Format.date(Date.now()) + "\n") + + + /* component archive */ + + val component_archive = + Isabelle_System.make_directory(target_dir) + + Path.basic("windows_app-" + Date.Format.alt_date(Date.now())).tar.gz + + Isabelle_System.gnutar( + "-czf " + File.bash_path(component_archive) + " windows_app", dir = tmp_dir).check + + progress.echo("Component archive " + component_archive) + } + } + + + /* Isabelle tool wrapper */ + + val isabelle_tool = + Isabelle_Tool("component_windows_app", + "build windows_app component from GNU binutils and launch4j", + Scala_Project.here, + { args => + var target_dir = Path.current + var launch4j_url = default_launch4j_url + var binutils_url = default_binutils_url + var sfx_url = default_sfx_url + var verbose = false + + val getopts = Getopts(""" +Usage: isabelle component_windows_app [OPTIONS] + + Options are: + -D DIR target directory (default ".") + -U URL download URL for launch4j, default: + """ + default_launch4j_url + """ + -V URL download URL for GNU binutils, default: + """ + default_binutils_url + """ + -W URL download URL for 7zip sfx module, default: + """ + default_sfx_url + """ + -v verbose + + Build Isabelle windows_app component from GNU binutils and launch4j. +""", + "D:" -> (arg => target_dir = Path.explode(arg)), + "U:" -> (arg => launch4j_url = arg), + "V:" -> (arg => binutils_url = arg), + "W:" -> (arg => sfx_url = arg), + "v" -> (_ => verbose = true)) + + val more_args = getopts(args) + if (more_args.nonEmpty) getopts.usage() + + val progress = new Console_Progress(verbose = verbose) + + build_windows_app(launch4j_url = launch4j_url, binutils_url = binutils_url, + sfx_url = sfx_url, progress = progress, target_dir = target_dir) + }) +} diff -r 1c2d9debe82a -r b5d199871f2f src/Pure/System/isabelle_tool.scala --- a/src/Pure/System/isabelle_tool.scala Fri Feb 02 22:46:45 2024 +0100 +++ b/src/Pure/System/isabelle_tool.scala Sun Feb 04 19:32:45 2024 +0100 @@ -192,6 +192,7 @@ Component_Stack.isabelle_tool, Component_Vampire.isabelle_tool, Component_VeriT.isabelle_tool, + Component_Windows_App.isabelle_tool, Component_Zipperposition.isabelle_tool, Component_Zstd.isabelle_tool, Components.isabelle_tool,