Admin/polyml/CHECKLIST
author wenzelm
Sat, 26 Jan 2013 19:53:15 +0100
changeset 51061 1f184f8ec10b
child 51066 7fc61bfb1c2d
permissions -rw-r--r--
notes on building Poly/ML;
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
1f184f8ec10b notes on building Poly/ML;
wenzelm
parents:
diff changeset
     4
* copy README
1f184f8ec10b notes on building Poly/ML;
wenzelm
parents:
diff changeset
     5
1f184f8ec10b notes on building Poly/ML;
wenzelm
parents:
diff changeset
     6
* copy build
1f184f8ec10b notes on building Poly/ML;
wenzelm
parents:
diff changeset
     7
1f184f8ec10b notes on building Poly/ML;
wenzelm
parents:
diff changeset
     8
* copy updated etc/settings
1f184f8ec10b notes on building Poly/ML;
wenzelm
parents:
diff changeset
     9
1f184f8ec10b notes on building Poly/ML;
wenzelm
parents:
diff changeset
    10
* include full source (without symlink)
1f184f8ec10b notes on building Poly/ML;
wenzelm
parents:
diff changeset
    11
1f184f8ec10b notes on building Poly/ML;
wenzelm
parents:
diff changeset
    12
* include sha1 source and binary for each platform
1f184f8ec10b notes on building Poly/ML;
wenzelm
parents:
diff changeset
    13
1f184f8ec10b notes on building Poly/ML;
wenzelm
parents:
diff changeset
    14
* copy polyml script for each platform
1f184f8ec10b notes on building Poly/ML;
wenzelm
parents:
diff changeset
    15
1f184f8ec10b notes on building Poly/ML;
wenzelm
parents:
diff changeset
    16
* linux: include copy of libgmp.so with symlinks from build host
1f184f8ec10b notes on building Poly/ML;
wenzelm
parents:
diff changeset
    17