Admin/polyml/CHECKLIST
author wenzelm
Mon, 31 Aug 2015 22:28:23 +0200
changeset 61071 c6ac3c3fbb85
parent 60123 d990db067a3d
child 63229 f951c624c1a1
permissions -rw-r--r--
support x86_64-windows;
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
60123
d990db067a3d updated polyml according to fixes-5.5.2 SVN version 2007;
wenzelm
parents: 56959
diff changeset
    16
* include copy of "polyml" script