Change "IP" to "HOST" in the --server arg.

[haeredes.git] / makefile

diff --git a/makefile b/makefile
index a5901870355a7dcede840d2224c2315eb1b06188..08b02ce805f0bd232e8718fddeb2e9ccf455fdd4 100644 (file)
--- a/makefile
+++ b/makefile
@@ -1,5 +1,6 @@
 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: