evade a potential conflict of /bin/bash versus /bin/sh -> dash (notably on Ubuntu and Debian) -- note that execvpe does not exist on old glibc on Ubuntu 10.04 LTS, but the environ should be unchanged;
authorwenzelm
Thu Feb 11 16:29:38 2016 +0100 (2016-02-11)
changeset 62281707f9b182f4f
parent 62280 d9cfe5c3815d
child 62282 45adb8dc84e1
evade a potential conflict of /bin/bash versus /bin/sh -> dash (notably on Ubuntu and Debian) -- note that execvpe does not exist on old glibc on Ubuntu 10.04 LTS, but the environ should be unchanged;
Admin/components/components.sha1
Admin/components/main
Admin/polyml/README
     1.1 --- a/Admin/components/components.sha1	Wed Feb 10 14:40:15 2016 +0100
     1.2 +++ b/Admin/components/components.sha1	Thu Feb 11 16:29:38 2016 +0100
     1.3 @@ -112,6 +112,7 @@
     1.4  b4b624fb5f34d1dc814fb4fb469fafd7d7ea018a  polyml-5.5.3-20150908.tar.gz
     1.5  b668e1f43a41608a8eb365c5e19db6c54c72748a  polyml-5.5.3-20150911.tar.gz
     1.6  1f5cd9b1390dab13861f90dfc06d4180cc107587  polyml-5.5.3-20150916.tar.gz
     1.7 +f78896e588e8ebb4da57bf0c95210b0f0fa9e551  polyml-5.6-1.tar.gz
     1.8  03ba81e595fa6d6df069532d67ad3195c37d9046  polyml-5.6-20151123.tar.gz
     1.9  822f489c18e38ce5ef979ec21dccce4473e09be6  polyml-5.6-20151206.tar.gz
    1.10  bd6a448f0e0d5787747f4f30ca661f9c1868e4a7  polyml-5.6-20151223.tar.gz
     2.1 --- a/Admin/components/main	Wed Feb 10 14:40:15 2016 +0100
     2.2 +++ b/Admin/components/main	Thu Feb 11 16:29:38 2016 +0100
     2.3 @@ -10,7 +10,7 @@
     2.4  jfreechart-1.0.14-1
     2.5  jortho-1.0-2
     2.6  kodkodi-1.5.2
     2.7 -polyml-5.6
     2.8 +polyml-5.6-1
     2.9  scala-2.11.7
    2.10  spass-3.8ds
    2.11  xz-java-1.2-1
     3.1 --- a/Admin/polyml/README	Wed Feb 10 14:40:15 2016 +0100
     3.2 +++ b/Admin/polyml/README	Thu Feb 11 16:29:38 2016 +0100
     3.3 @@ -4,6 +4,17 @@
     3.4  This compilation of Poly/ML 5.6 (http://www.polyml.org) is based on the source
     3.5  distribution from https://github.com/polyml/polyml/releases/tag/v5.6/.
     3.6  
     3.7 +On Linux the sources have changed as follows, in order to evade a
     3.8 +potential conflict of /bin/bash versus /bin/sh -> dash (notably on
     3.9 +Ubuntu and Debian):
    3.10 +
    3.11 +diff -r src-orig/libpolyml/process_env.cpp src/libpolyml/process_env.cpp
    3.12 +228c228
    3.13 +<                 execve("/bin/sh", argv, environ);
    3.14 +---
    3.15 +>                 execvp("bash", argv);
    3.16 +
    3.17 +
    3.18  The included build script is used like this:
    3.19  
    3.20    ./build src x86-linux --with-gmp
    3.21 @@ -18,4 +29,4 @@
    3.22  
    3.23  
    3.24          Makarius
    3.25 -        31-Jan-2016
    3.26 +        11-Feb-2016