2015-04-20 01:21:19 +01:00
|
|
|
CMAKE_MINIMUM_REQUIRED ( VERSION 2.8 )
|
|
|
|
|
|
|
|
|
|
PROJECT ( YAP_BDD C )
|
|
|
|
|
|
|
|
|
|
SET ( YAP_BDD_VERSION 0.1)
|
|
|
|
|
|
|
|
|
|
SET(CMAKE_MODULE_PATH ${CMAKE_CURRENT_SOURCE_DIR}/cmake ${CMAKE_MODULE_PATH})
|
|
|
|
|
|
2015-04-21 23:12:18 +01:00
|
|
|
SET( CMAKE_FIND_FRAMEWORK LAST)
|
|
|
|
|
SET( CMAKE_FIND_APPBUNDLE LAST)
|
2015-04-20 01:21:19 +01:00
|
|
|
|
|
|
|
|
if (NOT YAP_FOUND)
|
|
|
|
|
FIND_PACKAGE(YAP REQUIRED)
|
|
|
|
|
ENDIF (NOT YAP_FOUND)
|
|
|
|
|
IF (NOT YAP_FOUND)
|
|
|
|
|
MESSAGE (SEND_ERROR "YAP was not found!")
|
|
|
|
|
ENDIF (NOT YAP_FOUND)
|
|
|
|
|
|
|
|
|
|
macro_optional_find_package (CUDD ON)
|
|
|
|
|
macro_log_feature (CUDD_FOUND "CUDD"
|
|
|
|
|
"Use CUDD Library"
|
|
|
|
|
"http://www.r.org" FALSE)
|
|
|
|
|
IF (CUDD_FOUND)
|
|
|
|
|
# CUDD_FOUND - system has Cudd
|
|
|
|
|
# CUDD_LIBRARIES - Link these to use Cudd
|
|
|
|
|
# CUDD_INCLUDE_DIR - Include directory for using Cudd
|
|
|
|
|
|
|
|
|
|
INCLUDE_DIRECTORIES(
|
|
|
|
|
${YAP_INCLUDE_DIR}
|
|
|
|
|
${CUDD_INCLUDE_DIR}
|
|
|
|
|
${CMAKE_CURRENT_BINARY_DIR}
|
|
|
|
|
.
|
|
|
|
|
)
|
|
|
|
|
|
2015-04-21 23:12:18 +01:00
|
|
|
check_include_file( util.h HAVE_UTIL_H )
|
|
|
|
|
check_include_file( cudd/util.h HAVE_CUDD_UTIL_H )
|
|
|
|
|
check_include_file( cudd.h HAVE_CUDD_H )
|
|
|
|
|
check_include_file( cudd/cudd.h HAVE_CUDD_CUDD_H )
|
|
|
|
|
check_include_file( cuddInt.h HAVE_CUDDINT_H )
|
|
|
|
|
check_include_file( cudd/cuddInt.h HAVE_CUDD_CUDDINT_H )
|
|
|
|
|
|
|
|
|
|
configure_file ("${PROJECT_SOURCE_DIR}/cudd_config.h.cmake"
|
|
|
|
|
"${PROJECT_BINARY_DIR}/cudd_config.h" )
|
|
|
|
|
|
2015-04-20 01:21:19 +01:00
|
|
|
SET ( BDD_SOURCES
|
|
|
|
|
cudd.c
|
|
|
|
|
)
|
|
|
|
|
|
|
|
|
|
ADD_LIBRARY(cudd SHARED ${BDD_SOURCES} )
|
|
|
|
|
|
|
|
|
|
if(DEFINED YAP_MAJOR_VERSION)
|
|
|
|
|
TARGET_LINK_LIBRARIES(cudd
|
|
|
|
|
${CUDD_LIBRARIES}
|
|
|
|
|
libYap
|
|
|
|
|
)
|
|
|
|
|
else()
|
|
|
|
|
TARGET_LINK_LIBRARIES(cudd
|
|
|
|
|
${CUDD_LIBRARIES}
|
|
|
|
|
${YAP_LIBRARY}
|
|
|
|
|
)
|
|
|
|
|
endif()
|
|
|
|
|
|
|
|
|
|
set_target_properties (cudd PROPERTIES PREFIX "")
|
|
|
|
|
|
|
|
|
|
install(TARGETS cudd
|
|
|
|
|
LIBRARY DESTINATION ${dlls}
|
|
|
|
|
)
|
|
|
|
|
|
|
|
|
|
INSTALL(FILES bdd.yap DESTINATION ${libpl})
|
|
|
|
|
INSTALL(FILES ddnnf.yap DESTINATION ${libpl})
|
|
|
|
|
INSTALL(FILES simpbool.yap DESTINATION ${libpl})
|
|
|
|
|
INSTALL(FILES trie_sp.yap DESTINATION ${libpl})
|
|
|
|
|
|
|
|
|
|
ENDIF (CUDD_FOUND)
|
