diff options
| author | John MacFarlane <fiddlosopher@gmail.com> | 2011-10-23 18:29:35 -0700 |
|---|---|---|
| committer | John MacFarlane <fiddlosopher@gmail.com> | 2011-10-24 00:04:14 -0700 |
| commit | 42e5b7bd3af9a374f91478b01178660c026023b3 (patch) | |
| tree | a96d4253734062f84f1270ee3a8650ad541e77a1 | |
| parent | 8c588a98c6a0b09a70422cd3a583cc707e199418 (diff) | |
| download | pandoc-42e5b7bd3af9a374f91478b01178660c026023b3.tar.gz | |
Modified make_osx_package.sh to use cabal-dev.
| -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 |