#551 (Feb 10, 2018, 12:50:11 AM)

1. more robust: avoid global change of LD_LIBRARY_PATH (e.g. relevant for subprocesses); (detail / hgweb)
2. rebuild of polyml-5.7.1 with libgmp for x86_darwin; (detail / hgweb)
3. patch polyc: avoid hardwired directory prefix; (detail / hgweb)
4. support for libgmp for x86_64-darwin; (detail / hgweb)
5. built-in library path for (optional) libgmp on macos; (detail / hgweb)
6. removed obsolete polyi executable: change of DYLD_LIBRARY_PATH is not required; (detail / hgweb)
7. more robust access to shared libraries for poly executable: avoid global change of LD_LIBRARY_PATH (e.g. relevant for subprocesses); (detail / hgweb)

Started by an SCM change

This run spent:

• 9.5 sec waiting;
• 1 hr 13 min build duration;
• 1 hr 13 min total from scheduled to completion.