diff options
| -rwxr-xr-x | distrib/windows/coq.nsi.in | 41 |
1 files changed, 36 insertions, 5 deletions
diff --git a/distrib/windows/coq.nsi.in b/distrib/windows/coq.nsi.in index 8947ad2ae6..31008eefca 100755 --- a/distrib/windows/coq.nsi.in +++ b/distrib/windows/coq.nsi.in @@ -138,7 +138,7 @@ Section "Coq" Sec1 ; Start Menu Entries CreateDirectory "$SMPROGRAMS\Coq" - CreateShortCut "$SMPROGRAMS\Coq\Coq.lnk" "$INSTDIR\Coq.bat" "" "$INSTDIR\coq.ico" 0 + 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 @@ -149,11 +149,13 @@ Section "CoqIde" Sec2 SetOutPath "$INSTDIR" File ..\..\Coqide.bat + 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\coq.ico" 0 + CreateShortCut "$SMPROGRAMS\Coq\CoqIde.lnk" "$INSTDIR\Coqide.bat" "" "$INSTDIR\bin\coq.ico" 0 SectionEnd @@ -178,16 +180,45 @@ SectionEnd 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\coq.ico" + 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" |