diff options
author | John MacFarlane <fiddlosopher@gmail.com> | 2011-10-26 18:28:15 -0700 |
---|---|---|
committer | John MacFarlane <fiddlosopher@gmail.com> | 2011-10-26 18:28:15 -0700 |
commit | 3475e7ec8b790f87aed9b9fc2f1fd879a9493f17 (patch) | |
tree | 4b47aab8d06c669172f37f5eae56944ba38218f0 | |
parent | dea38326ab6dcce3b1bbd97ffc27fe274256d996 (diff) | |
download | pandoc-3475e7ec8b790f87aed9b9fc2f1fd879a9493f17.tar.gz |
Improved make_osx_package.
- Items no longer installed as root.
- Man page zipped and given proper permissions.
-rwxr-xr-x | make_osx_package.sh | 16 |
1 files changed, 11 insertions, 5 deletions
diff --git a/make_osx_package.sh b/make_osx_package.sh index 73cde592d..bd6802c74 100755 --- a/make_osx_package.sh +++ b/make_osx_package.sh @@ -5,17 +5,23 @@ VERSION=$(grep -e '^Version' pandoc.cabal | awk '{print $2}') RESOURCES=$DIST/Resources ROOT=$DIST/pandoc BASE=pandoc-$VERSION +ME=jgm echo Removing old files... rm -rf $DIST mkdir -p $RESOURCES echo Building pandoc... -cabal-dev install-deps -cabal-dev install --reinstall --disable-library-for-ghci highlighting-kate -cabal-dev install --reinstall --flags="embed_data_files" citeproc-hs -cabal-dev install --prefix=/usr/local --datasubdir=$BASE --docdir=/usr/local/doc/$BASE --flags="executable -library highlighting" -cabal-dev copy --destdir=$ROOT +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 -library highlighting" +sudo cabal-dev copy --destdir=$ROOT +sudo chown -R $ME:staff $DIST + +gzip $ROOT/usr/local/share/man/man?/*.* +# cabal gives man pages the wrong permissions +chmod +r $ROOT/usr/local/share/man/man?/*.* echo Copying license... cp COPYING $RESOURCES/License.txt |