]> gitweb.michael.orlitzky.com - dead/htsn.git/blobdiff - makefile
Remove more better in `make clean`.
[dead/htsn.git] / makefile
index 5c43e4b383b4136545bd64f9c5f3926a5a92ffc5..32385676c55b7756228f11e614755bd45bb7decb 100644 (file)
--- a/makefile
+++ b/makefile
@@ -1,8 +1,9 @@
 BIN = dist/build/htsn/htsn
+TESTSUITE_BIN = dist/build/testsuite/testsuite
 
 .PHONY : dist hlint
 
-$(BIN): src/*.hs
+$(BIN): src/*.hs src/TSN/*.hs
        runghc Setup.hs clean
        runghc Setup.hs configure --user
        runghc Setup.hs build
@@ -21,9 +22,14 @@ doc: src/*.hs
 
 clean:
        runghc Setup.hs clean
+       rm -f *.log
+       rm -rf tmp
 
+$(TESTSUITE_BIN): src/*.hs test/TestSuite.hs
+       runghc Setup.hs configure --user --enable-tests
+       runghc Setup.hs build
 
-test: $(BIN)
+test: $(BIN) $(TESTSUITE_BIN)
        runghc Setup.hs test
 
 dist: