
incincdir = $(includedir)/valgrind

incinc_HEADERS = \
	basic_types.h 			\
	tool.h 				\
	tool_asm.h 			\
	pub_tool_errormgr.h 		\
	pub_tool_execontext.h 		\
	pub_tool_hashtable.h 		\
	pub_tool_libcbase.h 		\
	pub_tool_libcassert.h 		\
	pub_tool_libcfile.h 		\
	pub_tool_libcprint.h 		\
	pub_tool_mallocfree.h 		\
	pub_tool_options.h 		\
	pub_tool_profile.h		\
	pub_tool_replacemalloc.h	\
	pub_tool_skiplist.h 		\
	pub_tool_stacktrace.h 		\
	pub_tool_tooliface.h 		\
	valgrind.h 			\
	vki-linux.h			\
	vki-amd64-linux.h		\
	vki-arm-linux.h			\
	vki-x86-linux.h			\
	vki_posixtypes-amd64-linux.h	\
	vki_posixtypes-arm-linux.h	\
	vki_posixtypes-x86-linux.h