isabelle: Admin/polyml/CHECKLIST@1f184f8ec10b (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
1f184f8ec10b notes on building Poly/ML; wenzelm parents: diff changeset	8	* copy updated etc/settings
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	wenzelm
	Sat, 26 Jan 2013 19:53:15 +0100
changeset 51061	1f184f8ec10b
child 51066	7fc61bfb1c2d
permissions	-rw-r--r--