summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--emulators/virtualbox-ose-kmod-70/Makefile4
-rw-r--r--emulators/virtualbox-ose-kmod-71/Makefile4
-rw-r--r--emulators/virtualbox-ose-kmod-legacy/Makefile4
-rw-r--r--emulators/virtualbox-ose-kmod/Makefile4
4 files changed, 12 insertions, 4 deletions
diff --git a/emulators/virtualbox-ose-kmod-70/Makefile b/emulators/virtualbox-ose-kmod-70/Makefile
index 411534590df1..aecfea40859f 100644
--- a/emulators/virtualbox-ose-kmod-70/Makefile
+++ b/emulators/virtualbox-ose-kmod-70/Makefile
@@ -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/Makefile b/emulators/virtualbox-ose-kmod-71/Makefile
index d0be19651145..aec0dbb7a952 100644
--- a/emulators/virtualbox-ose-kmod-71/Makefile
+++ b/emulators/virtualbox-ose-kmod-71/Makefile
@@ -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-legacy/Makefile b/emulators/virtualbox-ose-kmod-legacy/Makefile
index 424fd42ee14f..15eb47c2a4a1 100644
--- a/emulators/virtualbox-ose-kmod-legacy/Makefile
+++ b/emulators/virtualbox-ose-kmod-legacy/Makefile
@@ -45,13 +45,15 @@ SUB_LIST= OPSYS=${OPSYS} OSREL=${OSREL}
WRKSRC= ${WRKDIR}/VirtualBox-${DISTVERSION}
-OPTIONS_DEFINE= DEBUG VIMAGE
+OPTIONS_DEFINE= DEBUG INVARIANTS VIMAGE
OPTIONS_DEFINE_i386= PAE
OPTIONS_DEFAULT= VIMAGE
OPTIONS_SUB= yes
DEBUG_DESC= Debug symbols, additional logs and assertions
+INVARIANTS_DESC= Use if kernel is compiled with INVARIANTS option
PAE_DESC= Build kernel modules for PAE-kernels
VIMAGE_DESC= VIMAGE virtual networking support
+INVARIANTS_CFLAGS= -DINVARIANTS
.include <bsd.port.options.mk>
diff --git a/emulators/virtualbox-ose-kmod/Makefile b/emulators/virtualbox-ose-kmod/Makefile
index d99d0ef6f084..dd7d18bbdde5 100644
--- a/emulators/virtualbox-ose-kmod/Makefile
+++ b/emulators/virtualbox-ose-kmod/Makefile
@@ -45,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>