Admin/polyml/CHECKLIST

support for command-line options as in GNU bash;

+
−Notes on building Poly/ML as Isabelle component
+
−===============================================
+
−
+
−* copy README
+
−
+
−* copy build
+
−
+
−* copy etc/settings
+
−
+
−* include full source (without symlink)
+
−
+
−* include sha1 source and binary for each platform
+
−
+
−* linux: include copy of libgmp.so with symlinks from build host
+
−
+
−* include copy of "polyml" script