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
#

if (CUDD_FOUND)

    set( CMAKE_REQUIRED_INCLUDES ${CMAKE_REQUIRED_INCLUDES} ${CUDD_INCLUDE_DIR} )
check_include_files( "stdio.h;cudd.h"  HAVE_CUDD_H )
check_include_files( "stdio.h;cuddInt.h"  HAVE_CUDDINT_H )
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" )

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
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} )`
cuddInt 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 )`
bdd 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" )`
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)`