more robust build: prevent problems seen with Poly/ML eb94e2820013 on Mac OS X;

no --enable-shared: leads to slow bigint operations (e.g. in session HOL-ODE-Examples);

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;

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;

support for libgmp for x86-darwin;

tuned;

patch polyc: avoid hardwired directory prefix;

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);

support for libgmp on x86_64-darwin;

--HG--
rename : Admin/polyml/CHECKLIST => Admin/polyml/NOTES

clarified build_polyml_component;

tuned signature;

optional component setup;

clarified msys root;
proper copy_files;

clarified setup: avoid alternative C compiler tools, e.g. from Homebrew or MacPorts;

proper admin tool;

tuned output;

back to regular Isabelle tool (reverting abc34a149690);

tuned;

tuned;

build sha1 library;

proper CONFIG_SITE for msys;

clarified platform selection;

more robust Windows platform;

copy libgmp on Linux;

prefer raw Admin tool, without Isabelle settings environment;

clarified command-line;

no backup of generated stuff;

more precise environment (for Windows);

proper shell_path for msys inside cygwin;

support other bash executable (notably for msys on Windows);

proper options;
simplified command-line;
tuned;

build_polyml in Scala;