diff options
| -rw-r--r-- | Makefile | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 000000000..f8618dce1 --- /dev/null +++ b/Makefile @@ -0,0 +1,27 @@ +# This Makefile is for development only. It requires cabal-dev. +# To get started, do 'make prep' and then 'make' or 'make quick'. + +.PHONY: prep, all, quick, bench, clean +all: + cabal-dev configure --enable-tests --enable-benchmarks && cabal-dev build + +prep: pandoc-types citeproc-hs + cabal-dev install-deps --enable-tests --enable-benchmarks + +quick: + cabal-dev configure --enable-tests --disable-optimization && cabal-dev build + +bench: + cabal-dev configure --enable-benchmarks && cabal-dev build + +clean: + cabal-dev clean + +pandoc-types: + git clone https://github.com/jgm/pandoc-types && \ + cabal-dev add-source pandoc-types + +citeproc-hs: + git clone https://github.com/jgm/citeproc-hs && \ + cabal-dev add-source citeproc-hs + |