2016-07-31 16:29:36 +01:00
|
|
|
|
2016-11-23 23:23:59 +00:00
|
|
|
|
2016-08-23 17:15:07 +01:00
|
|
|
option (WITH_CUDD "BDD CUDD package" ON)
|
|
|
|
|
|
2016-07-31 16:29:36 +01:00
|
|
|
if (WITH_CUDD)
|
2016-04-14 23:24:20 +01:00
|
|
|
#detect cudd setup, as it is shared between different installations.
|
|
|
|
|
|
|
|
|
|
find_package(CUDD)
|
2016-07-31 16:29:36 +01:00
|
|
|
# CUDD_FOUND - system has CUDD
|
2016-04-14 23:24:20 +01:00
|
|
|
# CUDD_LIBRARIES - Link these to use CUDD
|
|
|
|
|
# CUDD_INCLUDE_DIR - Include directory for using CUDD
|
|
|
|
|
#
|
2016-08-23 17:15:07 +01:00
|
|
|
|
2016-07-31 16:29:36 +01:00
|
|
|
if (CUDD_FOUND)
|
2016-08-23 17:15:07 +01:00
|
|
|
|
2016-07-31 16:29:36 +01:00
|
|
|
set( CMAKE_REQUIRED_INCLUDES ${CMAKE_REQUIRED_INCLUDES} ${CUDD_INCLUDE_DIR} )
|
2017-10-17 10:56:41 +01:00
|
|
|
check_include_files( "stdio.h;cudd.h" HAVE_CUDD_H )
|
|
|
|
|
check_include_files( "stdio.h;cuddInt.h" HAVE_CUDDINT_H )
|
2017-01-09 15:00:03 +00:00
|
|
|
check_include_files( "stdio.h;cudd/cudd.h" HAVE_CUDD_CUDD_H )
|
|
|
|
|
check_include_files( "stdio.h;cudd/cuddInt.h" HAVE_CUDD_CUDDINT_H )
|
|
|
|
|
configure_file (cmake/cudd_config.h.cmake
|
|
|
|
|
"${CMAKE_CURRENT_BINARY_DIR}/cudd_config.h" )
|
2016-04-14 23:24:20 +01:00
|
|
|
|
2016-07-31 16:29:36 +01:00
|
|
|
endif (CUDD_FOUND)
|
2016-04-14 23:24:20 +01:00
|
|
|
|
2016-11-23 23:23:59 +00:00
|
|
|
|
2016-07-31 16:29:36 +01:00
|
|
|
endif(WITH_CUDD)
|
