ports/devel/papi/files/patch-configure
Vanilla I. Shu 81a1776813 1: Upgrade to 5.4.1.
2: move all pkgconfig to libdata/
3: use option helper.
2015-12-09 12:13:04 +00:00

11 lines
499 B
Text

--- configure.orig 2015-12-03 22:41:27 UTC
+++ configure
@@ -6946,7 +6946,7 @@ echo "$as_me: error: PAPI requires FreeB
{ (exit 1); exit 1; }; }
fi
# Determine if HWPMC module is on the kernel
- dmesg | grep hwpmc 2> /dev/null > /dev/null
+ sysctl -a | grep hwpmc 2> /dev/null > /dev/null
if test "$?" != "0" ; then
{ { echo "$as_me:$LINENO: error: HWPMC module not found. (see INSTALL.TXT)" >&5
echo "$as_me: error: HWPMC module not found. (see INSTALL.TXT)" >&2;}