mirror of
https://github.com/jgm/pandoc.git
synced 2026-09-24 15:44:59 +08:00
Makefile: Do submodule updates and install cabal-dev in make prep.
This commit is contained in:
@@ -1,7 +1,7 @@
|
||||
# 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, veryclean, install
|
||||
.PHONY: prep, submodules, all, quick, bench, clean, veryclean, install
|
||||
|
||||
all:
|
||||
cabal-dev configure --enable-tests --enable-benchmarks && cabal-dev build
|
||||
@@ -9,10 +9,14 @@ all:
|
||||
prof:
|
||||
cabal-dev configure --enable-tests --enable-library-profiling --enable-executable-profiling && cabal-dev build
|
||||
|
||||
prep: pandoc-types
|
||||
prep: pandoc-types submodules
|
||||
(cabal-dev --version || (cabal update && cabal install cabal-dev)) && \
|
||||
cabal-dev update && \
|
||||
cabal-dev install-deps --enable-library-profiling --enable-tests --enable-benchmarks
|
||||
|
||||
submodules:
|
||||
git submodule update --init
|
||||
|
||||
quick:
|
||||
cabal-dev configure --enable-tests --disable-optimization && cabal-dev build
|
||||
|
||||
|
||||
Reference in New Issue
Block a user