Admin/polyml/NOTES
author paulson <lp15@cam.ac.uk>
Thu, 02 Feb 2023 12:55:07 +0000
changeset 77179 6d2ca97a8f46
parent 72061 0f2ff88f823e
permissions -rw-r--r--
More of Manuel's material, and some changes

Notes on building Poly/ML as Isabelle component
===============================================

* component skeleton:
  $ isabelle build_polyml_component -s sha1 polyml.tar.gz polyml

* include full source (without symlink), for example:
  $ wget https://github.com/polyml/polyml/archive/master.zip