isabelle: Admin/polyml/CHECKLIST@7b18c41df27a (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
1f184f8ec10b notes on building Poly/ML; wenzelm parents: diff changeset	4	* copy README
1f184f8ec10b notes on building Poly/ML; wenzelm parents: diff changeset	5
1f184f8ec10b notes on building Poly/ML; wenzelm parents: diff changeset	6	* copy build
1f184f8ec10b notes on building Poly/ML; wenzelm parents: diff changeset	7
51066 7fc61bfb1c2d updated to polyml-5.5.0-3 based on fixes-5.5 version 1658, which provides important improvements; wenzelm parents: 51061 diff changeset	8	* copy etc/settings
51061 1f184f8ec10b notes on building Poly/ML; wenzelm parents: diff changeset	9
1f184f8ec10b notes on building Poly/ML; wenzelm parents: diff changeset	10	* include full source (without symlink)
1f184f8ec10b notes on building Poly/ML; wenzelm parents: diff changeset	11
1f184f8ec10b notes on building Poly/ML; wenzelm parents: diff changeset	12	* include sha1 source and binary for each platform
1f184f8ec10b notes on building Poly/ML; wenzelm parents: diff changeset	13
1f184f8ec10b notes on building Poly/ML; wenzelm parents: diff changeset	14	* copy polyml script for each platform
1f184f8ec10b notes on building Poly/ML; wenzelm parents: diff changeset	15
1f184f8ec10b notes on building Poly/ML; wenzelm parents: diff changeset	16	* linux: include copy of libgmp.so with symlinks from build host
1f184f8ec10b notes on building Poly/ML; wenzelm parents: diff changeset	17

author	blanchet
	Thu, 02 Jan 2014 09:50:22 +0100
changeset 54913	7b18c41df27a
parent 51066	7fc61bfb1c2d
child 56959	0953208a32c7
permissions	-rw-r--r--