Windows package script: use cabal sandbox, not cabal-dev.
This commit is contained in:
parent
f31e002726
commit
7524e8e1f0
1 changed files with 10 additions and 9 deletions
|
@ -1,21 +1,22 @@
|
|||
@echo off
|
||||
cd ..
|
||||
cabal update
|
||||
cabal-dev clean
|
||||
cabal install hsb2hs cabal-dev
|
||||
cabal sandbox init
|
||||
cabal clean
|
||||
cabal install hsb2hs
|
||||
if %errorlevel% neq 0 exit /b %errorlevel%
|
||||
cabal-dev install -v1 --force --reinstall --flags="embed_data_files"
|
||||
cabal install -v1 --force --reinstall --flags="embed_data_files"
|
||||
if %errorlevel% neq 0 exit /b %errorlevel%
|
||||
cabal-dev install -v1 --reinstall --flags="embed_data_files" pandoc-citeproc
|
||||
cabal install -v1 --reinstall --flags="embed_data_files" pandoc-citeproc
|
||||
if %errorlevel% neq 0 exit /b %errorlevel%
|
||||
strip cabal-dev\bin\pandoc.exe
|
||||
strip cabal-dev\bin\pandoc-citeproc.exe
|
||||
cabal-dev\bin\pandoc.exe -s --template data\templates\default.html -S README -o README.html
|
||||
strip .\.cabal-sandbox\bin\pandoc.exe
|
||||
strip .\.cabal-sandbox\bin\pandoc-citeproc.exe
|
||||
\.cabal-sandbox\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
|
||||
.\cabal-sandbox\bin\pandoc.exe -s --template data\templates\default.rtf COPYING -t rtf -S -o COPYING.rtf
|
||||
if %errorlevel% neq 0 exit /b %errorlevel%
|
||||
copy COPYRIGHT COPYRIGHT.txt
|
||||
for /f "tokens=1-2 delims= " %%a in ('cabal-dev\bin\pandoc --version') do (
|
||||
for /f "tokens=1-2 delims= " %%a in ('.\cabal-sandbox\bin\pandoc --version') do (
|
||||
@set VERSION=%%b
|
||||
goto :next
|
||||
)
|
||||
|
|
Loading…
Add table
Reference in a new issue