Admin/polyml/CHECKLIST
changeset 51061 1f184f8ec10b
child 51066 7fc61bfb1c2d
equal deleted inserted replaced
51060:9effce0ce1e1 51061:1f184f8ec10b
       
     1 Notes on building Poly/ML as Isabelle component
       
     2 ===============================================
       
     3 
       
     4 * copy README
       
     5 
       
     6 * copy build
       
     7 
       
     8 * copy updated etc/settings
       
     9 
       
    10 * include full source (without symlink)
       
    11 
       
    12 * include sha1 source and binary for each platform
       
    13 
       
    14 * copy polyml script for each platform
       
    15 
       
    16 * linux: include copy of libgmp.so with symlinks from build host
       
    17