IPATH=/code/linux-2.6/include
COCCI_ARGS=-include_headers -I $(IPATH)

all: bugreport

check_coccis: find_netif.cocci find_calls.cocci
	spatch -parse_cocci find_netif.cocci
	spatch -parse_cocci find_calls.cocci

find_netif: find_netif.cocci
	../initialize find_netif.cocci $(COCCI_ARGS)

bugreport: find_netif find_calls.cocci
	../instantiate find_netif \
	possible_kfree find_possible_calls.cocci \
	guaranteed_kfree find_calls.cocci
	../make_org_bug_report find_possible_calls possible_bugs -I $(IPATH)
	../make_org_bug_report find_calls bugs -I $(IPATH)