From c2b520fb3602722d39031697227971a57e5bd0a2 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Thu, 6 Sep 2012 13:30:34 -0700
Subject: [PATCH] Makefile:  Build profiling libraries in 'prep', added 'prof'
 target.

---
 Makefile | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 73923dc77..b308d74c2 100644
--- a/Makefile
+++ b/Makefile
@@ -6,8 +6,11 @@
 all:
 	cabal-dev configure --enable-tests --enable-benchmarks && cabal-dev build
 
+prof:
+	cabal-dev configure --enable-library-profiling --enable-executable-profiling && cabal-dev build
+
 prep: pandoc-types citeproc-hs
-	cabal-dev install-deps --enable-tests --enable-benchmarks
+	cabal-dev install-deps --enable-library-profiling --enable-tests --enable-benchmarks
 
 quick:
 	cabal-dev configure --enable-tests --disable-optimization && cabal-dev build