Admin/polyml/CHECKLIST
changeset 51061 1f184f8ec10b
child 51066 7fc61bfb1c2d
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/polyml/CHECKLIST	Sat Jan 26 19:53:15 2013 +0100
@@ -0,0 +1,17 @@
+Notes on building Poly/ML as Isabelle component
+===============================================
+
+* copy README
+
+* copy build
+
+* copy updated etc/settings
+
+* include full source (without symlink)
+
+* include sha1 source and binary for each platform
+
+* copy polyml script for each platform
+
+* linux: include copy of libgmp.so with symlinks from build host
+