Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified message;
  2. tuned signature;
  3. clarified options;
  4. more explicit MinGW context;
  5. clarified signature: allow complex bash script;
  6. clarified signature;
  7. more standard path output (despite platform_path from d55eb82ae77b);
  8. clarified errors;
  9. tuned signature;
  10. more explicit MinGW context;
  11. more libs for build_csdp;
  12. support for MSYS2/MinGW64 on Windows;
  13. tuned --- according to instructions on Website;
  14. updated to csdp-6.1.1, with support for arm64-linux; static x86_64-linux has been built on Ubuntu 16.04;
  15. proper support for x86_64-windows via msys/mingw64;
  16. more standard build from sources; prefer version 6.1.1, which actually works with "sos";
  17. tuned message;
Changeset 72432:86f8fcdcff4a by wenzelm:
clarified message;
The file was modified src/Pure/System/mingw.scala (diff)
Changeset 72431:b8b97c49e339 by wenzelm:
tuned signature;
The file was modified src/Pure/Admin/build_csdp.scala (diff)
The file was modified src/Pure/Admin/build_polyml.scala (diff)
The file was modified src/Pure/System/mingw.scala (diff)
Changeset 72430:8e38c8405788 by wenzelm:
clarified options;
The file was modified Admin/polyml/INSTALL-MinGW (diff)
Changeset 72429:7924c7d2d9d9 by wenzelm:
more explicit MinGW context;
The file was modified src/Pure/Admin/build_polyml.scala (diff)
Changeset 72428:b7351ffe0dbc by wenzelm:
clarified signature: allow complex bash script;
The file was modified src/Pure/Admin/build_csdp.scala (diff)
The file was modified src/Pure/System/mingw.scala (diff)
Changeset 72427:def95a34df8e by wenzelm:
clarified signature;
The file was modified src/Pure/Admin/build_polyml.scala (diff)
The file was modified src/Pure/System/mingw.scala (diff)
Changeset 72426:f5d60c12deeb by wenzelm:
more standard path output (despite platform_path from d55eb82ae77b);
The file was modified src/Pure/System/isabelle_system.scala (diff)
Changeset 72425:d0937d55eb90 by wenzelm:
clarified errors;
The file was modified src/Pure/Admin/build_csdp.scala (diff)
The file was modified src/Pure/System/mingw.scala (diff)
Changeset 72424:10c07d224035 by wenzelm:
tuned signature;
The file was modified src/Pure/Admin/build_csdp.scala (diff)
The file was modified src/Pure/System/mingw.scala (diff)
Changeset 72423:f8aa2efce869 by wenzelm:
more explicit MinGW context;
The file was modified src/Pure/Admin/build_csdp.scala (diff)
Changeset 72422:9d59738102b8 by wenzelm:
more libs for build_csdp;
The file was modified Admin/polyml/INSTALL-MinGW (diff)
Changeset 72421:9a8bc089890d by wenzelm:
support for MSYS2/MinGW64 on Windows;
The file was addedsrc/Pure/System/mingw.scala
The file was modified src/Pure/build-jars (diff)
Changeset 72420:f6fc180e1cbd by wenzelm:
tuned --- according to instructions on Website;
The file was modified Admin/polyml/INSTALL-MinGW (diff)
Changeset 72419:72667f4994a6 by wenzelm:
updated to csdp-6.1.1, with support for arm64-linux;<br>static x86_64-linux has been built on Ubuntu 16.04;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 72418:4ed247fadbc4 by wenzelm:
proper support for x86_64-windows via msys/mingw64;
The file was modified src/Pure/Admin/build_csdp.scala (diff)
Changeset 72417:992822a11039 by wenzelm:
more standard build from sources;<br>prefer version 6.1.1, which actually works with &quot;sos&quot;;
The file was modified src/Pure/Admin/build_csdp.scala (diff)
Changeset 72416:783c3a47d57c by wenzelm:
tuned message;
The file was modified src/Pure/Admin/build_e.scala (diff)