Admin/polyml/CHECKLIST
author wenzelm
Tue Oct 03 12:30:36 2017 +0200 (19 months ago)
changeset 66761 808e6ddb5a50
parent 65880 54c6ec4166a4
child 66846 c04f46a6f29d
permissions -rw-r--r--
more recent polyml-test version;
wenzelm@51061
     1
Notes on building Poly/ML as Isabelle component
wenzelm@51061
     2
===============================================
wenzelm@51061
     3
wenzelm@65880
     4
* component skeleton:
wenzelm@66761
     5
  $ isabelle build_polyml -s sha1 component
wenzelm@51061
     6
wenzelm@65880
     7
* include full source (without symlink), for example:
wenzelm@65880
     8
  $ wget https://github.com/polyml/polyml/archive/master.zip