s14h
/
prism-accumulation
1
0
Fork 0
Code Releases Activity
Browse Source

NSIS script and Makefile changes for Windows installer generation. 

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@105 bbc10eb1-c90d-0410-af57-cb519fbb1720
master
Dave Parker 19 years ago
parent
c002cbd19f
commit
c5715cb37d
2 changed files with 184 additions and 7 deletions
Whitespace
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Unified View
Diff Options
Show Stats Download Patch File Download Diff File
  1. 19
      prism/Makefile
  2. 172
      prism/nsis_script.nsi

19
prism/Makefile
View File

@ -271,7 +271,9 @@ post_make:
dist: dist_copy clean_all dist_files dist_tidy dist: dist_copy clean_all dist_files dist_tidy
VERSION=# default value for VERSION is blank to force provision at command-line
dist_bin: binary dist_tidy dist_bin_copy dist_bin: binary dist_tidy dist_bin_copy
@if [ "$(VERSION)" = "" ]; then echo "Usage: make dist_bin VERSION=3.1"; exit 1; fi
dist_copy: dist_copy:
@echo Adding cudd...; rm -rf cudd && svn -q export https://subversion.cs.bham.ac.uk/svn/dxp/prismsvn/prism/trunk/cudd cudd @echo Adding cudd...; rm -rf cudd && svn -q export https://subversion.cs.bham.ac.uk/svn/dxp/prismsvn/prism/trunk/cudd cudd
@ -279,17 +281,20 @@ dist_copy:
# @echo Adding doc...; test -f ~dxp/prism-dev/doc/manual.pdf && rm -rf doc && mkdir doc && cp ~dxp/prism-dev/doc/manual.pdf doc # @echo Adding doc...; test -f ~dxp/prism-dev/doc/manual.pdf && rm -rf doc && mkdir doc && cp ~dxp/prism-dev/doc/manual.pdf doc
dist_bin_copy: dist_bin_copy:
@BIN_DIST_DIR=`/bin/pwd | sed 's/-src$$//'`"-$(BINDISTSUFFIX)" && \
BIN_DIST_DIR_NAME=`basename $$BIN_DIST_DIR` && \
echo Creating binary distribution in $$BIN_DIST_DIR... && \
mkdir $$BIN_DIST_DIR && \
tar cf - * --exclude classes --exclude obj --exclude cudd --exclude src --exclude include --exclude Makefile | ( cd $$BIN_DIST_DIR; tar xfp -) && \
echo Zipping $$BIN_DIST_DIR_NAME... && \
@if [ "$(VERSION)" = "" ]; then echo "Usage: make dist_bin_copy VERSION=3.1"; exit 1; fi && \
if [ "$(BINDISTSUFFIX)" = "win" ]; then \ if [ "$(BINDISTSUFFIX)" = "win" ]; then \
(cd $$BIN_DIST_DIR/..; zip -rq $$BIN_DIST_DIR_NAME.zip $$BIN_DIST_DIR_NAME); \
echo Building NSIS Windows installer... && \
makensis /DPRISM_NAME="PRISM $(VERSION)" /DPRISM_BUILD="prism-$(VERSION)" /DPRISM_DIR="" nsis_script.nsi; \
else \ else \
BIN_DIST_DIR=`/bin/pwd | sed 's/-src$$//'`"-$(BINDISTSUFFIX)" && \
BIN_DIST_DIR_NAME=`basename $$BIN_DIST_DIR` && \
echo Creating binary distribution in $$BIN_DIST_DIR... && \
mkdir $$BIN_DIST_DIR && \
tar cf - README.txt VERSIONS.txt CHANGELOG.txt COPYING.txt install.sh bin etc lib examples doc | ( cd $$BIN_DIST_DIR; tar xfp -) && \
echo Zipping $$BIN_DIST_DIR_NAME... && \
(cd $$BIN_DIST_DIR/..; tar cfz $$BIN_DIST_DIR_NAME.tar.gz $$BIN_DIST_DIR_NAME); \ (cd $$BIN_DIST_DIR/..; tar cfz $$BIN_DIST_DIR_NAME.tar.gz $$BIN_DIST_DIR_NAME); \
fi fi
# (cd $$BIN_DIST_DIR/..; zip -rq $$BIN_DIST_DIR_NAME.zip $$BIN_DIST_DIR_NAME);
dist_files: dist_files:
@echo Detecting unwanted files... @echo Detecting unwanted files...

172
prism/nsis_script.nsi
View File

