Fri, 09 Feb 2018 11:14:13 +0100 | wenzelm | more robust access to shared libraries for poly executable: avoid global change of LD_LIBRARY_PATH (e.g. relevant for subprocesses); | file | diff | annotate |
Sat, 04 Jun 2016 16:54:23 +0200 | wenzelm | updated to recent changes of Poly/ML directory layout; | file | diff | annotate | base |