X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=configure.ac;h=a4a229c6c8ef577636d1a911806f918f9778a38f;hp=1d28aa8d5acaddaea3b2a66f4a00feb4c9b10556;hb=14591e0d3d238a40d034fb9ddd0ae90688e007eb;hpb=2b522adea22f77a1c03230f5c9865c00bedb5a5b

diff --git a/configure.ac b/configure.ac
index 1d28aa8..a4a229c 100644
--- a/configure.ac
+++ b/configure.ac
@@ -1200,6 +1200,17 @@ if test -n "$GTK_CONFIG"; then
 fi
 AC_SUBST([GTK_CONFIG])
 
+#Checking for PAPI
+AC_CHECK_LIB(papi, PAPI_library_init, HavePapiLib=YES, HavePapiLib=NO)
+AC_CHECK_HEADER([papi.h], [HavePapiHeader=YES], [HavePapiHeader=NO])
+AC_SUBST(HavePapiLib)
+AC_SUBST(HavePapiHeader)
+
+if test "$HavePapiLib" = "YES" -a "$HavePapiHeader" = "YES"; then
+   USE_PAPI=YES
+fi
+AC_SUBST(USE_PAPI)
+
 AC_CONFIG_FILES([mk/config.mk ghc.spec docs/users_guide/ug-book.xml])
 AC_CONFIG_COMMANDS([mk/stamp-h],[echo timestamp > mk/stamp-h])
 AC_OUTPUT