#2117 (Feb 5, 2024, 12:50:09 AM)

1. proper target option, following package binutils-mingw-w64-x86-64 from Debian/Ubuntu; (detail / hgweb)
2. updated windows_app based on launch4j-3.50-linux-x64, without rebuilding GNU binutils (missing COFF target pe-i386); (detail / hgweb)
3. proper sfx_archive_name; (detail / hgweb)
4. clarified options; (detail / hgweb)
5. more robust; (detail / hgweb)
6. build Isabelle windows_app component from GNU binutils and launch4j; (detail / hgweb)

Started by an SCM change

This run spent:

• 7.9 sec waiting;
• 2 hr 1 min build duration;
• 2 hr 1 min total from scheduled to completion.