blob: acbcb040bc47a80c67a82e6203b9650a26eec3f8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
#!/bin/sh
NSIS="/cygdrive/c/Program Files/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
./configure -prefix ./ -with-doc no
make
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
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
ls *exe
cd ../..
|
