diff options
Diffstat (limited to 'windows')
| -rw-r--r-- | windows/make-windows-installer.bat | 9 |
1 files changed, 6 insertions, 3 deletions
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
|