Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. proper target option, following package binutils-mingw-w64-x86-64 from Debian/Ubuntu;
  2. updated windows_app based on launch4j-3.50-linux-x64, without rebuilding GNU binutils (missing COFF target pe-i386);
  3. proper sfx_archive_name;
  4. clarified options;
  5. more robust;
  6. build Isabelle windows_app component from GNU binutils and launch4j;
Changeset 79574:eace130baedc by wenzelm:
proper target option, following package binutils-mingw-w64-x86-64 from Debian/Ubuntu;
The file was modified src/Pure/Admin/component_windows_app.scala (diff)
Changeset 79573:0e7dd3eaa6e8 by wenzelm:
updated windows_app based on launch4j-3.50-linux-x64, without rebuilding GNU binutils (missing COFF target pe-i386);
The file was modified Admin/components/bundled-windows (diff)
The file was modified Admin/components/components.sha1 (diff)
The file was modified src/Pure/Admin/build_release.scala (diff)
Changeset 79572:fb6b448b7939 by wenzelm:
proper sfx_archive_name;
The file was modified src/Pure/Admin/component_windows_app.scala (diff)
Changeset 79571:d160d7a18b25 by wenzelm:
clarified options;
The file was modified src/Pure/Admin/component_windows_app.scala (diff)
Changeset 79570:7254253f2ec7 by wenzelm:
more robust;
The file was modified src/Pure/Admin/component_windows_app.scala (diff)
Changeset 79569:b5d199871f2f by wenzelm:
build Isabelle windows_app component from GNU binutils and launch4j;
The file was addedsrc/Pure/Admin/component_windows_app.scala
The file was modified etc/build.props (diff)
The file was modified src/Pure/System/isabelle_tool.scala (diff)