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