diff options
Diffstat (limited to '')
| -rw-r--r-- | debian/LocalConfig.kmk | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/debian/LocalConfig.kmk b/debian/LocalConfig.kmk new file mode 100644 index 00000000..88a2f7c1 --- /dev/null +++ b/debian/LocalConfig.kmk @@ -0,0 +1,15 @@ +VBOX_WITH_ADDITION_DRIVERS = +VBOX_WITH_INSTALLER = 1 +VBOX_WITH_LINUX_ADDITIONS = 1 +VBOX_WITH_X11_ADDITIONS = 1 +VBOX_WITH_TESTCASES = +VBOX_WITH_TESTSUITE = +VBOX_WITH_ORIGIN := +VBOX_PATH_APP_PRIVATE_ARCH := /usr/lib/virtualbox +VBOX_PATH_SHARED_LIBS := $(VBOX_PATH_APP_PRIVATE_ARCH) +VBOX_WITH_RUNPATH := $(VBOX_PATH_APP_PRIVATE_ARCH) +VBOX_PATH_APP_PRIVATE := /usr/share/virtualbox +VBOX_PATH_APP_DOCS = /usr/share/doc/virtualbox +VBOX_WITH_VBOXBFE := +VBOX_PATH_DOCBOOK_DTD := /usr/share/xml/docbook/schema/dtd/4/ +VBOX_WITH_VBOX_IMG = 1 |