isabelle: Admin/polyml/README@0818da4f67bb (annotated)

38469 5c6c5d63f3c3 updated for prospective Poly/ML 5.4; wenzelm parents: 37122 diff changeset	1	Poly/ML for Isabelle
5c6c5d63f3c3 updated for prospective Poly/ML 5.4; wenzelm parents: 37122 diff changeset	2	====================
27012 e6229d8d6aaa moved README-polyml to polyml/README; wenzelm parents: diff changeset	3
64544 d23b7c9b9dd4 updated Poly/ML repository test version (08-Dec-2016); wenzelm parents: 62281 diff changeset	4	This compilation of Poly/ML (http://www.polyml.org) is based on the repository
65032 42b92fa72a51 updated to polyml-5.7 pre-release from repository; wenzelm parents: 64544 diff changeset	5	version https://github.com/polyml/polyml/commit/6307085deb18
57689 e189ba8a64b9 updated to polyml-5.5.2-1 which addresses two hard crashes; wenzelm parents: 56958 diff changeset	6
64544 d23b7c9b9dd4 updated Poly/ML repository test version (08-Dec-2016); wenzelm parents: 62281 diff changeset	7	The Isabelle repository provides the administrative tool "build_polyml", which
d23b7c9b9dd4 updated Poly/ML repository test version (08-Dec-2016); wenzelm parents: 62281 diff changeset	8	can be used in the polyml component directory as follows.
62281 707f9b182f4f evade a potential conflict of /bin/bash versus /bin/sh -> dash (notably on Ubuntu and Debian) -- note that execvpe does not exist on old glibc on Ubuntu 10.04 LTS, but the environ should be unchanged; wenzelm parents: 62252 diff changeset	9
64544 d23b7c9b9dd4 updated Poly/ML repository test version (08-Dec-2016); wenzelm parents: 62281 diff changeset	10	* Linux:
62281 707f9b182f4f evade a potential conflict of /bin/bash versus /bin/sh -> dash (notably on Ubuntu and Debian) -- note that execvpe does not exist on old glibc on Ubuntu 10.04 LTS, but the environ should be unchanged; wenzelm parents: 62252 diff changeset	11
64544 d23b7c9b9dd4 updated Poly/ML repository test version (08-Dec-2016); wenzelm parents: 62281 diff changeset	12	isabelle build_polyml -m32 -s sha1 src --with-gmp
d23b7c9b9dd4 updated Poly/ML repository test version (08-Dec-2016); wenzelm parents: 62281 diff changeset	13	isabelle build_polyml -m64 -s sha1 src --with-gmp
62281 707f9b182f4f evade a potential conflict of /bin/bash versus /bin/sh -> dash (notably on Ubuntu and Debian) -- note that execvpe does not exist on old glibc on Ubuntu 10.04 LTS, but the environ should be unchanged; wenzelm parents: 62252 diff changeset	14
64544 d23b7c9b9dd4 updated Poly/ML repository test version (08-Dec-2016); wenzelm parents: 62281 diff changeset	15	* Mac OS X:
41330 a4d9831c21d4 updated for Poly/ML 5.4.0; wenzelm parents: 38469 diff changeset	16
64544 d23b7c9b9dd4 updated Poly/ML repository test version (08-Dec-2016); wenzelm parents: 62281 diff changeset	17	isabelle build_polyml -m32 -s sha1 src --without-gmp
d23b7c9b9dd4 updated Poly/ML repository test version (08-Dec-2016); wenzelm parents: 62281 diff changeset	18	isabelle build_polyml -m64 -s sha1 src --without-gmp
41330 a4d9831c21d4 updated for Poly/ML 5.4.0; wenzelm parents: 38469 diff changeset	19
64544 d23b7c9b9dd4 updated Poly/ML repository test version (08-Dec-2016); wenzelm parents: 62281 diff changeset	20	* Windows (Cygwin shell)
d23b7c9b9dd4 updated Poly/ML repository test version (08-Dec-2016); wenzelm parents: 62281 diff changeset	21
d23b7c9b9dd4 updated Poly/ML repository test version (08-Dec-2016); wenzelm parents: 62281 diff changeset	22	isabelle build_polyml -M /cygdrive/c/msys64 -m32 -s sha1 src --with-gmp
d23b7c9b9dd4 updated Poly/ML repository test version (08-Dec-2016); wenzelm parents: 62281 diff changeset	23	isabelle build_polyml -M /cygdrive/c/msys64 -m64 -s sha1 src --with-gmp
41331 8cdadd543fc8 tuned; wenzelm parents: 41330 diff changeset	24
8cdadd543fc8 tuned; wenzelm parents: 41330 diff changeset	25
57689 e189ba8a64b9 updated to polyml-5.5.2-1 which addresses two hard crashes; wenzelm parents: 56958 diff changeset	26	Makarius
65032 42b92fa72a51 updated to polyml-5.7 pre-release from repository; wenzelm parents: 64544 diff changeset	27	17-Feb-2017

author	wenzelm
	Sun, 30 Apr 2017 17:37:12 +0200
changeset 65649	0818da4f67bb
parent 65032	42b92fa72a51
child 65805	d3c5898f1a5e
permissions	-rw-r--r--