From e3775528dd8419fd58bfd1a801065c0adb147bf0 Mon Sep 17 00:00:00 2001 From: John MacFarlane Date: Sat, 14 Sep 2013 16:06:54 -0700 Subject: Updated windows installer batch file. --- windows/make-windows-installer.bat | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) (limited to 'windows') diff --git a/windows/make-windows-installer.bat b/windows/make-windows-installer.bat index 5890479ae..6dcc361e6 100644 --- a/windows/make-windows-installer.bat +++ b/windows/make-windows-installer.bat @@ -2,12 +2,15 @@ cd .. cabal update cabal-dev clean +cabal install hsb2hs cabal-dev if %errorlevel% neq 0 exit /b %errorlevel% -cabal-dev install hsb2hs -cabal-dev install --only-dependencies --force --reinstall --flags="embed_data_files" -cabal-dev install --reinstall --flags="embed_data_files" +cabal-dev install -v1 --reinstall --flags="embed_data_files" pandoc-citeproc +if %errorlevel% neq 0 exit /b %errorlevel% +cabal-dev install -v1 --reinstall --flags="embed_data_files" if %errorlevel% neq 0 exit /b %errorlevel% strip cabal-dev\bin\pandoc.exe +strip cabal-dev\bin\pandoc-citeproc.exe +strip cabal-dev\bin\biblio2yaml.exe cabal-dev\bin\pandoc.exe -s --template data\templates\default.html -S README -o README.html if %errorlevel% neq 0 exit /b %errorlevel% cabal-dev\bin\pandoc.exe -s --template data\templates\default.rtf COPYING -t rtf -S -o COPYING.rtf -- cgit v1.2.3