diff options
author | John MacFarlane <fiddlosopher@gmail.com> | 2011-10-24 19:29:56 -0700 |
---|---|---|
committer | John MacFarlane <fiddlosopher@gmail.com> | 2011-10-24 19:29:56 -0700 |
commit | c8bc0391a8bccb9b301e9d1ff84dec2aa168691e (patch) | |
tree | 49fa561b36cf35c70b8ac7b06c1ed4f490da7eb9 | |
parent | 858844556a1eed5fa8cd2ef631d4ec4703335856 (diff) | |
download | pandoc-c8bc0391a8bccb9b301e9d1ff84dec2aa168691e.tar.gz |
Fixed make_osx_package.sh. Closes #288.
-rwxr-xr-x | make_osx_package.sh | 8 |
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... |