From fd8ad0413bf7b782142558c112862a8f99b9796d Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Sat, 16 Aug 2014 17:14:33 -0700
Subject: [PATCH] Makefile: Added 'quick' target.
---
Makefile | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/Makefile b/Makefile
index 105160760..0d5b518b4 100644
--- a/Makefile
+++ b/Makefile
@@ -9,6 +9,10 @@ CABALARGS=-fmake-pandoc-man-pages --enable-tests --enable-benchmarks
all: build test
+quick:
+ cabal configure --enable-tests --disable-optimization
+ cabal build
+
deps:
cabal install ${OPTIONS} ${CABALARGS} --only-dependencies