Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
more generous C stack size as in Linux and Mac OS X, to reduce chance of Cygwin-specific crashes;
authorwenzelm
Fri, 18 Jan 2013 20:16:47 +0100
changeset 50977 983794d3b84f
parent 50976 9efd58e1e07c
child 50978 20edcc6a8def
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;
Admin/Windows/Cygwin/isabelle/postinstall file | annotate | diff | comparison | revisions 
--- a/Admin/Windows/Cygwin/isabelle/postinstall	Fri Jan 18 18:46:52 2013 +0100
+++ b/Admin/Windows/Cygwin/isabelle/postinstall	Fri Jan 18 20:16:47 2013 +0100
@@ -1,7 +1,10 @@
-#!/bin/dash
+#!/bin/bash
 
 PATH=/bin
 
+CONTRIB="$(cygpath -u "$(cygpath -w /)\..")"
+peflags -x8192000 -z500 "$CONTRIB/polyml-5.5.0/x86-cygwin/poly.exe"
+
 bash /etc/postinstall/base-files-mketc.sh.done
 
 mkpasswd -l >/etc/passwd
isabelle