summaryrefslogtreecommitdiff
path: root/emulators/virtualbox-ose-kmod-71
diff options
context:
space:
mode:
Diffstat (limited to 'emulators/virtualbox-ose-kmod-71')
-rw-r--r--emulators/virtualbox-ose-kmod-71/Makefile6
-rw-r--r--emulators/virtualbox-ose-kmod-71/distinfo6
2 files changed, 7 insertions, 5 deletions
diff --git a/emulators/virtualbox-ose-kmod-71/Makefile b/emulators/virtualbox-ose-kmod-71/Makefile
index d0be19651145..804952dba81b 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.10
CATEGORIES= emulators
MASTER_SITES= https://download.virtualbox.org/virtualbox/${DISTVERSION}/
PKGNAMESUFFIX= -kmod-71
@@ -44,11 +44,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>
diff --git a/emulators/virtualbox-ose-kmod-71/distinfo b/emulators/virtualbox-ose-kmod-71/distinfo
index f4e19502a240..51307e08d320 100644
--- a/emulators/virtualbox-ose-kmod-71/distinfo
+++ b/emulators/virtualbox-ose-kmod-71/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1744988632
-SHA256 (VirtualBox-7.1.8.tar.bz2) = 3f7132c55ac6c5f50585bfaa115d29e30b47ccf535cb0a12ff50214ddae2f63d
-SIZE (VirtualBox-7.1.8.tar.bz2) = 215541146
+TIMESTAMP = 1749033863
+SHA256 (VirtualBox-7.1.10.tar.bz2) = 7d60010a4c9102613554b46f61d17b825c30ee59d8be071e52d8aac664ca9869
+SIZE (VirtualBox-7.1.10.tar.bz2) = 233395034