diff options
| author | narboux | 2005-11-08 14:45:16 +0000 |
|---|---|---|
| committer | narboux | 2005-11-08 14:45:16 +0000 |
| commit | f1eaf5a1734e9716be089b2c8ebd14c6d2ec7684 (patch) | |
| tree | 185cc56f2ce00bbd084d2c9203b2a087566a2a27 | |
| parent | e7b510bda246aa4cefc910b7e648600a4d218487 (diff) | |
uninstall ok
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7534 85f007b7-540e-0410-9357-904b9bb8a0f7
| -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" |