# *created  "Mon Sep 28 08:22:49 2015" *by "Paul E. Black"
# *modified "Fri Dec  4 16:46:55 2015" *by "Paul E. Black"
#
# SATE V Ockham Criteria
#
# Extract all warnings from the Frama-C reports into one file and 
# classify each one.
#

all: frama_c_warnings.csv

frama_c_warnings.csv: extract_warnings ../frama_c_report.allocfail.xml ../frama_c_report.succalloc.xml
	@echo "Extract all warnings from Frama_C reports into one CSV format file"
	# Note: processing needs sort -u because many warnings are produced 
	# twice, once for each run of Frama-C.
	-mv -f $@ $@.bak
	./extract_warnings ../frama_c_report.allocfail.xml ../frama_c_report.succalloc.xml | sort -u > $@
	wc $@ $@.bak

clean:
	rm -f frama_c_warnings.csv

# end of Makefile
