equal
deleted
inserted
replaced
1 Notes on building Poly/ML as Isabelle component |
1 Notes on building Poly/ML as Isabelle component |
2 =============================================== |
2 =============================================== |
3 |
3 |
4 * include full source (without symlink): |
4 * component skeleton: |
|
5 $ isabelle build_polyml_component -s sha1 component |
|
6 |
|
7 * include full source (without symlink), for example: |
5 $ wget https://github.com/polyml/polyml/archive/master.zip |
8 $ wget https://github.com/polyml/polyml/archive/master.zip |
6 |
|
7 * component outline: |
|
8 $ isabelle build_polyml -C component ... |
|