diff options
-rwxr-xr-x | make_osx_package.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/make_osx_package.sh b/make_osx_package.sh index 64db8a5d2..aeb42a0bc 100755 --- a/make_osx_package.sh +++ b/make_osx_package.sh @@ -14,7 +14,7 @@ mkdir -p $RESOURCES echo Building pandoc... sudo cabal-dev install-deps -sudo cabal-dev install --flags="embed_data_files" citeproc-hs +sudo cabal-dev install --reinstall --flags="embed_data_files" citeproc-hs sudo cabal-dev install --disable-library-for-ghci highlighting-kate sudo cabal-dev install --prefix=/usr/local --datasubdir=$BASE --docdir=/usr/local/doc/$BASE --flags="executable blaze_html_0_5 -library" sudo cabal-dev copy --destdir=$ROOT |