This repository has been archived on 2023-08-20. You can view files and clone it, but cannot push or open issues or pull requests.
yap-6.3/packages/bdd/simplecudd/CMakeLists.txt

31 lines
452 B
CMake
Raw Normal View History

2015-07-06 14:54:23 +01:00
set (SRC
general.c
problogbdd.c
problogmath.c
simplecudd.c
)
add_executable (Problogbdd
${SRC})
set_target_properties (Problogbdd PROPERTIES
OUTPUT_NAME simplecudd
2015-07-06 14:54:23 +01:00
)
target_link_libraries(Problogbdd
${CUDD_LIBRARIES}
libYap
)
INCLUDE_DIRECTORIES(
${CUDD_INCLUDE_DIR}
${CMAKE_CURRENT_BINARY_DIR}
)
install(TARGETS Problogbdd
RUNTIME DESTINATION ${bindir}
LIBRARY DESTINATION ${dlls}
)