aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohn MacFarlane <fiddlosopher@gmail.com>2011-10-26 18:28:15 -0700
committerJohn MacFarlane <fiddlosopher@gmail.com>2011-10-26 18:28:15 -0700
commit3475e7ec8b790f87aed9b9fc2f1fd879a9493f17 (patch)
tree4b47aab8d06c669172f37f5eae56944ba38218f0
parentdea38326ab6dcce3b1bbd97ffc27fe274256d996 (diff)
downloadpandoc-3475e7ec8b790f87aed9b9fc2f1fd879a9493f17.tar.gz
Improved make_osx_package.
- Items no longer installed as root. - Man page zipped and given proper permissions.
-rwxr-xr-xmake_osx_package.sh16
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