Adding bootstrapping testing script to Makefile
authorandy@galois.com <unknown>
Sun, 14 Oct 2007 17:34:49 +0000 (17:34 +0000)
committerandy@galois.com <unknown>
Sun, 14 Oct 2007 17:34:49 +0000 (17:34 +0000)
tests/Makefile

index 45cbaff..fa35f2e 100644 (file)
@@ -9,4 +9,35 @@ include $(TOP)/mk/test.mk
 HPCDIR=$(TOP)/../utils/hpc
 HPC   = $(HPCDIR)/hpc-std
 
+#
+# This is measuring coverage of the hpc tool itself.
+#  In the hpc directory 
+#   % cd $ROOT/utils/hpc
+# It assumes you have make a copy of hpc that
+#  is not compiled with -fhpc, and called it hpc-std
+#   % make clean ; make boot ; make ; mv hpc hpc-std
+# It assumes that the utils/hpc has been compiled with 
+#   % make clean ; make boot ; make UseStage1=YES EXTRA_HC_OPTS=-fhpc
+#
+#HPCTOOLS_BORING = HpcParser HpcOverlay HpcLexer HpcDraft HpcCombine
+HPCTOOLS_BORING = HpcParser
+BORING_FLAGS    = $(foreach BORING,$(HPCTOOLS_BORING),--exclude=$(BORING))
+COVERAGE_OUT   = tool-coverage.info
+
+HPC_ALL_TIX = hpc-all.tix
+HPC_EXC_TIX = hpc-exceptions.tix
+
+hpc-tool-coverage-clean::
+       find . -name 'hpc.tix' -print | xargs rm -f
+
+hpc-tool-coverage::
+       $(HPC) overlay hpc.ovr --output=$(HPC_EXC_TIX) --srcdir=$(HPCDIR)
+       $(HPC) sum $(shell find . -name 'hpc.tix' -print) $(HPC_EXC_TIX) \
+                       --output=$(HPC_ALL_TIX)  --union
+       date                                                        >> $(COVERAGE_OUT)
+       $(HPC) report $(HPC_ALL_TIX) --srcdir=$(HPCDIR) --xml-output    >> $(COVERAGE_OUT)
+       echo OMIT: $(HPCTOOLS_BORING)                              >> $(COVERAGE_OUT)
+       $(HPC) report $(HPC_ALL_TIX) --srcdir=$(HPCDIR) --xml-output $(BORING_FLAGS) \
+                                                                       >> $(COVERAGE_OUT)
+       $(HPC) markup $(HPC_ALL_TIX) --srcdir=$(HPCDIR) $(BORING_FLAGS) --destdir=html