+$(DOCTESTS_BIN): src/*.hs test/Doctests.hs
+ runghc Setup.hs configure --user --flags=${FLAGS} --enable-tests
+ runghc Setup.hs build
+
+$(TESTSUITE_BIN): src/*.hs test/TestSuite.hs
+ runghc Setup.hs configure --user --flags=${FLAGS} --enable-tests
+ runghc Setup.hs build
+