diff options
| -rwxr-xr-x | make_osx_package.sh | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/make_osx_package.sh b/make_osx_package.sh index 309e005ef..34230e45e 100755 --- a/make_osx_package.sh +++ b/make_osx_package.sh @@ -13,14 +13,14 @@ rm -rf $DIST mkdir -p $RESOURCES echo Building pandoc... -sudo cabal-dev install-deps -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 +cabal-dev install-deps +cabal-dev install --reinstall --force-reinstalls --flags="embed_data_files" citeproc-hs +cabal-dev install --disable-library-for-ghci highlighting-kate +cabal-dev install --prefix=/usr/local --datasubdir=$BASE --docdir=/usr/local/doc/$BASE +cabal-dev copy --destdir=$ROOT # remove library files -sudo rm -r $ROOT/usr/local/lib -sudo chown -R $ME:staff $DIST +rm -r $ROOT/usr/local/lib +chown -R $ME:staff $DIST gzip $ROOT/usr/local/share/man/man?/*.* # cabal gives man pages the wrong permissions |