Changeset 9513

Timestamp:

06/08/08 06:05:00 (6 months ago)

Author:

vboxsync

Message:

64-bit guest additions: VBOXGUESTR0 must use the same DDK sdk or we'll have to ifdef all the LIBS.

Files:

• trunk/Config.kmk (modified) (1 diff)

trunk/Config.kmk

@@ -2895 +2895 @@
-TEMPLATE_VBOXGUESTR0_EXTENDS    = VBOXR0DRV
-TEMPLATE_VBOXGUESTR0_INST       = $(INST_ADDITIONS)
+ifdef VBOX_WITH_64BIT_ADDITIONS
+TEMPLATE_VBOXGUESTR0_SDKS.win.x86   = WIN32SDK W2K3DDK
+TEMPLATE_VBOXGUESTR0_SDKS.win.amd64 = W2K3DDK WINPSDKINCS
+else
-TEMPLATE_VBOXGUESTR0_SDKS.win.x86   = WIN32SDK W2K3DDKX86
-
+
-ifdef VBOX_WITH_64BIT_ADDITIONS
- TEMPLATE_VBOXGUESTR0_DEFS      = $(TEMPLATE_VBOXR0DRV_DEFS) IN_GUEST IN_GUEST_R0 $(VBOX_GC_ARCH_BITS_DEFS)