CMake: Get static Lib Working to link libyosys / executable

Author: nickrallison

CMakeLists.txt

@@ -1,6 +1,7 @@
 cmake_minimum_required(VERSION 3.13)
 project(yosys LANGUAGES CXX C)
 set(YOSYS_VER "0.50+1")
+set(CMAKE_POSITION_INDEPENDENT_CODE ON)
 
 # features (the more the better)
 
@@ -53,12 +54,12 @@ if (ENABLE_ABC)
     add_subdirectory(abc EXCLUDE_FROM_ALL)
 
     add_custom_command(
-        OUTPUT ${CMAKE_BINARY_DIR}/yosys-abc
+        OUTPUT ${yosys_BINARY_DIR}/yosys-abc
         DEPENDS abc  # Depend on the target, not the generator expression
-        COMMAND ${CMAKE_COMMAND} -E copy $<TARGET_FILE:abc> ${CMAKE_BINARY_DIR}/yosys-abc
+        COMMAND ${CMAKE_COMMAND} -E copy $<TARGET_FILE:abc> ${yosys_BINARY_DIR}/yosys-abc
     )
 
-    add_custom_target(yosys-abc-copy ALL DEPENDS ${CMAKE_BINARY_DIR}/yosys-abc)
+    add_custom_target(yosys-abc-copy ALL DEPENDS ${yosys_BINARY_DIR}/yosys-abc)
 endif()
 
 set(CMAKE_CXX_STANDARD ${CXXSTD})
@@ -73,13 +74,18 @@ find_package(FLEX 2.6 REQUIRED)
 find_package(BISON 3.0 REQUIRED)
 find_package(Python3 3.5 REQUIRED COMPONENTS Interpreter)
 
-add_executable(yosys)
-#target_include_directories(yosys PRIVATE ${CMAKE_CURRENT_BINARY_DIR})
-#target_include_directories(yosys PRIVATE ${CMAKE_CURRENT_SOURCE_DIR})
-#target_compile_definitions(yosys PRIVATE _YOSYS_)
+add_library(yosys STATIC)
+#target_include_directories(yosys PUBLIC ${CMAKE_CURRENT_BINARY_DIR})
+#target_include_directories(yosys PUBLIC ${CMAKE_CURRENT_SOURCE_DIR})
+#target_compile_definitions(yosys PUBLIC _YOSYS_)
 include_directories(${CMAKE_CURRENT_BINARY_DIR} ${CMAKE_CURRENT_SOURCE_DIR})
+target_include_directories(yosys PUBLIC
+    ${CMAKE_CURRENT_BINARY_DIR}
+    ${CMAKE_CURRENT_SOURCE_DIR}
+)
 
 add_compile_definitions(_YOSYS_)
+target_compile_definitions(yosys PUBLIC _YOSYS_)
 
 if (ENABLE_READLINE AND ENABLE_EDITLINE)
     message(FATAL_ERROR "Not possible to enable both ENABLE_READLINE and ENABLE_EDITLINE")
@@ -88,26 +94,26 @@ endif()
 if (ENABLE_READLINE)
     find_package(Readline REQUIRED)
     add_compile_definitions(YOSYS_ENABLE_READLINE)
-    target_link_libraries(yosys PRIVATE ${READLINE_LIBRARY})
+    target_link_libraries(yosys PUBLIC ${READLINE_LIBRARY})
 endif()
 
 if (ENABLE_EDITLINE)
     find_package(Editline REQUIRED)
     add_compile_definitions(YOSYS_ENABLE_EDITLINE)
-    target_link_libraries(yosys PRIVATE ${EDITLINE_LIBRARY})
+    target_link_libraries(yosys PUBLIC ${EDITLINE_LIBRARY})
 endif()
 
 if (ENABLE_TCL)
     find_package(TCL 8.6 REQUIRED)
     add_compile_definitions(YOSYS_ENABLE_TCL)
-    target_include_directories(yosys PRIVATE ${TCL_INCLUDE_PATH})
-    target_link_libraries(yosys PRIVATE ${TCL_LIBRARY})
+    target_include_directories(yosys PUBLIC ${TCL_INCLUDE_PATH})
+    target_link_libraries(yosys PUBLIC ${TCL_LIBRARY})
 endif()
 
 if (ENABLE_ZLIB)
     find_package(ZLIB REQUIRED)
     add_compile_definitions(YOSYS_ENABLE_ZLIB)
-    target_link_libraries(yosys PRIVATE ZLIB::ZLIB)
+    target_link_libraries(yosys PUBLIC ZLIB::ZLIB)
 endif()
 
 if (ENABLE_COVER)
@@ -140,7 +146,7 @@ if (ENABLE_ABC)
     add_compile_definitions(YOSYS_ENABLE_ABC)
     if (LINK_ABC)
         add_compile_definitions(YOSYS_LINK_ABC)
-        target_link_libraries(yosys PRIVATE $<TARGET_FILE:libabc>)
+        target_link_libraries(yosys PUBLIC $<TARGET_FILE:libabc>)
         add_dependencies(yosys libabc)
     endif()        
 endif()
@@ -149,7 +155,7 @@ if (ENABLE_PLUGINS)
     find_package(LibFFI REQUIRED)
     add_compile_definitions(YOSYS_ENABLE_PLUGINS)
     include_directories(${LIBFFI_INCLUDE_DIR})
-    target_link_libraries(yosys PRIVATE ${LIBFFI_LIBRARY})
+    target_link_libraries(yosys PUBLIC ${LIBFFI_LIBRARY})
 endif()
 
 if (DISABLE_SPAWN)
