isabelle: Admin/polyml/NOTES@6b5421bd0fc3 (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:
72061 0f2ff88f823e updated to polyml-5.8.1 (official release); wenzelm parents: 67583 diff changeset	5	$ isabelle build_polyml_component -s sha1 polyml.tar.gz polyml
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