Admin/polyml/CHECKLIST
author wenzelm
Sat, 04 Jun 2016 16:54:23 +0200
changeset 63229 f951c624c1a1
parent 60123 d990db067a3d
child 65032 42b92fa72a51
permissions -rw-r--r--
updated to recent changes of Poly/ML directory layout;
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