--- a/src/FaCT++/CMakeLists.txt
+++ b/src/FaCT++/CMakeLists.txt
@@ -14,4 +14,6 @@
 
 # Executable
 add_executable(FaCT++ ${SOURCE_FILES})
-target_link_libraries(FaCT++ LINK_PUBLIC Kernel)
+target_link_libraries(FaCT++ LINK_PUBLIC fact)
+
+install(TARGETS FaCT++ DESTINATION bin)