author | wenzelm |
Mon, 18 Jan 2016 16:03:58 +0100 | |
changeset 62199 | fc55a4e3f439 |
parent 60123 | d990db067a3d |
child 63229 | f951c624c1a1 |
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 * linux: include copy of libgmp.so with symlinks from build host * include copy of "polyml" script