isabelle: Admin/polyml/CHECKLIST@2c1c8b38e3f0 (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	* linux: include copy of libgmp.so with symlinks from build host
1f184f8ec10b notes on building Poly/ML; wenzelm parents: diff changeset	15

author	wenzelm
	Sat, 24 May 2014 19:15:04 +0200
changeset 57082	2c1c8b38e3f0
parent 56959	0953208a32c7
child 60123	d990db067a3d
permissions	-rw-r--r--