From e4e7b37c7ed6b2cd39c34c30f7dcf9369a562496 Mon Sep 17 00:00:00 2001
From: Simon Marlow <simonmar@microsoft.com>
Date: Mon, 20 Nov 2006 14:36:57 +0000
Subject: reorganise PAPI configuration: off by default, even if library is
 found Add GhcRtsWithPapi=YES to mk/build.mk to turn it on

---
 configure.ac | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'configure.ac')

diff --git a/configure.ac b/configure.ac
index a4a229c6c8..f1e5fa2fe5 100644
--- a/configure.ac
+++ b/configure.ac
@@ -1207,9 +1207,11 @@ AC_SUBST(HavePapiLib)
 AC_SUBST(HavePapiHeader)
 
 if test "$HavePapiLib" = "YES" -a "$HavePapiHeader" = "YES"; then
-   USE_PAPI=YES
+   HavePapi=YES
+else
+   HavePapi=NO
 fi
-AC_SUBST(USE_PAPI)
+AC_SUBST(HavePapi)
 
 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])
-- 
cgit v1.2.1