diff options
| -rwxr-xr-x | make_osx_package.sh | 7 |
1 files 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 |