Admin/polyml/CHECKLIST
author blanchet
Mon, 19 May 2014 23:43:53 +0200
changeset 57005 33f3d2ea803d
parent 56959 0953208a32c7
child 60123 d990db067a3d
permissions -rw-r--r--
store all MaSh data on the Isabelle side, in preparation for replacing 'mash.py' with ML solution
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
51066
7fc61bfb1c2d updated to polyml-5.5.0-3 based on fixes-5.5 version 1658, which provides important improvements;
wenzelm
parents: 51061
diff changeset
     8
* copy etc/settings
51061
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
* linux: include copy of libgmp.so with symlinks from build host
1f184f8ec10b notes on building Poly/ML;
wenzelm
parents:
diff changeset
    15