From 982757a7d492d2338ccb78367750a081ce037f2a Mon Sep 17 00:00:00 2001
From: Kostis Sagonas <kostis@it.uu.se>
Date: Wed, 20 Feb 2013 02:01:04 +0200
Subject: [PATCH] Change what the main targets do and introduce a 'fast' one

---
 Makefile | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/Makefile b/Makefile
index e17fcf32..a39bd48a 100644
--- a/Makefile
+++ b/Makefile
@@ -17,14 +17,16 @@
 # You should have received a copy of the GNU General Public License
 # along with PropEr.  If not, see <http://www.gnu.org/licenses/>.
 
-# Author:      Manolis Papadakis
+# Author(s):   Manolis Papadakis, Kostis Sagonas
 # Description: Instructions for make
 
-.PHONY: default all compile dialyzer check_escripts tests doc clean distclean rebuild retest
+.PHONY: default fast all get-deps compile dialyzer check_escripts tests doc clean distclean rebuild retest
 
-default: get-deps compile
+default: fast dialyzer
 
-all: compile doc
+fast: get-deps compile
+
+all: default doc tests
 
 include/compile_flags.hrl:
 	./write_compile_flags $@