summaryrefslogtreecommitdiff
path: root/windows/make-windows-installer.bat
diff options
context:
space:
mode:
authorJohn MacFarlane <fiddlosopher@gmail.com>2013-01-22 19:43:32 -0800
committerJohn MacFarlane <fiddlosopher@gmail.com>2013-01-22 19:43:32 -0800
commita5da6898c9f19af89be89cf5b83e1006201678d4 (patch)
tree3da89c4dbfd41efe159aedb14e60704fb99489ee /windows/make-windows-installer.bat
parent8448b8a386c7d173490018d91f0c37d114509012 (diff)
Changes to make-windows-installer.bat.
* Exit batch file if any of the cabal-dev installs fail. * There's no longer any need to reinstall highlighting-kate. * Don't start with a 'cabal update'; leave that to the user.
Diffstat (limited to 'windows/make-windows-installer.bat')
-rw-r--r--windows/make-windows-installer.bat6
1 files changed, 4 insertions, 2 deletions
diff --git a/windows/make-windows-installer.bat b/windows/make-windows-installer.bat
index 5b38b4432..3ffbe1c14 100644
--- a/windows/make-windows-installer.bat
+++ b/windows/make-windows-installer.bat
@@ -1,12 +1,14 @@
@echo off
cd ..
-cabal update
+rem cabal update
cabal-dev clean
-cabal-dev install --reinstall --force-reinstall highlighting-kate
cabal-dev install --reinstall --force-reinstall --flags="embed_data_files" citeproc-hs
+if %errorlevel% neq 0 exit /b %errorlevel%
cabal-dev install --reinstall --force-reinstall --flags="embed_data_files"
+if %errorlevel% neq 0 exit /b %errorlevel%
strip cabal-dev\bin\pandoc.exe
cabal-dev\bin\pandoc.exe -s --template data\templates\default.html -S README -o README.html
+if %errorlevel% neq 0 exit /b %errorlevel%
copy COPYING COPYING.txt
copy COPYRIGHT COPYRIGHT.txt
cd windows