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 * component skeleton: |
4 * component skeleton: |
5 $ isabelle build_polyml_component -s sha1 component |
5 $ isabelle build_polyml_component -s sha1 polyml.tar.gz polyml |
6 |
6 |
7 * include full source (without symlink), for example: |
7 * include full source (without symlink), for example: |
8 $ wget https://github.com/polyml/polyml/archive/master.zip |
8 $ wget https://github.com/polyml/polyml/archive/master.zip |