X-Git-Url: https://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=makefile;h=08b02ce805f0bd232e8718fddeb2e9ccf455fdd4;hb=6d6ca7e5ef6a8a7220e82f51b28ce369c1a0b233;hp=c04b61b790a4a0967fa619cd7c6ea7bb2fc20c3f;hpb=e5168c9d5f32912d4e77713935e8c09a468bfd01;p=haeredes.git

diff --git a/makefile b/makefile
index c04b61b..08b02ce 100644
--- a/makefile
+++ b/makefile
@@ -1,5 +1,6 @@
-BIN           = dist/build/haeres/haeres
+BIN           = dist/build/haeredes/haeredes
 TESTSUITE_BIN = dist/build/testsuite/testsuite
+DOCTESTS_BIN  = dist/build/doctests/doctests
 
 .PHONY : dist doc test
 
@@ -12,10 +13,14 @@ $(TESTSUITE_BIN): src/*.hs test/TestSuite.hs
 	runghc Setup.hs configure --user --enable-tests
 	runghc Setup.hs build
 
+$(DOCTESTS_BIN): src/*.hs test/Doctests.hs
+	runghc Setup.hs configure --user --enable-tests
+	runghc Setup.hs build
+
 clean:
 	runghc Setup.hs clean
 
-test: $(BIN) $(TESTSUITE_BIN)
+test: $(BIN) $(TESTSUITE_BIN) $(DOCTESTS_BIN)
 	runghc Setup.hs test
 
 doc: