author | wenzelm |
Fri, 17 Feb 2017 19:37:14 +0100 | |
changeset 65032 | 42b92fa72a51 |
parent 63229 | f951c624c1a1 |
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 ... |