From 27bf41d03e2821ccbd5e25681474353b4df779d6 Mon Sep 17 00:00:00 2001
From: Steffen Vogel <stvogel@eonerc.rwth-aachen.de>
Date: Sun, 26 Jun 2016 15:35:08 +0200
Subject: [PATCH] some smaller changes to Makefile

---
 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 53c5d6d67..e2483e7aa 100644
--- a/Makefile
+++ b/Makefile
@@ -65,7 +65,7 @@ endif
 # Enable VILLASfpga support when libpci is available
 ifeq ($(shell pkg-config libpci; echo $$?),0)
 	LIB_OBJS    += fpga.o pci.o ip.o vfio.o
-	LIB_OBJS    += dma.o model.o fifo.o switch.o rtds_axis.o intc.o
+	LIB_OBJS    += dma.o model.o fifo.o switch.o rtds_axis.o intc.o dft.o timer.o bram.o
 	LDLIBS      += -lxil
 	LDFLAGS     += -Lthirdparty/xilinx -Wl,-rpath-link,'$$ORIGIN/thirdparty/xilinx'
 	CFLAGS      += -Ithirdparty/xilinx/include
@@ -113,7 +113,7 @@ all: $(LIBS) $(TARGETS) models
 fpga: LDLIBS += -lpci -lxil
 
 node:   server.o
-fpga:   fpga-main.o fpga-tests.o
+fpga:   fpga-main.o fpga-tests.o fpga-bench.o
 pipe:   pipe.o
 test:   test.o
 signal: signal.o