diff --git a/repos/ports/lib/mk/spec/arm/gdbserver_platform_foc.mk b/repos/ports/lib/mk/spec/arm/gdbserver_platform_foc.mk
index 9d12cdff7d..f264dc77a8 100644
--- a/repos/ports/lib/mk/spec/arm/gdbserver_platform_foc.mk
+++ b/repos/ports/lib/mk/spec/arm/gdbserver_platform_foc.mk
@@ -1,3 +1,5 @@
+REQUIRES += foc
+
 SRC_CC = spec/foc_arm/low.cc \
          spec/foc/native_cpu.cc
 
diff --git a/repos/ports/lib/mk/spec/x86_32/gdbserver_platform_foc.mk b/repos/ports/lib/mk/spec/x86_32/gdbserver_platform_foc.mk
index 2c9fd07044..bbeb6d89ea 100644
--- a/repos/ports/lib/mk/spec/x86_32/gdbserver_platform_foc.mk
+++ b/repos/ports/lib/mk/spec/x86_32/gdbserver_platform_foc.mk
@@ -1,3 +1,5 @@
+REQUIRES += foc
+
 SRC_CC = spec/foc_x86_32/low.cc \
          spec/foc/native_cpu.cc
 
diff --git a/repos/ports/lib/mk/spec/x86_32/gdbserver_platform_nova.mk b/repos/ports/lib/mk/spec/x86_32/gdbserver_platform_nova.mk
index 019fc69ee7..96cf479214 100644
--- a/repos/ports/lib/mk/spec/x86_32/gdbserver_platform_nova.mk
+++ b/repos/ports/lib/mk/spec/x86_32/gdbserver_platform_nova.mk
@@ -1,3 +1,5 @@
+REQUIRES += nova
+
 SRC_CC = spec/nova_x86_32/low.cc native_cpu.cc
 
 include $(REP_DIR)/lib/mk/spec/x86_32/gdbserver_platform_x86_32.inc
diff --git a/repos/ports/lib/mk/spec/x86_64/gdbserver_platform_nova.mk b/repos/ports/lib/mk/spec/x86_64/gdbserver_platform_nova.mk
index 9a15abdb89..6d0be647fa 100644
--- a/repos/ports/lib/mk/spec/x86_64/gdbserver_platform_nova.mk
+++ b/repos/ports/lib/mk/spec/x86_64/gdbserver_platform_nova.mk
@@ -1,3 +1,5 @@
+REQUIRES += nova
+
 SRC_CC = spec/nova_x86_64/low.cc native_cpu.cc
 
 include $(REP_DIR)/lib/mk/spec/x86_64/gdbserver_platform_x86_64.inc