diff options
Diffstat (limited to 'make_osx_package.sh')
| -rwxr-xr-x | make_osx_package.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/make_osx_package.sh b/make_osx_package.sh index aeb42a0bc..1a03d7c15 100755 --- a/make_osx_package.sh +++ b/make_osx_package.sh @@ -16,8 +16,10 @@ echo Building pandoc... sudo cabal-dev install-deps 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 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 chown -R $ME:staff $DIST gzip $ROOT/usr/local/share/man/man?/*.* |