diff options
Diffstat (limited to 'devel/hwloc2/Makefile')
| -rw-r--r-- | devel/hwloc2/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/devel/hwloc2/Makefile b/devel/hwloc2/Makefile index 54d8464d3bcb..04930e0ad4a3 100644 --- a/devel/hwloc2/Makefile +++ b/devel/hwloc2/Makefile @@ -1,5 +1,6 @@ PORTNAME= hwloc DISTVERSION= 2.8.0 +PORTREVISION= 1 CATEGORIES= devel MASTER_SITES= https://download.open-mpi.org/release/hwloc/v${PORTVERSION:R}/ PKGNAMESUFFIX= 2 @@ -19,6 +20,7 @@ USE_GNOME= libxml2 CONFLICTS_INSTALL= hwloc GNU_CONFIGURE= yes +GNU_CONFIGURE_MANPREFIX=${PREFIX}/share CONFIGURE_ARGS= --enable-static \ --disable-opencl \ --disable-cuda \ |