Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more robust: avoid global change of LD_LIBRARY_PATH (e.g. relevant for subprocesses);
  2. rebuild of polyml-5.7.1 with libgmp for x86_darwin;
  3. patch polyc: avoid hardwired directory prefix;
  4. support for libgmp for x86_64-darwin;
  5. built-in library path for (optional) libgmp on macos;
  6. removed obsolete polyi executable: change of DYLD_LIBRARY_PATH is not required;
  7. more robust access to shared libraries for poly executable: avoid global change of LD_LIBRARY_PATH (e.g. relevant for subprocesses);
Changeset 67586:8b19a8a7f029 by wenzelm:
more robust: 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)
Changeset 67585:9eb04971c02c by wenzelm:
rebuild of polyml-5.7.1 with libgmp for x86_darwin;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 67584:252d33ee6778 by wenzelm:
patch polyc: avoid hardwired directory prefix;
The file was modified src/Pure/Admin/build_polyml.scala (diff)
Changeset 67583:c933a5d4e1ee by wenzelm:
support for libgmp for x86_64-darwin;
The file was modified Admin/polyml/NOTES (diff)
The file was modified Admin/polyml/README (diff)
Changeset 67582:bf5c69acf2be by wenzelm:
built-in library path for (optional) libgmp on macos;
The file was modified src/Pure/Admin/build_polyml.scala (diff)
Changeset 67581:30f412d1d7c3 by wenzelm:
removed obsolete polyi executable: change of DYLD_LIBRARY_PATH is not required;
The file was modified Admin/polyml/settings (diff)
The file was modified src/Pure/Admin/build_polyml.scala (diff)
The file was removedAdmin/polyml/polyi
Changeset 67580:eb64467e8bcf by wenzelm:
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 Admin/polyml/polyi (diff)
The file was modified src/Pure/Admin/build_polyml.scala (diff)