From 480c9ac2c9f588d1e7aa57d2eedd3a32a3421089 Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Tue, 13 Dec 2016 10:58:21 +0100
Subject: [PATCH] gpio: let zynq driver require spec zynq

Ref #55
---
 src/drivers/gpio/spec/zynq/target.mk | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/src/drivers/gpio/spec/zynq/target.mk b/src/drivers/gpio/spec/zynq/target.mk
index 46501bd..24693e5 100644
--- a/src/drivers/gpio/spec/zynq/target.mk
+++ b/src/drivers/gpio/spec/zynq/target.mk
@@ -4,9 +4,10 @@
 
 TARGET   = zynq_gpio_drv
 
-SRC_CC   = main.cc
-LIBS     = base config libc libm stdcxx
-INC_DIR += $(PRG_DIR)
+SRC_CC    = main.cc
+LIBS      = base config libc libm stdcxx
+INC_DIR  += $(PRG_DIR)
+REQUIRES += zynq
 
 vpath main.cc $(PRG_DIR)