Admin/Windows/Cygwin/isabelle/postinstall
author wenzelm
Fri, 18 Jan 2013 20:24:51 +0100
changeset 50978 20edcc6a8def
parent 50977 983794d3b84f
child 51042 f024975be336
permissions -rwxr-xr-x
more uniform permissions;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
50977
983794d3b84f more generous C stack size as in Linux and Mac OS X, to reduce chance of Cygwin-specific crashes;
wenzelm
parents: 50807
diff changeset
     1
#!/bin/bash
50807
c065f3d14197 clarified cygwin/isabelle scripts;
wenzelm
parents:
diff changeset
     2
c065f3d14197 clarified cygwin/isabelle scripts;
wenzelm
parents:
diff changeset
     3
PATH=/bin
c065f3d14197 clarified cygwin/isabelle scripts;
wenzelm
parents:
diff changeset
     4
50977
983794d3b84f more generous C stack size as in Linux and Mac OS X, to reduce chance of Cygwin-specific crashes;
wenzelm
parents: 50807
diff changeset
     5
CONTRIB="$(cygpath -u "$(cygpath -w /)\..")"
983794d3b84f more generous C stack size as in Linux and Mac OS X, to reduce chance of Cygwin-specific crashes;
wenzelm
parents: 50807
diff changeset
     6
peflags -x8192000 -z500 "$CONTRIB/polyml-5.5.0/x86-cygwin/poly.exe"
983794d3b84f more generous C stack size as in Linux and Mac OS X, to reduce chance of Cygwin-specific crashes;
wenzelm
parents: 50807
diff changeset
     7
50807
c065f3d14197 clarified cygwin/isabelle scripts;
wenzelm
parents:
diff changeset
     8
bash /etc/postinstall/base-files-mketc.sh.done
c065f3d14197 clarified cygwin/isabelle scripts;
wenzelm
parents:
diff changeset
     9
c065f3d14197 clarified cygwin/isabelle scripts;
wenzelm
parents:
diff changeset
    10
mkpasswd -l >/etc/passwd
c065f3d14197 clarified cygwin/isabelle scripts;
wenzelm
parents:
diff changeset
    11
mkgroup -l >/etc/group
50978
20edcc6a8def more uniform permissions;
wenzelm
parents: 50977
diff changeset
    12