Summary
- more robust: avoid global change of LD_LIBRARY_PATH (e.g. relevant for subprocesses);
- rebuild of polyml-5.7.1 with libgmp for x86_darwin;
- patch polyc: avoid hardwired directory prefix;
- support for libgmp for x86_64-darwin;
- built-in library path for (optional) libgmp on macos;
- removed obsolete polyi executable: change of DYLD_LIBRARY_PATH is not required;
- more robust access to shared libraries for poly executable: avoid global change of LD_LIBRARY_PATH (e.g. relevant for subprocesses);
The file was modified | src/Pure/ML/ml_process.scala (diff) |
The file was modified | src/Pure/System/isabelle_system.scala (diff) |
The file was modified | Admin/components/components.sha1 (diff) |
The file was modified | Admin/components/main (diff) |
The file was modified | src/Pure/Admin/build_polyml.scala (diff) |
The file was modified | Admin/polyml/NOTES (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/settings (diff) |
The file was modified | src/Pure/Admin/build_polyml.scala (diff) |
The file was removed | Admin/polyml/polyi |
The file was modified | Admin/polyml/polyi (diff) |
The file was modified | src/Pure/Admin/build_polyml.scala (diff) |