From 42e5b7bd3af9a374f91478b01178660c026023b3 Mon Sep 17 00:00:00 2001
From: John MacFarlane <fiddlosopher@gmail.com>
Date: Sun, 23 Oct 2011 18:29:35 -0700
Subject: [PATCH] Modified make_osx_package.sh to use cabal-dev.

---
 make_osx_package.sh | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

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