From 28ef42cbe7561ec8ce88c6391a9b0f6b53c5ac46 Mon Sep 17 00:00:00 2001
From: Sears Russell <sears@cs.berkeley.edu>
Date: Mon, 3 Mar 2008 06:12:01 +0000
Subject: [PATCH] Uses cmake / ctest to run nightly lcov report.

---
 Makefile.am | 28 ++++++++++++++++++++--------
 1 file changed, 20 insertions(+), 8 deletions(-)

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