diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 000000000..73923dc77 --- /dev/null +++ b/Makefile @@ -0,0 +1,30 @@ +# 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, install + +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 && rm -rf pandoc-types citeproc-hs + +pandoc-types: + git clone https://github.com/jgm/pandoc-types && \ + cabal-dev add-source pandoc-types + +citeproc-hs: pandoc-types + git clone https://github.com/jgm/citeproc-hs && \ + cabal-dev add-source citeproc-hs + +install: + cabal-dev install |