| author | haftmann |
| Sun Dec 15 15:10:16 2013 +0100 (2013-12-15) | |
| changeset 54745 | 46e441e61ff5 |
| parent 51066 | 7fc61bfb1c2d |
| child 56959 | 0953208a32c7 |
| permissions | -rw-r--r-- |
1 Notes on building Poly/ML as Isabelle component
2 ===============================================
4 * copy README
6 * copy build
8 * copy etc/settings
10 * include full source (without symlink)
12 * include sha1 source and binary for each platform
14 * copy polyml script for each platform
16 * linux: include copy of libgmp.so with symlinks from build host