isabelle: Admin/polyml/NOTES@8905114fd23b (annotated)

51061 1f184f8ec10b notes on building Poly/ML; wenzelm parents: diff changeset	1	Notes on building Poly/ML as Isabelle component
1f184f8ec10b notes on building Poly/ML; wenzelm parents: diff changeset	2	===============================================
1f184f8ec10b notes on building Poly/ML; wenzelm parents: diff changeset	3
65880 54c6ec4166a4 clarified build_polyml_component; wenzelm parents: 65032 diff changeset	4	* component skeleton:
66846 c04f46a6f29d back to build_polyml_component according to 54c6ec4166a4 (amending 808e6ddb5a50); wenzelm parents: 66761 diff changeset	5	$ isabelle build_polyml_component -s sha1 component
51061 1f184f8ec10b notes on building Poly/ML; wenzelm parents: diff changeset	6
65880 54c6ec4166a4 clarified build_polyml_component; wenzelm parents: 65032 diff changeset	7	* include full source (without symlink), for example:
54c6ec4166a4 clarified build_polyml_component; wenzelm parents: 65032 diff changeset	8	$ wget https://github.com/polyml/polyml/archive/master.zip
66998 8905114fd23b support for libgmp on x86_64-darwin; wenzelm parents: 66846 diff changeset	9
8905114fd23b support for libgmp on x86_64-darwin; wenzelm parents: 66846 diff changeset	10	* libgmp on x86_64-darwin:
8905114fd23b support for libgmp on x86_64-darwin; wenzelm parents: 66846 diff changeset	11
8905114fd23b support for libgmp on x86_64-darwin; wenzelm parents: 66846 diff changeset	12	https://github.com/Homebrew/homebrew-core/blob/master/Formula/gmp.rb
8905114fd23b support for libgmp on x86_64-darwin; wenzelm parents: 66846 diff changeset	13	https://gmplib.org/download/gmp/gmp-6.1.2.tar.xz
8905114fd23b support for libgmp on x86_64-darwin; wenzelm parents: 66846 diff changeset	14
8905114fd23b support for libgmp on x86_64-darwin; wenzelm parents: 66846 diff changeset	15	./configure --enable-cxx --build=core2-apple-darwin"$(uname -r)"
8905114fd23b support for libgmp on x86_64-darwin; wenzelm parents: 66846 diff changeset	16	make check
8905114fd23b support for libgmp on x86_64-darwin; wenzelm parents: 66846 diff changeset	17	make install
8905114fd23b support for libgmp on x86_64-darwin; wenzelm parents: 66846 diff changeset	18
8905114fd23b support for libgmp on x86_64-darwin; wenzelm parents: 66846 diff changeset	19	isabelle build_polyml -m64 -s sha1 src --with-gmp LDFLAGS='-L/usr/local/lib' CPPFLAGS='-O3 -I/usr/local/include'

author	wenzelm
	Fri, 03 Nov 2017 22:36:32 +0100
changeset 66998	8905114fd23b
parent 66846	Admin/polyml/CHECKLIST@c04f46a6f29d
child 67583	c933a5d4e1ee
permissions	-rw-r--r--