Add a make cocci target

mmokhi · Aug 28, 2014 · 04009dc · 04009dc
1 parent 64d9b92
commit 04009dc
Showing 1 changed file with 19 additions and 0 deletions.
diff --git a/Makefile.am b/Makefile.am
@@ -16,4 +16,23 @@ check-local:
 		--kyuafile='$(top_srcdir)/Kyuafile' \
 		--build-root='$(top_builddir)'
 
+COCCI_ARGS=	-I ${top_srcdir} \
+		-I /usr/include \
+		-I /usr/local/include \
+		-I ${top_srcdir}/libpkg \
+		-I ${top_srcdir}/src \
+		-I ${top_srcdir}/external/expat/lib \
+		-I ${top_srcdir}/external/libyaml/include \
+		-I ${top_srcdir}/external/libucl/include \
+		-I ${top_srcdir}/external/uthash \
+		-I ${top_srcdir}/external/sqlite  \
+		-I ${top_srcdir}/external/libelf
+
+cocci:
+	for c in ${top_srcdir}/tests/cocci/*.cocci ; do \
+		spatch ${COCCI_ARGS} -in_place -sp_file $c -dir libpkg ; \
+		spatch ${COCCI_ARGS} -in_place -sp_file $c -dir src ; \
+	done
+
+
 SUBDIRS = external libpkg src tests scripts docs