discontinued python from standard system environment;
authorwenzelm
Fri Oct 24 11:30:39 2014 +0200 (2014-10-24)
changeset 587801f8c0da85664
parent 58779 aeba9ae93dd8
child 58781 c385da5c665e
discontinued python from standard system environment;
Admin/PLATFORMS
Admin/components/components.sha1
Admin/lib/Tools/makedist_cygwin
     1.1 --- a/Admin/PLATFORMS	Fri Oct 24 11:05:19 2014 +0200
     1.2 +++ b/Admin/PLATFORMS	Fri Oct 24 11:30:39 2014 +0200
     1.3 @@ -93,10 +93,8 @@
     1.4    shell /bin/sh is *not* appropriate, because there are too many
     1.5    non-standard implementations of it.
     1.6  
     1.7 -* Perl as largely portable system programming language.  In some
     1.8 -  situations Python may serve as an alternative, but it usually
     1.9 -  performs not as well in addressing various delicate details of
    1.10 -  operating system concepts (processes, signals, sockets etc.).
    1.11 +* Perl as largely portable system programming language, with its
    1.12 +  fairly robust support for processes, signals, sockets etc.
    1.13  
    1.14  * Scala with Java 1.7.  Isabelle/Scala irons out many oddities and
    1.15    portability issues of the Java platform.
     2.1 --- a/Admin/components/components.sha1	Fri Oct 24 11:05:19 2014 +0200
     2.2 +++ b/Admin/components/components.sha1	Fri Oct 24 11:30:39 2014 +0200
     2.3 @@ -11,6 +11,7 @@
     2.4  3dc680d9eb85276e8c3e9f6057dad0efe2d5aa41  cygwin-20140626.tar.gz
     2.5  8e562dfe57a2f894f9461f4addedb88afa108152  cygwin-20140725.tar.gz
     2.6  238d8e30e8e22495b7ea3f5ec36e852e97fe8bbf  cygwin-20140813.tar.gz
     2.7 +629b8fbe35952d1551cd2a7ff08db697f6dff870  cygwin-20141024.tar.gz
     2.8  0fe549949a025d65d52d6deca30554de8fca3b6e  e-1.5.tar.gz
     2.9  2e293256a134eb8e5b1a283361b15eb812fbfbf1  e-1.6-1.tar.gz
    2.10  e1919e72416cbd7ac8de5455caba8901acc7b44d  e-1.6-2.tar.gz
     3.1 --- a/Admin/lib/Tools/makedist_cygwin	Fri Oct 24 11:05:19 2014 +0200
     3.2 +++ b/Admin/lib/Tools/makedist_cygwin	Fri Oct 24 11:30:39 2014 +0200
     3.3 @@ -55,7 +55,7 @@
     3.4    --site "$CYGWIN_MIRROR" --no-verify \
     3.5    --local-package-dir 'C:\temp' \
     3.6    --root "$(cygpath -w "$TARGET")" \
     3.7 -  --packages libgmp3,perl,perl_vendor,python,rlwrap,unzip,vim \
     3.8 +  --packages libgmp3,perl,perl_vendor,rlwrap,unzip,vim \
     3.9    --no-shortcuts --no-startmenu --no-desktop --quiet-mode
    3.10  
    3.11  [ "$?" = 0 -a -e "$TARGET/etc" ] || exit 2