windowns installer: Removed --disable-library-for-ghci.
This commit is contained in:
parent
294df9deed
commit
613a872c01
1 changed files with 1 additions and 1 deletions
|
@ -2,7 +2,7 @@
|
||||||
cd ..
|
cd ..
|
||||||
cabal update
|
cabal update
|
||||||
cabal-dev clean
|
cabal-dev clean
|
||||||
cabal-dev install --reinstall --force-reinstall --disable-library-for-ghci highlighting-kate
|
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
|
||||||
cabal-dev install --reinstall --force-reinstall --flags="embed_data_files"
|
cabal-dev install --reinstall --force-reinstall --flags="embed_data_files"
|
||||||
strip cabal-dev\bin\pandoc.exe
|
strip cabal-dev\bin\pandoc.exe
|
||||||
|
|
Loading…
Reference in a new issue