@ -0,0 +1,172 @@
# --------------------------------------------------------------------------- #
; Copyright (c) 2006, Mark Kattenbelt
;
; This file is part of PRISM.
;
; PRISM is free software; you can redistribute it and/or modify
; it under the terms of the GNU General Public License as published by
; the Free Software Foundation; either version 2 of the License, or
; (at your option) any later version.
;
; PRISM is distributed in the hope that it will be useful,
; but WITHOUT ANY WARRANTY; without even the implied warranty of
; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
; GNU General Public License for more details.
;
; You should have received a copy of the GNU General Public License
; along with PRISM; if not, write to the Free Software Foundation,
; Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
# --------------------------------------------------------------------------- #
; You should always call makensis in the following way:
;
; > makensis /DPRISM_NAME="PRISM 3.0" /DPRISM_BUILD="prism-3.0"
; /DPRISM_DIR="" installer_script.nsi
;
; Where "PRISM 3.0" is the name of the program displayed to the user, prism-3.0
; is the name of the build (no spaces). The PRISM_DIR variable should be set
; to "" if the working directory is the prism directory or to the prism
; directory otherwise (ending with `\').
# --------------------------------------------------------------------------- #
;Page license ; Uncomment if you want the license page to be shown.
Page components ; Choice in components (shortcuts mostly).
Page directory ; Prompts for directory of installation.
Page instfiles ; Copies the files.
UninstPage uninstConfirm
UninstPage instfiles
# --------------------------------------------------------------------------- #
Name "${PRISM_NAME}"
Icon "${PRISM_DIR}etc\p32.ico"
OutFile "..\${PRISM_BUILD}-win-installer.exe"
CRCCheck on
LicenseText "For your information:" "Next >"
LicenseData "${PRISM_DIR}COPYING.txt"
InstallDir "$PROGRAMFILES\${PRISM_BUILD}"
SubCaption 0 ": Licensing Information"
DirText "Please select an installation folder for ${PRISM_NAME}."
UninstallText "This will uninstall ${PRISM_NAME}, including any examples."
ComponentText "Please select the components you wish to install."
# --------------------------------------------------------------------------- #
Section ""
SetOutPath "$INSTDIR"
;WriteRegStr HKEY_LOCAL_MACHINE "SOFTWARE\University of Birmingham\${PRISM_BUILD}" "" "$INSTDIR"
;WriteRegStr HKEY_LOCAL_MACHINE "Software\Microsoft\Windows\CurrentVersion\Uninstall\${PRISM_BUILD}" "DisplayName" "${PRISM_NAME}(remove only)"
;WriteRegStr HKEY_LOCAL_MACHINE "Software\Microsoft\Windows\CurrentVersion\Uninstall\${PRISM_BUILD}" "UninstallString" '"$INSTDIR\uninstall.exe"'
WriteUninstaller "$INSTDIR\uninstall.exe"
SectionEnd
Section "${PRISM_NAME}"
SectionIn RO ; RO=compulsory
SetOutPath "$INSTDIR"
File /r bin
File /r etc
File /r lib
File "CHANGELOG.txt"
File "COPYING.txt"
FILE "install.sh"
FILE "README.txt"
FILE "VERSIONS.txt"
SetOutPath "$INSTDIR"
File /r examples
SetOutPath "$INSTDIR"
File /r doc
SectionEnd
Section "Desktop shortcut"
SetOutPath "$INSTDIR\bin"
CreateShortCut "$DESKTOP\${PRISM_NAME}.lnk" \
"$INSTDIR\bin\xprism.bat" "" \
"$INSTDIR\etc\p32.ico" 0 \
SW_SHOWNORMAL "" "Runs ${PRISM_NAME} in GUI mode"
SetOutPath "$INSTDIR\doc"
SectionEnd
Section "Start menu shortcuts"
CreateDirectory "$SMPROGRAMS\${PRISM_NAME}"
SetOutPath "$INSTDIR\bin"
CreateShortCut "$SMPROGRAMS\${PRISM_NAME}\${PRISM_NAME}.lnk" \
"$INSTDIR\bin\xprism.bat" "" \
"$INSTDIR\etc\p32.ico" 0 \
SW_SHOWMINIMIZED "" "Runs ${PRISM_NAME} in GUI mode"
CreateShortCut "$SMPROGRAMS\${PRISM_NAME}\${PRISM_NAME} (console).lnk" \
"$SYSDIR\cmd.exe" "" \
"$SYSDIR\cmd.exe" 0 \
SW_SHOWMINIMIZED "" "Opens a console for command-line usage of ${PRISM_NAME}"
SetOutPath "$INSTDIR\doc"
CreateShortCut "$SMPROGRAMS\${PRISM_NAME}\${PRISM_NAME} manual.lnk" \
"$INSTDIR\doc\manual.pdf" "" \
"$INSTDIR\doc\manual.pdf" 0 \
SW_SHOWNORMAL "" "The ${PRISM_NAME} manual"
SetOutPath "$INSTDIR"
CreateShortCut "$SMPROGRAMS\${PRISM_NAME}\${PRISM_NAME} uninstall.lnk" \
"$INSTDIR\uninstall.exe" "" \
"$INSTDIR\uninstall.exe" 0 \
SW_SHOWNORMAL "" "Uninstalls ${PRISM_NAME} from your system"
SectionEnd
Section Uninstall
RMDir /r "$INSTDIR\bin\"
RMDIR /r "$INSTDIR\etc\"
RMDIR /r "$INSTDIR\lib\"
Delete "$INSTDIR\CHANGELOG.txt"
Delete "$INSTDIR\COPYING.txt"
Delete "$INSTDIR\install.sh"
Delete "$INSTDIR\README.txt"
Delete "$INSTDIR\VERSIONS.txt"
RMDir /r "$INSTDIR\examples\"
RMDIR /r "$INSTDIR\doc\"
RMDir /r "$SMPROGRAMS\${PRISM_NAME}"
Delete "$DESKTOP\${PRISM_NAME}.lnk"
;DeleteRegKey HKEY_LOCAL_MACHINE "SOFTWARE\University of Birmingham\${PRISM_BUILD}"
;DeleteRegKey HKEY_LOCAL_MACHINE "SOFTWARE\Microsoft\Windows\CurrentVersion\Uninstall\${PRISM_BUILD}"
Delete $INSTDIR\uninstall.exe
RMDir "$INSTDIR"
SectionEnd
Write Preview
Loading…
Cancel
Save