author | wenzelm |
Wed, 11 Oct 2017 21:41:11 +0200 | |
changeset 66846 | c04f46a6f29d |
parent 66761 | 808e6ddb5a50 |
permissions | -rw-r--r-- |
51061 | 1 |
Notes on building Poly/ML as Isabelle component |
2 |
=============================================== |
|
3 |
||
65880 | 4 |
* component skeleton: |
66846
c04f46a6f29d
back to build_polyml_component according to 54c6ec4166a4 (amending 808e6ddb5a50);
wenzelm
parents:
66761
diff
changeset
|
5 |
$ isabelle build_polyml_component -s sha1 component |
51061 | 6 |
|
65880 | 7 |
* include full source (without symlink), for example: |
8 |
$ wget https://github.com/polyml/polyml/archive/master.zip |