diff options
| author | Pierre Boutillier | 2015-06-22 11:49:58 +0200 |
|---|---|---|
| committer | Pierre Boutillier | 2015-06-22 11:49:58 +0200 |
| commit | 6bec099f8487b9d3ec5c44079cf69d3474c73b91 (patch) | |
| tree | b23d8983fa887cc7e7255df455c64d5d54130787 /dev | |
| parent | 07e8eede6670a256a81d9d70133ebbeb64f45fe3 (diff) | |
| parent | 949d027ce8fa94b5c62f938b58c3f85d015b177b (diff) | |
Merge remote-tracking branch 'forge/v8.5'
Diffstat (limited to 'dev')
| -rwxr-xr-x | dev/make-installer-win64.sh | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/dev/make-installer-win64.sh b/dev/make-installer-win64.sh new file mode 100755 index 0000000000..73e1fdbeb2 --- /dev/null +++ b/dev/make-installer-win64.sh @@ -0,0 +1,26 @@ +#!/bin/sh + +NSIS="$BASE/NSIS/makensis" +ZIP=_make.zip +URL1=http://sourceforge.net/projects/gnuwin32/files/make/3.81/make-3.81-bin.zip/download +URL2=http://sourceforge.net/projects/gnuwin32/files/make/3.81/make-3.81-dep.zip/download + +[ -e config/Makefile ] || ./configure -prefix ./ -with-doc no +make -j2 coqide +mkdir -p bin32 +cp bin/* bin32/ +make clean +make archclean +( . ${BASE}_64/environ; ./configure -prefix ./ -with-doc no; make -j2; make ide/coqidetop.cmxs ) +cp bin32/coqide* bin/ +if [ ! -e bin/make.exe ]; then + wget -O $ZIP $URL1 && 7z x $ZIP "bin/*" + wget -O $ZIP $URL2 && 7z x $ZIP "bin/*" + rm -rf $ZIP +fi +VERSION=`grep ^VERSION= config/Makefile | cut -d = -f 2` +cd dev/nsis +"$NSIS" -DVERSION=$VERSION -DGTK_RUNTIME="`cygpath -w $BASE`" coq.nsi +echo Installer: +ls -h $PWD/*exe +cd ../.. |