Admin/Windows/Cygwin/isabelle/postinstall
author wenzelm
Fri, 18 Jan 2013 20:16:47 +0100
changeset 51992 983794d3b84f
parent 51822 c065f3d14197
child 51993 20edcc6a8def
permissions -rw-r--r--
more generous C stack size as in Linux and Mac OS X, to reduce chance of Cygwin-specific crashes;
more generous initial C heap within VM;
proper executable;
wenzelm@51992
     1
#!/bin/bash
wenzelm@51822
     2
wenzelm@51822
     3
PATH=/bin
wenzelm@51822
     4
wenzelm@51992
     5
CONTRIB="$(cygpath -u "$(cygpath -w /)\..")"
wenzelm@51992
     6
peflags -x8192000 -z500 "$CONTRIB/polyml-5.5.0/x86-cygwin/poly.exe"
wenzelm@51992
     7
wenzelm@51822
     8
bash /etc/postinstall/base-files-mketc.sh.done
wenzelm@51822
     9
wenzelm@51822
    10
mkpasswd -l >/etc/passwd
wenzelm@51822
    11
mkgroup -l >/etc/group