| author | paulson <lp15@cam.ac.uk> |
| Mon, 27 Jan 2014 17:13:33 +0000 | |
| changeset 55158 | 39bcdf19dd14 |
| parent 51066 | 7fc61bfb1c2d |
| child 56959 | 0953208a32c7 |
| permissions | -rw-r--r-- |
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 * copy polyml script for each platform * linux: include copy of libgmp.so with symlinks from build host