From 676fd439fd98f71100ffcf5306dcb7704cd11e79 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Wed, 17 Sep 2014 12:01:19 +0200
Subject: win32: use subsystem windows on windows (and not console)

This makes the hammer tools/mkwinapp.ml kind of obsolete
---
 dev/make-installer-win32.sh | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'dev')

diff --git a/dev/make-installer-win32.sh b/dev/make-installer-win32.sh
index acbcb040bc..fce119f779 100755
--- a/dev/make-installer-win32.sh
+++ b/dev/make-installer-win32.sh
@@ -12,9 +12,6 @@ if [ ! -e bin/make.exe ]; then
   wget -O $ZIP $URL2 && 7z x $ZIP "bin/*"
   rm -rf $ZIP
 fi
-ocamlc unix.cma tools/mkwinapp.ml -o bin/mkwinapp.exe
-bin/mkwinapp.exe bin/coqide.exe
-bin/mkwinapp.exe bin/coqide.byte.exe
 VERSION=`grep ^VERSION= config/Makefile | cut -d = -f 2`
 cd dev/nsis
 "$NSIS" -DVERSION=$VERSION -DGTK_RUNTIME="`cygpath -w $BASE`" coq.nsi
-- 
cgit v1.2.3