diff options
author | John MacFarlane <fiddlosopher@gmail.com> | 2013-01-19 09:41:03 -0800 |
---|---|---|
committer | John MacFarlane <fiddlosopher@gmail.com> | 2013-01-19 09:41:03 -0800 |
commit | 96c4e766695bfa273efab7087632edcc8b0f25aa (patch) | |
tree | 9530b2f942cf1de109a39204c96e855255e0d86e /make_osx_package.sh | |
parent | 83a4e50f76156224221e494d9ac33f28772fa047 (diff) |
Fixed bug in make_osx_package.sh.
Diffstat (limited to 'make_osx_package.sh')
-rwxr-xr-x | make_osx_package.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/make_osx_package.sh b/make_osx_package.sh index 1a03d7c15..309e005ef 100755 --- a/make_osx_package.sh +++ b/make_osx_package.sh @@ -14,12 +14,12 @@ mkdir -p $RESOURCES echo Building pandoc... sudo cabal-dev install-deps -sudo cabal-dev install --reinstall --flags="embed_data_files" citeproc-hs +sudo cabal-dev install --reinstall --force-reinstalls --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 sudo cabal-dev copy --destdir=$ROOT # remove library files -sudo rm -r $ROOT/lib +sudo rm -r $ROOT/usr/local/lib sudo chown -R $ME:staff $DIST gzip $ROOT/usr/local/share/man/man?/*.* |