From 326ac5fb06807fa0ce7ee28936f73ffe4fcb24a1 Mon Sep 17 00:00:00 2001 From: narboux Date: Tue, 8 Nov 2005 17:36:17 +0000 Subject: installer windows git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7539 85f007b7-540e-0410-9357-904b9bb8a0f7 --- distrib/windows/coq.nsi | 253 +++++++++++++++++++++++++++++++++++++++++++++ distrib/windows/coq.nsi.in | 253 --------------------------------------------- 2 files changed, 253 insertions(+), 253 deletions(-) create mode 100755 distrib/windows/coq.nsi delete mode 100755 distrib/windows/coq.nsi.in diff --git a/distrib/windows/coq.nsi b/distrib/windows/coq.nsi new file mode 100755 index 0000000000..46a1c1c51a --- /dev/null +++ b/distrib/windows/coq.nsi @@ -0,0 +1,253 @@ +; This script is used to build the Windows install program for Coq. + +;NSIS Modern User Interface +;Written by Joost Verburg +;Modified by Julien Narboux + +; This file is preprocessed by ./configure to subtitute @VERSION@ by the current version. + +!define MY_PRODUCT "Coq" ;Define your own software name here +!define MY_VERSION "@VERSION@" ;Define your own software version here +!define EXE_PATH "..\..\bin\" + +!include "MUI.nsh" + +;-------------------------------- +;Configuration + + Name "Coq" + + ;General + OutFile "Coq_@VERSION@_win32_installer.exe" + + ;Folder selection page + InstallDir "$PROGRAMFILES\${MY_PRODUCT}" + + ;Remember install folder + InstallDirRegKey HKCU "Software\${MY_PRODUCT}" "" + +;Interface Configuration + +; !define MUI_HEADERIMAGE +; !define MUI_HEADERIMAGE_BITMAP "coq_logo.bmp" ; optional +; !define MUI_ABORTWARNING + + +;-------------------------------- +;Modern UI Configuration + + !insertmacro MUI_PAGE_WELCOME + !insertmacro MUI_PAGE_LICENSE "..\..\LICENSE" + !insertmacro MUI_PAGE_COMPONENTS + !insertmacro MUI_PAGE_DIRECTORY + !insertmacro MUI_PAGE_INSTFILES + !insertmacro MUI_PAGE_FINISH + + !insertmacro MUI_UNPAGE_WELCOME + !insertmacro MUI_UNPAGE_CONFIRM + !insertmacro MUI_UNPAGE_INSTFILES + !insertmacro MUI_UNPAGE_FINISH + +;-------------------------------- +;Languages + + !insertmacro MUI_LANGUAGE "English" + +;-------------------------------- +;Language Strings + + ;Description + LangString DESC_1 ${LANG_ENGLISH} "This is the windows version of Coq." + LangString DESC_2 ${LANG_ENGLISH} "This is CoqIde, an interactive development environment for Coq." + LangString DESC_3 ${LANG_ENGLISH} "This will copy the GTK dlls in the installation directory (These files are needed by CoqIde)." + +;-------------------------------- +;Data + +;Function .onInit +; SetOutPath $TEMP +; File /oname=coq_splash.bmp "coq_splash.bmp" +; InitPluginsDir; + +; advsplash::show 1000 600 400 -1 $TEMP\coq_splash + +; Pop $0 ; $0 has '1' if the user closed the splash screen early, +; ; '0' if everything closed normal, and '-1' if some error occured. + +; Delete $TEMP\coq_splash.bmp +;FunctionEnd + + +;-------------------------------- +;Installer Sections + +SetCompress off + +Section "Coq" Sec1 + + ;ADD YOUR OWN STUFF HERE! + + SetOutPath "$INSTDIR\" + + FileOpen $0 $INSTDIR\Coq.bat w + FileWrite $0 "@echo off$\r$\n" + FileWrite $0 "set COQLIB=$INSTDIR\lib$\r$\n" + FileWrite $0 "set COQBIN=$INSTDIR\bin$\r$\n" +; FileWrite $0 "set HOME=\n" + FileWrite $0 "bin\coqtop.opt.exe" + FileClose $0 + + SetOutPath "$INSTDIR\bin" + File /x coqide.* ${EXE_PATH}\*.exe + File "coq.ico" + + SetOutPath "$INSTDIR\lib\theories" + File /r ..\..\theories\*.vo + SetOutPath "$INSTDIR\lib\contrib" + File /r ..\..\contrib\*.vo + SetOutPath "$INSTDIR\lib\theories7" + File /r ..\..\theories7\*.vo + SetOutPath "$INSTDIR\lib\contrib7" + File /r ..\..\contrib7\*.vo + SetOutPath "$INSTDIR\lib\states" + File ..\..\states\initial.coq + SetOutPath "$INSTDIR\lib\states7" + File ..\..\states7\initial.coq + File ..\..\states7\barestate.coq + SetOutPath "$INSTDIR\latex" + File ..\..\tools\coqdoc\coqdoc.sty + File ..\..\tools\coqdoc\style.css + SetOutPath "$INSTDIR\emacs" + File ..\..\tools\*.el + SetOutPath "$INSTDIR\man" + File ..\..\man\*.1 + + ;Store install folder + WriteRegStr HKCU "Software\${MY_PRODUCT}" "" $INSTDIR + + ;Create uninstaller + WriteUninstaller "$INSTDIR\Uninstall.exe" + WriteRegStr HKEY_LOCAL_MACHINE "Software\Microsoft\Windows\CurrentVersion\Uninstall\Coq" \ + "DisplayName" "Coq Version ${MY_VERSION}" + WriteRegStr HKEY_LOCAL_MACHINE "Software\Microsoft\Windows\CurrentVersion\Uninstall\Coq" \ + "UninstallString" '"$INSTDIR\Uninstall.exe"' + + WriteRegStr HKEY_LOCAL_MACHINE "Software\Microsoft\Windows\CurrentVersion\Uninstall\Coq" \ + "DisplayVersion" "${MY_VERSION}" + + WriteRegDWORD HKEY_LOCAL_MACHINE "Software\Microsoft\Windows\CurrentVersion\Uninstall\Coq" \ + "NoModify" "1" + WriteRegDWORD HKEY_LOCAL_MACHINE "Software\Microsoft\Windows\CurrentVersion\Uninstall\Coq" \ + "NoRepair" "1" + + WriteRegStr HKEY_LOCAL_MACHINE "Software\Microsoft\Windows\CurrentVersion\Uninstall\Coq" \ + "URLInfoAbout" "http://coq.inria.fr" + +; Start Menu Entries + +; for the path in the .lnk + SetOutPath "$INSTDIR" + + CreateDirectory "$SMPROGRAMS\Coq" + CreateShortCut "$SMPROGRAMS\Coq\Coq.lnk" "$INSTDIR\Coq.bat" "" "$INSTDIR\bin\coq.ico" 0 + WriteINIStr "$SMPROGRAMS\Coq\Coq-HomePage.url" "InternetShortcut" "URL" "http://coq.inria.fr" + CreateShortCut "$SMPROGRAMS\Coq\Uninstall.lnk" "$INSTDIR\Uninstall.exe" "" "$INSTDIR\Uninstall.exe" 0 + +SectionEnd + +Section "CoqIde" Sec2 + + SetOutPath "$INSTDIR" + + FileOpen $0 $INSTDIR\Coqide.bat w + FileWrite $0 "@echo off$\r$\n" + FileWrite $0 "set COQLIB=$INSTDIR\lib$\r$\n" + FileWrite $0 "set COQBIN=$INSTDIR\bin$\r$\n" + FileWrite $0 "bin\coqide.opt.exe" + FileClose $0 + + File /oname=.coqiderc ..\..\ide\.coqide-gtk2rc + + SetOutPath "$INSTDIR\bin" + File ${EXE_PATH}\coqide.* + + ; Start Menu Entries + CreateShortCut "$SMPROGRAMS\Coq\CoqIde.lnk" "$INSTDIR\Coqide.bat" "" "$INSTDIR\bin\coq.ico" 0 + +SectionEnd + +Section "The GTK DLLs (needed by CoqIde)" Sec3 + + SetOutPath "$INSTDIR\bin" + File /r /x CVS dlls\*.* + +SectionEnd + +;-------------------------------- +;Descriptions + +!insertmacro MUI_FUNCTION_DESCRIPTION_BEGIN + !insertmacro MUI_DESCRIPTION_TEXT ${Sec1} $(DESC_1) + !insertmacro MUI_DESCRIPTION_TEXT ${Sec2} $(DESC_2) + !insertmacro MUI_DESCRIPTION_TEXT ${Sec3} $(DESC_3) +!insertmacro MUI_FUNCTION_DESCRIPTION_END + +;-------------------------------- +;Uninstaller Section + +Section "Uninstall" + +;; Bat + + Delete "$INSTDIR\Coq.bat" + Delete "$INSTDIR\Coqide.bat" + +;; We keep the settings +;; Delete "$INSTDIR\.coqiderc" + +;; Binaries + Delete "$INSTDIR\bin\*.exe" + Delete "$INSTDIR\bin\*.lnk" + +;; Icon + Delete "$INSTDIR\bin\coq.ico" + +;; DLLs + + Delete "$INSTDIR\bin\*.dll" + RMDir /r "$INSTDIR\bin\etc" + RMDir /r "$INSTDIR\bin\lib" + + RMDir "$INSTDIR\bin" + +;; Misc + + Delete "$INSTDIR\latex\coqdoc.sty" + Delete "$INSTDIR\latex\style.css" + RMDir "$INSTDIR\latex" + + Delete "$INSTDIR\man\*.1" + RMDir "$INSTDIR\man" + + Delete "$INSTDIR\emacs\*.el" + RMDir "$INSTDIR\emacs" + +;; Lib + + RMDir /r "$INSTDIR\lib" + +;; Start Menu + Delete "$SMPROGRAMS\Coq\Coq.lnk" + Delete "$SMPROGRAMS\Coq\CoqIde.lnk" + Delete "$SMPROGRAMS\Coq\Uninstall.lnk" + Delete "$SMPROGRAMS\Coq\Coq-HomePage.url" + Delete "$INSTDIR\Uninstall.exe" + + DeleteRegKey /ifempty HKCU "Software\${MY_PRODUCT}" + + DeleteRegKey HKEY_LOCAL_MACHINE "SOFTWARE\Coq" + DeleteRegKey HKEY_LOCAL_MACHINE "SOFTWARE\Microsoft\Windows\CurrentVersion\Uninstall\Coq" + RMDir "$INSTDIR" + RMDir "$SMPROGRAMS\Coq" + +SectionEnd \ No newline at end of file diff --git a/distrib/windows/coq.nsi.in b/distrib/windows/coq.nsi.in deleted file mode 100755 index b23ac87d23..0000000000 --- a/distrib/windows/coq.nsi.in +++ /dev/null @@ -1,253 +0,0 @@ -; This script is used to build the Windows install program for Coq. - -;NSIS Modern User Interface -;Written by Joost Verburg -;Modified by Julien Narboux - -; This file is preprocessed by ./configure to subtitute @VERSION@ by the current version. - -!define MY_PRODUCT "Coq" ;Define your own software name here -!define MY_VERSION "@VERSION@" ;Define your own software version here -!define EXE_PATH "..\..\bin\" - -!include "MUI.nsh" - -;-------------------------------- -;Configuration - - Name "Coq" - - ;General - OutFile "Coq_@VERSION@_win32_installer.exe" - - ;Folder selection page - InstallDir "$PROGRAMFILES\${MY_PRODUCT}" - - ;Remember install folder - InstallDirRegKey HKCU "Software\${MY_PRODUCT}" "" - -;Interface Configuration - -; !define MUI_HEADERIMAGE -; !define MUI_HEADERIMAGE_BITMAP "coq_logo.bmp" ; optional -; !define MUI_ABORTWARNING - - -;-------------------------------- -;Modern UI Configuration - - !insertmacro MUI_PAGE_WELCOME - !insertmacro MUI_PAGE_LICENSE "..\..\LICENSE" - !insertmacro MUI_PAGE_COMPONENTS - !insertmacro MUI_PAGE_DIRECTORY - !insertmacro MUI_PAGE_INSTFILES - !insertmacro MUI_PAGE_FINISH - - !insertmacro MUI_UNPAGE_WELCOME - !insertmacro MUI_UNPAGE_CONFIRM - !insertmacro MUI_UNPAGE_INSTFILES - !insertmacro MUI_UNPAGE_FINISH - -;-------------------------------- -;Languages - - !insertmacro MUI_LANGUAGE "English" - -;-------------------------------- -;Language Strings - - ;Description - LangString DESC_1 ${LANG_ENGLISH} "This is the windows version of Coq." - LangString DESC_2 ${LANG_ENGLISH} "This is CoqIde, an interactive development environment for Coq." - LangString DESC_3 ${LANG_ENGLISH} "This will copy the GTK dlls in the installation directory (These files are needed by CoqIde)." - -;-------------------------------- -;Data - -;Function .onInit -; SetOutPath $TEMP -; File /oname=coq_splash.bmp "coq_splash.bmp" -; InitPluginsDir; - -; advsplash::show 1000 600 400 -1 $TEMP\coq_splash - -; Pop $0 ; $0 has '1' if the user closed the splash screen early, -; ; '0' if everything closed normal, and '-1' if some error occured. - -; Delete $TEMP\coq_splash.bmp -;FunctionEnd - - -;-------------------------------- -;Installer Sections - -SetCompress off - -Section "Coq" Sec1 - - ;ADD YOUR OWN STUFF HERE! - - SetOutPath "$INSTDIR\" - - FileOpen $0 $INSTDIR\Coq.bat w - FileWrite $0 "@echo off$\n" - FileWrite $0 "set COQLIB=$INSTDIR\lib$\r$\n" - FileWrite $0 "set COQBIN=$INSTDIR\bin$\r$\n" -; FileWrite $0 "set HOME=\n" - FileWrite $0 "bin\coqtop.opt.exe" - FileClose $0 - - SetOutPath "$INSTDIR\bin" - File /x coqide.* ${EXE_PATH}\*.exe - File "coq.ico" - - SetOutPath "$INSTDIR\lib\theories" - File /r ..\..\theories\*.vo - SetOutPath "$INSTDIR\lib\contrib" - File /r ..\..\contrib\*.vo - SetOutPath "$INSTDIR\lib\theories7" - File /r ..\..\theories7\*.vo - SetOutPath "$INSTDIR\lib\contrib7" - File /r ..\..\contrib7\*.vo - SetOutPath "$INSTDIR\lib\states" - File ..\..\states\initial.coq - SetOutPath "$INSTDIR\lib\states7" - File ..\..\states7\initial.coq - File ..\..\states7\barestate.coq - SetOutPath "$INSTDIR\latex" - File ..\..\tools\coqdoc\coqdoc.sty - File ..\..\tools\coqdoc\style.css - SetOutPath "$INSTDIR\emacs" - File ..\..\tools\*.el - SetOutPath "$INSTDIR\man" - File ..\..\man\*.1 - - ;Store install folder - WriteRegStr HKCU "Software\${MY_PRODUCT}" "" $INSTDIR - - ;Create uninstaller - WriteUninstaller "$INSTDIR\Uninstall.exe" - WriteRegStr HKEY_LOCAL_MACHINE "Software\Microsoft\Windows\CurrentVersion\Uninstall\Coq" \ - "DisplayName" "Coq Version ${MY_VERSION}" - WriteRegStr HKEY_LOCAL_MACHINE "Software\Microsoft\Windows\CurrentVersion\Uninstall\Coq" \ - "UninstallString" '"$INSTDIR\Uninstall.exe"' - - WriteRegStr HKEY_LOCAL_MACHINE "Software\Microsoft\Windows\CurrentVersion\Uninstall\Coq" \ - "DisplayVersion" "${MY_VERSION}" - - WriteRegDWORD HKEY_LOCAL_MACHINE "Software\Microsoft\Windows\CurrentVersion\Uninstall\Coq" \ - "NoModify" "1" - WriteRegDWORD HKEY_LOCAL_MACHINE "Software\Microsoft\Windows\CurrentVersion\Uninstall\Coq" \ - "NoRepair" "1" - - WriteRegStr HKEY_LOCAL_MACHINE "Software\Microsoft\Windows\CurrentVersion\Uninstall\Coq" \ - "URLInfoAbout" "http://coq.inria.fr" - -; Start Menu Entries - -; for the path in the .lnk - SetOutPath "$INSTDIR" - - CreateDirectory "$SMPROGRAMS\Coq" - CreateShortCut "$SMPROGRAMS\Coq\Coq.lnk" "$INSTDIR\Coq.bat" "" "$INSTDIR\bin\coq.ico" 0 - WriteINIStr "$SMPROGRAMS\Coq\Coq-HomePage.url" "InternetShortcut" "URL" "http://coq.inria.fr" - CreateShortCut "$SMPROGRAMS\Coq\Uninstall.lnk" "$INSTDIR\Uninstall.exe" "" "$INSTDIR\Uninstall.exe" 0 - -SectionEnd - -Section "CoqIde" Sec2 - - SetOutPath "$INSTDIR" - - FileOpen $0 $INSTDIR\Coqide.bat w - FileWrite $0 "@echo off$$\r\n" - FileWrite $0 "set COQLIB=$INSTDIR\lib$\r$\n" - FileWrite $0 "set COQBIN=$INSTDIR\bin$\r$\n" - FileWrite $0 "bin\coqide.opt.exe" - FileClose $0 - - File /oname=.coqiderc ..\..\ide\.coqide-gtk2rc - - SetOutPath "$INSTDIR\bin" - File ${EXE_PATH}\coqide.* - - ; Start Menu Entries - CreateShortCut "$SMPROGRAMS\Coq\CoqIde.lnk" "$INSTDIR\Coqide.bat" "" "$INSTDIR\bin\coq.ico" 0 - -SectionEnd - -Section "The GTK DLLs (needed by CoqIde)" Sec3 - - SetOutPath "$INSTDIR\bin" - File /r /x CVS dlls\*.* - -SectionEnd - -;-------------------------------- -;Descriptions - -!insertmacro MUI_FUNCTION_DESCRIPTION_BEGIN - !insertmacro MUI_DESCRIPTION_TEXT ${Sec1} $(DESC_1) - !insertmacro MUI_DESCRIPTION_TEXT ${Sec2} $(DESC_2) - !insertmacro MUI_DESCRIPTION_TEXT ${Sec3} $(DESC_3) -!insertmacro MUI_FUNCTION_DESCRIPTION_END - -;-------------------------------- -;Uninstaller Section - -Section "Uninstall" - -;; Bat - - Delete "$INSTDIR\Coq.bat" - Delete "$INSTDIR\Coqide.bat" - -;; We keep the settings -;; Delete "$INSTDIR\.coqiderc" - -;; Binaries - Delete "$INSTDIR\bin\*.exe" - Delete "$INSTDIR\bin\*.lnk" - -;; Icon - Delete "$INSTDIR\bin\coq.ico" - -;; DLLs - - Delete "$INSTDIR\bin\*.dll" - RMDir /r "$INSTDIR\bin\etc" - RMDir /r "$INSTDIR\bin\lib" - - RMDir "$INSTDIR\bin" - -;; Misc - - Delete "$INSTDIR\latex\coqdoc.sty" - Delete "$INSTDIR\latex\style.css" - RMDir "$INSTDIR\latex" - - Delete "$INSTDIR\man\*.1" - RMDir "$INSTDIR\man" - - Delete "$INSTDIR\emacs\*.el" - RMDir "$INSTDIR\emacs" - -;; Lib - - RMDir /r "$INSTDIR\lib" - -;; Start Menu - Delete "$SMPROGRAMS\Coq\Coq.lnk" - Delete "$SMPROGRAMS\Coq\CoqIde.lnk" - Delete "$SMPROGRAMS\Coq\Uninstall.lnk" - Delete "$SMPROGRAMS\Coq\Coq-HomePage.url" - Delete "$INSTDIR\Uninstall.exe" - - DeleteRegKey /ifempty HKCU "Software\${MY_PRODUCT}" - - DeleteRegKey HKEY_LOCAL_MACHINE "SOFTWARE\Coq" - DeleteRegKey HKEY_LOCAL_MACHINE "SOFTWARE\Microsoft\Windows\CurrentVersion\Uninstall\Coq" - RMDir "$INSTDIR" - RMDir "$SMPROGRAMS\Coq" - -SectionEnd \ No newline at end of file -- cgit v1.2.3