diff options
| -rw-r--r-- | emulators/virtualbox-ose-kmod-70/Makefile | 4 | ||||
| -rw-r--r-- | emulators/virtualbox-ose-kmod-71/Makefile | 4 | ||||
| -rw-r--r-- | emulators/virtualbox-ose-kmod-legacy/Makefile | 4 | ||||
| -rw-r--r-- | emulators/virtualbox-ose-kmod/Makefile | 4 |
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> |