diff --git a/proof/Makefile.inc b/proof/Makefile.inc
index 9e8ec9b..9d6ae51 100644
--- a/proof/Makefile.inc
+++ b/proof/Makefile.inc
@@ -1,2 +1,3 @@
 hw-proof-y += hw-mmio_range.adb
 hw-proof-$(CONFIG_HWBASE_DIRECT_PCIDEV) += hw-pci-devinst.ads
+hw-proof-$(CONFIG_HWBASE_LINUX_PCIDEV) += hw-pci-devinst.ads