Makefile: Build profiling libraries in 'prep', added 'prof' target.
commitc2b520fb3602722d39031697227971a57e5bd0a2
authorJohn MacFarlane <jgm@berkeley.edu>
dateThu 6 Sep 2012, 13:30 (14 years ago)
parentcd4408d
Makefile+4−1
@@ -6,8 +6,11 @@
66all:
77 cabal-dev configure --enable-tests --enable-benchmarks && cabal-dev build
88
9+prof:
10+ cabal-dev configure --enable-library-profiling --enable-executable-profiling && cabal-dev build
11+
912prep: pandoc-types citeproc-hs
10− cabal-dev install-deps --enable-tests --enable-benchmarks
13+ cabal-dev install-deps --enable-library-profiling --enable-tests --enable-benchmarks
1114
1215quick:
1316 cabal-dev configure --enable-tests --disable-optimization && cabal-dev build