Summary
- merged
- updated polyml component -- omitting bad polyml-5.7.1-3;
- use preferred resolver according to DOI Handbook §3.8
- no --enable-shared for x86_64-darwin: does not work on some test machine;
- proper target directory;
- tuned;
- more robust options;
- back to --disable-shared on windows to avoid odd core-dump of polyimport;
- tuned;
- back to --disable-shared on x86-darwin to avoid odd core-dump of polyimport;
- clarified command-line defaults;
- enforce shared libpoly on all platforms, with File.copy before File.move;
The file was modified | Admin/components/components.sha1 (diff) |
The file was modified | Admin/components/main (diff) |
The file was modified | src/Doc/manual.bib (diff) |
The file was modified | src/HOL/Probability/Probability_Mass_Function.thy (diff) |
The file was modified | src/Tools/Graphview/layout.scala (diff) |
The file was modified | src/Pure/Admin/build_polyml.scala (diff) |
The file was modified | src/Pure/Admin/build_polyml.scala (diff) |
The file was modified | src/Pure/Admin/build_polyml.scala (diff) |
The file was modified | src/Pure/Admin/build_polyml.scala (diff) |
The file was modified | src/Pure/Admin/build_polyml.scala (diff) |
The file was modified | Admin/polyml/README (diff) |
The file was modified | src/Pure/Admin/build_polyml.scala (diff) |
The file was modified | Admin/polyml/README (diff) |
The file was modified | src/Pure/Admin/build_polyml.scala (diff) |
The file was modified | src/Pure/Admin/build_polyml.scala (diff) |