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.
This commit is contained in:
John MacFarlane 2013-01-22 19:43:32 -08:00
parent 8448b8a386
commit a5da6898c9

View file

@ -1,12 +1,14 @@
@echo off @echo off
cd .. cd ..
cabal update rem cabal update
cabal-dev clean cabal-dev clean
cabal-dev install --reinstall --force-reinstall highlighting-kate
cabal-dev install --reinstall --force-reinstall --flags="embed_data_files" citeproc-hs 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" cabal-dev install --reinstall --force-reinstall --flags="embed_data_files"
if %errorlevel% neq 0 exit /b %errorlevel%
strip cabal-dev\bin\pandoc.exe strip cabal-dev\bin\pandoc.exe
cabal-dev\bin\pandoc.exe -s --template data\templates\default.html -S README -o README.html 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 COPYING COPYING.txt
copy COPYRIGHT COPYRIGHT.txt copy COPYRIGHT COPYRIGHT.txt
cd windows cd windows