diff options
Diffstat (limited to 'emulators/virtualbox-ose-kmod-71/Makefile')
| -rw-r--r-- | emulators/virtualbox-ose-kmod-71/Makefile | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/emulators/virtualbox-ose-kmod-71/Makefile b/emulators/virtualbox-ose-kmod-71/Makefile index d0be19651145..75f20dc887fc 100644 --- a/emulators/virtualbox-ose-kmod-71/Makefile +++ b/emulators/virtualbox-ose-kmod-71/Makefile @@ -1,5 +1,5 @@ PORTNAME= virtualbox-ose -DISTVERSION= 7.1.8 +DISTVERSION= 7.1.12 CATEGORIES= emulators MASTER_SITES= https://download.virtualbox.org/virtualbox/${DISTVERSION}/ PKGNAMESUFFIX= -kmod-71 @@ -35,7 +35,8 @@ CONFIGURE_ARGS+= --nofatal --with-gcc="${CC}" --with-g++="${CXX}" CONFLICTS_INSTALL= virtualbox-ose-kmod-legacy \ virtualbox-ose-kmod \ - virtualbox-ose-kmod-70 + virtualbox-ose-kmod-70 \ + virtualbox-ose-kmod-72 PATCHDIR= ${.CURDIR}/../${PORTNAME}-71/files PORTSCOUT= limit:^7\.1\. @@ -44,11 +45,13 @@ SUB_LIST= OPSYS=${OPSYS} OSREL=${OSREL} WRKSRC= ${WRKDIR}/VirtualBox-${DISTVERSION} -OPTIONS_DEFINE= DEBUG VIMAGE +OPTIONS_DEFINE= DEBUG INVARIANTS VIMAGE OPTIONS_DEFAULT= VIMAGE OPTIONS_SUB= yes DEBUG_DESC= Debug symbols, additional logs and assertions +INVARIANTS_DESC= Use if kernel is compiled with INVARIANTS option VIMAGE_DESC= VIMAGE virtual networking support +INVARIANTS_CFLAGS= -DINVARIANTS .include <bsd.port.options.mk> |