@@ -284,6 +290,19 @@ endif()
 
 set_property(SOURCE kernel/log.cc APPEND PROPERTY COMPILE_DEFINITIONS YOSYS_SRC="${PROJECT_SOURCE_DIR}")
 
+if (ENABLE_LIBYOSYS)
+    add_library(yosys_shared SHARED)
+    target_link_libraries(yosys_shared PUBLIC yosys)
+    set_target_properties(yosys_shared PROPERTIES OUTPUT_NAME yosys)
+    install(TARGETS yosys_shared
+            LIBRARY DESTINATION .)
+endif()
+
+add_executable(yosys_exe
+    kernel/driver.cc)
+target_link_libraries(yosys_exe PUBLIC yosys)
+set_target_properties(yosys_exe PROPERTIES OUTPUT_NAME yosys)
+
 #### yosys-config setup ####
 # compiler
 get_filename_component(_CXX_BASENAME "${CMAKE_CXX_COMPILER}" NAME)
@@ -371,14 +390,14 @@ set(LIBS       "${YOSYS_CFG_LIBS}")
 set(BINDIR     "${YOSYS_CFG_BINDIR}")
 set(DATDIR     "${YOSYS_CFG_DATDIR}")
 
-configure_file(misc/yosys-config.in ${CMAKE_BINARY_DIR}/yosys-config @ONLY)
-file(CHMOD ${CMAKE_BINARY_DIR}/yosys-config
+configure_file(misc/yosys-config.in ${yosys_BINARY_DIR}/yosys-config @ONLY)
+file(CHMOD ${yosys_BINARY_DIR}/yosys-config
         PERMISSIONS OWNER_READ OWNER_WRITE OWNER_EXECUTE
         GROUP_READ GROUP_EXECUTE
         WORLD_READ WORLD_EXECUTE)
 
 add_custom_target(yosys-config-copy ALL
-        DEPENDS ${CMAKE_BINARY_DIR}/yosys-config)
+        DEPENDS ${yosys_BINARY_DIR}/yosys-config)
 
 #### INSTALL ####
 install(TARGETS yosys
@@ -390,7 +409,7 @@ if (ENABLE_ABC)
             RENAME yosys-abc)
 endif()
 
-install(PROGRAMS ${CMAKE_BINARY_DIR}/yosys-config DESTINATION .)
+install(PROGRAMS ${yosys_BINARY_DIR}/yosys-config DESTINATION .)
 
 #### TESTING ####
 include(cmake/TestFiles.cmake)

backends/aiger/CMakeLists.txt

@@ -5,4 +5,4 @@ target_sources(yosys_backends_aiger INTERFACE
     xaiger.cc
 )
 
-target_link_libraries(yosys PRIVATE yosys_backends_aiger)
+target_link_libraries(yosys PUBLIC yosys_backends_aiger)

backends/aiger2/CMakeLists.txt

@@ -4,4 +4,4 @@ target_sources(yosys_backends_aiger2 INTERFACE
     aiger.cc
 )
 
-target_link_libraries(yosys PRIVATE yosys_backends_aiger2)
+target_link_libraries(yosys PUBLIC yosys_backends_aiger2)

backends/blif/CMakeLists.txt

@@ -4,4 +4,4 @@ target_sources(yosys_backends_blif INTERFACE
     blif.cc
 )
 
-target_link_libraries(yosys PRIVATE yosys_backends_blif)
+target_link_libraries(yosys PUBLIC yosys_backends_blif)

backends/btor/CMakeLists.txt

@@ -4,4 +4,4 @@ target_sources(yosys_backends_btor INTERFACE
     btor.cc
 )
 
-target_link_libraries(yosys PRIVATE yosys_backends_btor)
+target_link_libraries(yosys PUBLIC yosys_backends_btor)

backends/cxxrtl/CMakeLists.txt

@@ -4,7 +4,7 @@ target_sources(yosys_backends_cxxrtl INTERFACE
     cxxrtl_backend.cc
 )
 
-target_link_libraries(yosys PRIVATE yosys_backends_cxxrtl)
+target_link_libraries(yosys PUBLIC yosys_backends_cxxrtl)
 
 add_include_file("backends/cxxrtl/runtime/cxxrtl" "runtime/cxxrtl/cxxrtl.h")
 add_include_file("backends/cxxrtl/runtime/cxxrtl" "runtime/cxxrtl/cxxrtl_vcd.h")

backends/edif/CMakeLists.txt

@@ -4,4 +4,4 @@ target_sources(yosys_backends_edif INTERFACE
     edif.cc
 )
 
-target_link_libraries(yosys PRIVATE yosys_backends_edif)
+target_link_libraries(yosys PUBLIC yosys_backends_edif)

backends/firrtl/CMakeLists.txt

@@ -4,4 +4,4 @@ target_sources(yosys_backends_firrtl INTERFACE
     firrtl.cc
 )
 
-target_link_libraries(yosys PRIVATE yosys_backends_firrtl)
+target_link_libraries(yosys PUBLIC yosys_backends_firrtl)

backends/functional/CMakeLists.txt

@@ -7,4 +7,4 @@ target_sources(yosys_backends_functional INTERFACE
     test_generic.cc
 )
 
-target_link_libraries(yosys PRIVATE yosys_backends_functional)
+target_link_libraries(yosys PUBLIC yosys_backends_functional)

backends/intersynth/CMakeLists.txt

@@ -4,4 +4,4 @@ target_sources(yosys_backends_intersynth INTERFACE
     intersynth.cc
 )
 
-target_link_libraries(yosys PRIVATE yosys_backends_intersynth)
+target_link_libraries(yosys PUBLIC yosys_backends_intersynth)