diff --git a/fpga/lib/CMakeLists.txt b/fpga/lib/CMakeLists.txt
index bc7fd9208..681fc2677 100644
--- a/fpga/lib/CMakeLists.txt
+++ b/fpga/lib/CMakeLists.txt
@@ -8,6 +8,7 @@ set(SOURCES
     vlnv.cpp
     card.cpp
     pcie_card.cpp
+    platform_card.cpp
     core.cpp
     node.cpp
     utils.cpp
@@ -28,6 +29,7 @@ set(SOURCES
     ips/timer.cpp
     ips/i2c.cpp
     ips/register.cpp
+	ips/zynq.cpp
 
     ips/rtds2gpu/rtds2gpu.cpp
     ips/rtds2gpu/xrtds2gpu.c