From a5da6898c9f19af89be89cf5b83e1006201678d4 Mon Sep 17 00:00:00 2001 From: John MacFarlane Date: Tue, 22 Jan 2013 19:43:32 -0800 Subject: 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. --- windows/make-windows-installer.bat | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'windows') 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 -- cgit v1.2.3