Add framework for ppc64 support.  Apologies in advance for the
inevitable breakage to other platforms.



git-svn-id: svn://svn.valgrind.org/valgrind/trunk@5250 a5019735-40e9-0310-863c-91ae7b9d1cf9
diff --git a/include/Makefile.am b/include/Makefile.am
index b575825..5b9ed13 100644
--- a/include/Makefile.am
+++ b/include/Makefile.am
@@ -32,7 +32,9 @@
 	vki-linux.h			\
 	vki-amd64-linux.h		\
 	vki-ppc32-linux.h		\
+	vki-ppc64-linux.h		\
 	vki-x86-linux.h			\
 	vki_posixtypes-amd64-linux.h	\
 	vki_posixtypes-ppc32-linux.h	\
+	vki_posixtypes-ppc64-linux.h	\
 	vki_posixtypes-x86-linux.h