author | haftmann |
Wed, 05 Apr 2017 13:47:40 +0200 | |
changeset 65389 | 6f9c6ae27984 |
parent 65032 | 42b92fa72a51 |
child 65880 | 54c6ec4166a4 |
permissions | -rw-r--r-- |
51061 | 1 |
Notes on building Poly/ML as Isabelle component |
2 |
=============================================== |
|
3 |
||
65032
42b92fa72a51
updated to polyml-5.7 pre-release from repository;
wenzelm
parents:
63229
diff
changeset
|
4 |
* include full source (without symlink): |
42b92fa72a51
updated to polyml-5.7 pre-release from repository;
wenzelm
parents:
63229
diff
changeset
|
5 |
$ wget https://github.com/polyml/polyml/archive/master.zip |
51061 | 6 |
|
65032
42b92fa72a51
updated to polyml-5.7 pre-release from repository;
wenzelm
parents:
63229
diff
changeset
|
7 |
* component outline: |
42b92fa72a51
updated to polyml-5.7 pre-release from repository;
wenzelm
parents:
63229
diff
changeset
|
8 |
$ isabelle build_polyml -C component ... |