diff options
author | 2005-11-08 17:55:21 +0000 | |
---|---|---|
committer | 2005-11-08 17:55:21 +0000 | |
commit | 16b629a975becaa20f1fa5384bbcf2506e0e7dca (patch) | |
tree | c4afc61ec9ec9d886be561d882f5c366c76d2a6a /distrib/windows | |
parent | 326ac5fb06807fa0ce7ee28936f73ffe4fcb24a1 (diff) |
set home
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7540 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'distrib/windows')
-rwxr-xr-x | distrib/windows/coq.nsi | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/distrib/windows/coq.nsi b/distrib/windows/coq.nsi index 46a1c1c51..8e364d91a 100755 --- a/distrib/windows/coq.nsi +++ b/distrib/windows/coq.nsi @@ -82,6 +82,7 @@ ;Installer Sections SetCompress off +; Comment out after debuging. Section "Coq" Sec1 @@ -93,7 +94,7 @@ Section "Coq" Sec1 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 "set HOME=%HOMEPATH%$\r$\n" FileWrite $0 "bin\coqtop.opt.exe" FileClose $0 @@ -163,6 +164,7 @@ Section "CoqIde" Sec2 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=%HOMEPATH%$\r$\n" FileWrite $0 "bin\coqide.opt.exe" FileClose $0 |