Admin/polyml/CHECKLIST
author wenzelm
Wed, 17 May 2017 13:47:19 +0200
changeset 65851 c103358a5559
parent 65032 42b92fa72a51
child 65880 54c6ec4166a4
permissions -rw-r--r--
tuned signature;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
51061
1f184f8ec10b notes on building Poly/ML;
wenzelm
parents:
diff changeset
     1
Notes on building Poly/ML as Isabelle component
1f184f8ec10b notes on building Poly/ML;
wenzelm
parents:
diff changeset
     2
===============================================
1f184f8ec10b notes on building Poly/ML;
wenzelm
parents:
diff changeset
     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
1f184f8ec10b notes on building Poly/ML;
wenzelm
parents:
diff changeset
     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 ...