@@ -1,7 +1,7 @@
11# This Makefile is for development only. It requires cabal-dev.
22# To get started, do 'make prep' and then 'make' or 'make quick'.
33
4−.PHONY: prep, all, quick, bench, clean, veryclean, install
4+.PHONY: prep, submodules, all, quick, bench, clean, veryclean, install
55
66all:
77 cabal-dev configure --enable-tests --enable-benchmarks && cabal-dev build
@@ -9,10 +9,14 @@ all:
99prof:
1010 cabal-dev configure --enable-tests --enable-library-profiling --enable-executable-profiling && cabal-dev build
1111
12−prep: pandoc-types
12+prep: pandoc-types submodules
13+ (cabal-dev --version || (cabal update && cabal install cabal-dev)) && \
1314 cabal-dev update && \
1415 cabal-dev install-deps --enable-library-profiling --enable-tests --enable-benchmarks
1516
17+submodules:
18+ git submodule update --init
19+
1620quick:
1721 cabal-dev configure --enable-tests --disable-optimization && cabal-dev build
1822