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.
better apply peflags at build time, to avoid antivirus getting nervous about changing executables;
authorwenzelm
Mon, 21 Jan 2013 16:33:54 +0100
changeset 51042 f024975be336
parent 51041 9b062fef2c91
child 51043 bf5f6affa87d
better apply peflags at build time, to avoid antivirus getting nervous about changing executables;
Admin/Windows/Cygwin/isabelle/postinstall file | annotate | diff | comparison | revisions
Admin/polyml/build file | annotate | diff | comparison | revisions 
--- a/Admin/Windows/Cygwin/isabelle/postinstall	Sun Jan 20 15:35:01 2013 +0100
+++ b/Admin/Windows/Cygwin/isabelle/postinstall	Mon Jan 21 16:33:54 2013 +0100
@@ -2,9 +2,6 @@
 
 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
--- a/Admin/polyml/build	Sun Jan 20 15:35:01 2013 +0100
+++ b/Admin/polyml/build	Mon Jan 21 16:33:54 2013 +0100
@@ -92,3 +92,7 @@
 mv "$SOURCE/$TARGET/lib/"* "$TARGET/"
 rmdir "$SOURCE/$TARGET/bin" "$SOURCE/$TARGET/lib"
 rm -rf "$SOURCE/$TARGET/share"
+
+if [ "$TARGET" = x86-cygwin ]; then
+  peflags -x8192000 -z500 "$TARGET/poly.exe"
+fi
isabelle