diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2016-04-07 13:52:03 +0200 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2016-04-07 13:52:03 +0200 |
commit | f9ef1441083a988a938e163393dfbab04ab9da18 (patch) | |
tree | 749dbdbcd05f4ce295c532c8d071f65571195745 | |
parent | a585d46fbacfcc9cddf3da439e5f7001d429ba2a (diff) |
Use -win32 and -win64 suffixes for installer name on Windows.
-rwxr-xr-x | dev/make-installer-win32.sh | 2 | ||||
-rwxr-xr-x | dev/make-installer-win64.sh | 2 | ||||
-rwxr-xr-x | dev/nsis/coq.nsi | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/dev/make-installer-win32.sh b/dev/make-installer-win32.sh index d405e66cc..51d428dd1 100755 --- a/dev/make-installer-win32.sh +++ b/dev/make-installer-win32.sh @@ -16,7 +16,7 @@ if [ ! -e bin/make.exe ]; then fi VERSION=`grep ^VERSION= config/Makefile | cut -d = -f 2` cd dev/nsis -"$NSIS" -DVERSION=$VERSION -DGTK_RUNTIME="`cygpath -w $BASE`" coq.nsi +"$NSIS" -DVERSION=$VERSION -DGTK_RUNTIME="`cygpath -w $BASE`" -DARCH="win32" coq.nsi echo Installer: ls -h $PWD/*exe cd ../.. diff --git a/dev/make-installer-win64.sh b/dev/make-installer-win64.sh index 2f765c1a1..438f4ae5b 100755 --- a/dev/make-installer-win64.sh +++ b/dev/make-installer-win64.sh @@ -22,7 +22,7 @@ if [ ! -e bin/make.exe ]; then fi VERSION=`grep ^VERSION= config/Makefile | cut -d = -f 2` cd dev/nsis -"$NSIS" -DVERSION=$VERSION -DGTK_RUNTIME="`cygpath -w $BASE`" coq.nsi +"$NSIS" -DVERSION=$VERSION -DGTK_RUNTIME="`cygpath -w $BASE`" -DARCH="win64" coq.nsi echo Installer: ls -h $PWD/*exe cd ../.. diff --git a/dev/nsis/coq.nsi b/dev/nsis/coq.nsi index 676490510..e1052b1e1 100755 --- a/dev/nsis/coq.nsi +++ b/dev/nsis/coq.nsi @@ -13,7 +13,7 @@ SetCompressor lzma !define MY_PRODUCT "Coq" ;Define your own software name here !define COQ_SRC_PATH "..\.." -!define OUTFILE "coq-installer-${VERSION}.exe" +!define OUTFILE "coq-installer-${VERSION}-${ARCH}.exe" !include "MUI2.nsh" !include "FileAssociation.nsh" |