isabelle: Admin/polyml/README@6876e3d5e362 (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
73643 9b4579e5bced updated to polyml-5.8.2 (official release); wenzelm parents: 72660 diff changeset	4	This compilation of Poly/ML (https://www.polyml.org) is based on the
9b4579e5bced updated to polyml-5.8.2 (official release); wenzelm parents: 72660 diff changeset	5	source distribution from
9b4579e5bced updated to polyml-5.8.2 (official release); wenzelm parents: 72660 diff changeset	6	https://github.com/polyml/polyml/commits/fixes-5.8.2 up to commit
9b4579e5bced updated to polyml-5.8.2 (official release); wenzelm parents: 72660 diff changeset	7	e6a463e1614f.
57689 e189ba8a64b9 updated to polyml-5.5.2-1 which addresses two hard crashes; wenzelm parents: 56958 diff changeset	8
69903 63721ee8c86c updated to polyml-5.8 (official release); wenzelm parents: 69871 diff changeset	9	The Isabelle repository provides an administrative tool "isabelle
63721ee8c86c updated to polyml-5.8 (official release); wenzelm parents: 69871 diff changeset	10	build_polyml", which can be used in the polyml component directory as
69704 3fb94d9b87b0 updated polyml platform: 32=x86_64_32; wenzelm parents: 68702 diff changeset	11	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	12
64544 d23b7c9b9dd4 updated Poly/ML repository test version (08-Dec-2016); wenzelm parents: 62281 diff changeset	13	* 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	14
67593 5efb88c90051 clarified command-line defaults; wenzelm parents: 67589 diff changeset	15	$ isabelle build_polyml -m32 -s sha1 src
5efb88c90051 clarified command-line defaults; wenzelm parents: 67589 diff changeset	16	$ isabelle build_polyml -m64 -s sha1 src
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	17
71492 a296d3697e50 updated to polyml-5.8.1-20200228 test version (Poly/ML 6025c250b4f1); wenzelm parents: 71160 diff changeset	18	* macOS:
67595 5b4dd7a5b882 tuned; wenzelm parents: 67593 diff changeset	19
5b4dd7a5b882 tuned; wenzelm parents: 67593 diff changeset	20	$ isabelle build_polyml -m32 -s sha1 src
5b4dd7a5b882 tuned; wenzelm parents: 67593 diff changeset	21	$ isabelle build_polyml -m64 -s sha1 src
5b4dd7a5b882 tuned; wenzelm parents: 67593 diff changeset	22
64544 d23b7c9b9dd4 updated Poly/ML repository test version (08-Dec-2016); wenzelm parents: 62281 diff changeset	23	* Windows (Cygwin shell)
d23b7c9b9dd4 updated Poly/ML repository test version (08-Dec-2016); wenzelm parents: 62281 diff changeset	24
67593 5efb88c90051 clarified command-line defaults; wenzelm parents: 67589 diff changeset	25	$ isabelle build_polyml -M /cygdrive/c/msys64 -m32 -s sha1 src
5efb88c90051 clarified command-line defaults; wenzelm parents: 67589 diff changeset	26	$ isabelle build_polyml -M /cygdrive/c/msys64 -m64 -s sha1 src
41331 8cdadd543fc8 tuned; wenzelm parents: 41330 diff changeset	27
67589 085f5c2e11f7 support for libgmp for x86-darwin; wenzelm parents: 67583 diff changeset	28
71492 a296d3697e50 updated to polyml-5.8.1-20200228 test version (Poly/ML 6025c250b4f1); wenzelm parents: 71160 diff changeset	29	Building libgmp on macOS
a296d3697e50 updated to polyml-5.8.1-20200228 test version (Poly/ML 6025c250b4f1); wenzelm parents: 71160 diff changeset	30	========================
67589 085f5c2e11f7 support for libgmp for x86-darwin; wenzelm parents: 67583 diff changeset	31
67593 5efb88c90051 clarified command-line defaults; wenzelm parents: 67589 diff changeset	32	The build_polyml invocations above implicitly use the GNU Multiple Precision
71492 a296d3697e50 updated to polyml-5.8.1-20200228 test version (Poly/ML 6025c250b4f1); wenzelm parents: 71160 diff changeset	33	Arithmetic Library (libgmp), but that is not available on macOS by default.
67593 5efb88c90051 clarified command-line defaults; wenzelm parents: 67589 diff changeset	34	Appending "--without-gmp" to the command-line omits this library. Building
67595 5b4dd7a5b882 tuned; wenzelm parents: 67593 diff changeset	35	libgmp properly from sources works as follows (library headers and binaries
5b4dd7a5b882 tuned; wenzelm parents: 67593 diff changeset	36	will be placed in /usr/local).
67589 085f5c2e11f7 support for libgmp for x86-darwin; wenzelm parents: 67583 diff changeset	37
085f5c2e11f7 support for libgmp for x86-darwin; wenzelm parents: 67583 diff changeset	38	* Download:
085f5c2e11f7 support for libgmp for x86-darwin; wenzelm parents: 67583 diff changeset	39
73668 5e12dad8d09b update to gmp-6.2.1, with support for arm64-darwin; wenzelm parents: 73643 diff changeset	40	$ curl https://gmplib.org/download/gmp/gmp-6.2.1.tar.bz2 \| tar xjf -
5e12dad8d09b update to gmp-6.2.1, with support for arm64-darwin; wenzelm parents: 73643 diff changeset	41	$ cd gmp-6.2.1
67583 c933a5d4e1ee support for libgmp for x86_64-darwin; wenzelm parents: 67099 diff changeset	42
69704 3fb94d9b87b0 updated polyml platform: 32=x86_64_32; wenzelm parents: 68702 diff changeset	43	* build:
67589 085f5c2e11f7 support for libgmp for x86-darwin; wenzelm parents: 67583 diff changeset	44
085f5c2e11f7 support for libgmp for x86-darwin; wenzelm parents: 67583 diff changeset	45	$ make distclean
73668 5e12dad8d09b update to gmp-6.2.1, with support for arm64-darwin; wenzelm parents: 73643 diff changeset	46
5e12dad8d09b update to gmp-6.2.1, with support for arm64-darwin; wenzelm parents: 73643 diff changeset	47	#Intel
67589 085f5c2e11f7 support for libgmp for x86-darwin; wenzelm parents: 67583 diff changeset	48	$ ./configure --enable-cxx --build=core2-apple-darwin"$(uname -r)"
73668 5e12dad8d09b update to gmp-6.2.1, with support for arm64-darwin; wenzelm parents: 73643 diff changeset	49
5e12dad8d09b update to gmp-6.2.1, with support for arm64-darwin; wenzelm parents: 73643 diff changeset	50	#ARM
5e12dad8d09b update to gmp-6.2.1, with support for arm64-darwin; wenzelm parents: 73643 diff changeset	51	$ ./configure --enable-cxx --build=aarch64-apple-darwin"$(uname -r)"
5e12dad8d09b update to gmp-6.2.1, with support for arm64-darwin; wenzelm parents: 73643 diff changeset	52
67589 085f5c2e11f7 support for libgmp for x86-darwin; wenzelm parents: 67583 diff changeset	53	$ make && make check
085f5c2e11f7 support for libgmp for x86-darwin; wenzelm parents: 67583 diff changeset	54	$ sudo make install
67583 c933a5d4e1ee support for libgmp for x86_64-darwin; wenzelm parents: 67099 diff changeset	55
41331 8cdadd543fc8 tuned; wenzelm parents: 41330 diff changeset	56
57689 e189ba8a64b9 updated to polyml-5.5.2-1 which addresses two hard crashes; wenzelm parents: 56958 diff changeset	57	Makarius
73668 5e12dad8d09b update to gmp-6.2.1, with support for arm64-darwin; wenzelm parents: 73643 diff changeset	58	11-May-2021

author	wenzelm
	Fri, 10 Sep 2021 17:35:38 +0200
changeset 74285	6876e3d5e362
parent 73668	5e12dad8d09b
child 74635	b179891dd357
permissions	-rw-r--r--