diff --git a/Makefile.am b/Makefile.am
index 8234327..bfa8b12 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -35,14 +35,26 @@ precoverage :
 	find . -name '*.da' | xargs rm -f
 	rm -rf doc/coverage
 
-coverage: all precoverage
+coverage: precoverage
 	echo '(make profile requires CFLAGS="-fprofile-arcs -ftest-coverage -pg -O0")'
-	cd test/lladd
-	make check || true
-	cd ../..
-	lcov -c --directory src/libdfa/ --directory src/lladd/ --directory test/   > tmp.info
-#	lcov -c --directory .  > tmp.info
-	genhtml -o doc/coverage tmp.info
-	rm tmp.info
+#	cd test/lladd
+#	make check || true
+	rm -rf coverage
+	mkdir coverage
+	cp ~/cron_stuff/CMakeCache.txt coverage
+	cd coverage ; pwd
+	cd coverage ; cmake ..
+	cd coverage ; mv DartConfiguration.tcl DartConfiguration.tcl~
+	cd coverage ; perl -ne 's/TimeOut\: 1500/TimeOut\: 3600/;print' < DartConfiguration.tcl~ > DartConfiguration.tcl
+	cd coverage ; make -j 4
+	cd coverage ; ctest || true
+	cd coverage ; lcov -c --directory src/libdfa/ --directory src/stasis/ --directory test/ --directory src/apps/referential/ > tmp.info || true
+	cd coverage ; genhtml -o ../doc/coverage tmp.info || true
+	cd coverage ; rm tmp.info
+#	cd ../..
+#	lcov -c --directory src/libdfa/ --directory src/lladd/ --directory test/   > tmp.info
+##	lcov -c --directory .  > tmp.info
+#	genhtml -o doc/coverage tmp.info
+#	rm tmp.info
 
 .PHONY: docs precoverage coverage