author | wenzelm |
Fri, 11 Sep 2015 21:44:39 +0200 | |
changeset 61161 | 8fbab2f3433f |
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