diff options
-rwxr-xr-x | make_osx_package.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/make_osx_package.sh b/make_osx_package.sh index b1dc47bcb..fd31c2ecb 100755 --- a/make_osx_package.sh +++ b/make_osx_package.sh @@ -37,7 +37,9 @@ cat > "$DIST/Info.plist" <<EOF EOF echo Building pandoc... -cabal install --prefix=$PREFIX -fexecutable -f-library -fhighlighting +runghc Setup.hs configure --user --prefix=/usr/local --flags="executable -library highlighting" +runghc Setup.hs build +runghc Setup.hs copy --destdir=$ROOT cp COPYING $RESOURCES/License.txt |