summaryrefslogtreecommitdiff
path: root/emulators/virtualbox-ose-kmod/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'emulators/virtualbox-ose-kmod/Makefile')
-rw-r--r--emulators/virtualbox-ose-kmod/Makefile6
1 files changed, 4 insertions, 2 deletions
diff --git a/emulators/virtualbox-ose-kmod/Makefile b/emulators/virtualbox-ose-kmod/Makefile
index 28f57d2c777c..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>
@@ -91,7 +93,7 @@ post-patch:
.if ${PORT_OPTIONS:MVIMAGE}
@${ECHO_CMD} 'VBOX_WITH_NETFLT_VIMAGE = 1' >> ${WRKSRC}/LocalConfig.kmk
.endif
- @${REINPLACE_CMD} -e 's|/usr/local|${LOCALBASE}|g' \
+ @${REINPLACE_CMD} -e 's|/usr/local|${LOCALBASE}|g; s|which \$$\*|which \$$1|g' \
${WRKSRC}/Config.kmk ${WRKSRC}/configure
@${REINPLACE_CMD} \
-e 's|\$$KBUILDDIR_BIN/kmk_sed|${LOCALBASE}/bin/kmk_sed|g' \