From 42e5b7bd3af9a374f91478b01178660c026023b3 Mon Sep 17 00:00:00 2001 From: John MacFarlane Date: Sun, 23 Oct 2011 18:29:35 -0700 Subject: Modified make_osx_package.sh to use cabal-dev. --- make_osx_package.sh | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) (limited to 'make_osx_package.sh') diff --git a/make_osx_package.sh b/make_osx_package.sh index c50ad6a83..887a0c973 100755 --- a/make_osx_package.sh +++ b/make_osx_package.sh @@ -12,9 +12,10 @@ rm -rf $DIST mkdir -p $RESOURCES echo Building pandoc... -runghc Setup.hs configure --user --prefix=/usr/local --flags="executable -library highlighting" -runghc Setup.hs build -runghc Setup.hs copy --destdir=$ROOT +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 copy --destdir=$ROOT echo Copying license... cp COPYING $RESOURCES/License.txt -- cgit v1.2.3