incincdir = $(includedir)/valgrind/vki

incinc_HEADERS = \
	vki-linux.h			\
	vki-posixtypes-amd64-linux.h	\
	vki-posixtypes-ppc32-linux.h	\
	vki-posixtypes-ppc64-linux.h	\
	vki-posixtypes-x86-linux.h	\
	vki-amd64-linux.h		\
	vki-ppc32-aix5.h		\
	vki-ppc64-aix5.h		\
	vki-ppc32-linux.h		\
	vki-ppc64-linux.h		\
	vki-x86-linux.h			\
	vki-scnums-amd64-linux.h	\
	vki-scnums-ppc32-linux.h	\
	vki-scnums-ppc64-linux.h	\
	vki-scnums-x86-linux.h		\
	vki-scnums-aix5.h