aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohn MacFarlane <fiddlosopher@gmail.com>2011-10-24 19:29:56 -0700
committerJohn MacFarlane <fiddlosopher@gmail.com>2011-10-24 19:29:56 -0700
commitc8bc0391a8bccb9b301e9d1ff84dec2aa168691e (patch)
tree49fa561b36cf35c70b8ac7b06c1ed4f490da7eb9
parent858844556a1eed5fa8cd2ef631d4ec4703335856 (diff)
downloadpandoc-c8bc0391a8bccb9b301e9d1ff84dec2aa168691e.tar.gz
Fixed make_osx_package.sh. Closes #288.
-rwxr-xr-xmake_osx_package.sh8
1 files changed, 4 insertions, 4 deletions
diff --git a/make_osx_package.sh b/make_osx_package.sh
index 887a0c973..73cde592d 100755
--- a/make_osx_package.sh
+++ b/make_osx_package.sh
@@ -5,16 +5,16 @@ VERSION=$(grep -e '^Version' pandoc.cabal | awk '{print $2}')
RESOURCES=$DIST/Resources
ROOT=$DIST/pandoc
BASE=pandoc-$VERSION
-PREFIX=$ROOT/usr/local
echo Removing old files...
rm -rf $DIST
mkdir -p $RESOURCES
echo Building pandoc...
-cabal-dev install --disable-library-for-ghci highlighting-kate
-cabal-dev install --flags="embed_data_files" citeproc-hs
-cabal-dev install --flags="executable -library highlighting"
+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
echo Copying license...