diff --git a/fpga/lib/CMakeLists.txt b/fpga/lib/CMakeLists.txt
index e25ded1a8..e0f095f71 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
@@ -29,6 +30,7 @@ set(SOURCES
     ips/i2c.cpp
     ips/register.cpp
     ips/axis_cache.cpp
+	ips/zynq.cpp
 
     ips/rtds2gpu/rtds2gpu.cpp
     ips/rtds2gpu/xrtds2gpu.c