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 +