diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

plit cidd testing

Browse Source
This commit is contained in:
Vitor Santos Costa 2016-07-31 10:29:36 -05:00
parent 7a7d36a3ef
commit 19ec491d22
1 changed files with 13 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
cmake/cudd.cmake
View File

@ -1,14 +1,21 @@
option (WITH_CUDD "BDD CUDD package" ON)
if (WITH_CUDD)
#detect cudd setup, as it is shared between different installations. #detect cudd setup, as it is shared between different installations.
find_package(CUDD) find_package(CUDD)
# CUDD_FOUND - system has CUDD # CUDD_FOUND - system has CUDD
# CUDD_LIBRARIES - Link these to use CUDD # CUDD_LIBRARIES - Link these to use CUDD
# CUDD_INCLUDE_DIR - Include directory for using CUDD # CUDD_INCLUDE_DIR - Include directory for using CUDD
# #
if (CUDD_FOUND)
set( CMAKE_REQUIRED_INCLUDES ${CMAKE_REQUIRED_INCLUDES} ${CUDD_INCLUDE_DIR} )
macro_log_feature (CUDD_FOUND "CUDD" check_include_files( cudd.h HAVE_CUDD_H )
"Use CUDD Library" check_include_files( "stdio.h;cudd/cudd.h" HAVE_CUDD_CUDD_H )
"http://vlsi.colorado.edu/~fabio/CUDD/" FALSE) check_include_files( cuddInt.h HAVE_CUDDINT_H )
check_include_files( "stdio.h;cudd/cudd.h;cudd/cuddInt.h" HAVE_CUDD_CUDDINT_H )
endif (CUDD_FOUND)
endif(WITH_CUDD)