yap-6.3/cmake/cudd.cmake



option (WITH_CUDD "BDD CUDD package" ON)

if (WITH_CUDD)
#detect cudd setup, as it is shared between different installations.

find_package(CUDD)
#  CUDD_FOUND       - system has CUDD
#  CUDD_LIBRARIES   - Link these to use CUDD
#  CUDD_INCLUDE_DIR - Include directory for using CUDD
#
macro_log_feature (CUDD_FOUND "CUDD"
    "Use CUDD BDD library"
    "http://vlsi.colorado.edu/~fabio/CUDD/" FALSE)

if (CUDD_FOUND)

    set( CMAKE_REQUIRED_INCLUDES ${CMAKE_REQUIRED_INCLUDES} ${CUDD_INCLUDE_DIR} )

endif (CUDD_FOUND)


endif(WITH_CUDD)
plit cidd testing 2016-07-31 16:29:36 +01:00
fix atom_to_term and increase sharing on CUDD stuff 2016-11-23 23:23:59 +00:00
cmake 2016-08-23 17:15:07 +01:00			`option (WITH_CUDD "BDD CUDD package" ON)`

plit cidd testing 2016-07-31 16:29:36 +01:00			`if (WITH_CUDD)`
fix cmake for CUDD 2016-04-14 23:24:20 +01:00			`#detect cudd setup, as it is shared between different installations.`

			`find_package(CUDD)`
plit cidd testing 2016-07-31 16:29:36 +01:00			`# CUDD_FOUND - system has CUDD`
fix cmake for CUDD 2016-04-14 23:24:20 +01:00			`# CUDD_LIBRARIES - Link these to use CUDD`
			`# CUDD_INCLUDE_DIR - Include directory for using CUDD`
			`#`
cmake 2016-08-23 17:15:07 +01:00			`macro_log_feature (CUDD_FOUND "CUDD"`
			`"Use CUDD BDD library"`
			`"http://vlsi.colorado.edu/~fabio/CUDD/" FALSE)`

plit cidd testing 2016-07-31 16:29:36 +01:00			`if (CUDD_FOUND)`
cmake 2016-08-23 17:15:07 +01:00
plit cidd testing 2016-07-31 16:29:36 +01:00			`set( CMAKE_REQUIRED_INCLUDES ${CMAKE_REQUIRED_INCLUDES} ${CUDD_INCLUDE_DIR} )`
fix cmake for CUDD 2016-04-14 23:24:20 +01:00
plit cidd testing 2016-07-31 16:29:36 +01:00			`endif (CUDD_FOUND)`
fix cmake for CUDD 2016-04-14 23:24:20 +01:00
fix atom_to_term and increase sharing on CUDD stuff 2016-11-23 23:23:59 +00:00
plit cidd testing 2016-07-31 16:29:36 +01:00			`endif(WITH_CUDD)`