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

simplify FindCudd

Browse Source
This commit is contained in:
Vitor Santos Costa 2016-04-15 11:32:22 +01:00
parent ab1b8cea39
commit 631eb4c265
1 changed files with 7 additions and 29 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

36
cmake/FindCUDD.cmake
View File

@ -10,21 +10,12 @@
# Redistribution and use is allowed according to the terms of the BSD license. # Redistribution and use is allowed according to the terms of the BSD license.
# For details see the accompanying COPYING-CMAKE-SCRIPTS file. # For details see the accompanying COPYING-CMAKE-SCRIPTS file.
if (NOT CUDD_ROOT) if (NOT DEFINED CUDD_ROOT)
set(CUDD_ROOT "" CACHE PATH "Root of Cudd compiled source tree.") set(CUDD_ROOT $ENV{CUDD_ROOT})
endif()
set (CUDD_FOUND NO CACHE "system Has CUDD" PARENT_SCOPE)
if (NOT CUDD_ROOT)
set(CUDD_ROOT "" CACHE PATH "Root of Cudd compiled source tree." PARENT_SCOPE)
endif() endif()
# Check if we have cached results in case the last round was successful. # Check if we have cached results in case the last round was successful.
if ( NOT( CUDD_INCLUDE_DIR AND CUDD_LIBRARIES ) OR NOT CUDD_FOUND )
set( CUDD_LDFLAGS )
find_package(PkgConfig) find_package(PkgConfig)
@ -49,17 +40,7 @@ if ( NOT( CUDD_INCLUDE_DIR AND CUDD_LIBRARIES ) OR NOT CUDD_FOUND )
) )
mark_as_advanced (CUDD_INCLUDE_DIR)
if ($ENV{CUDD_ROOT})
set (CUDD_LIB_SEARCH_PATH
$ENV{CUDD_ROOT}/lib
$ENV{CUDD_ROOT}/lib64
$ENV{CUDD_ROOT}/lib-dbg
$ENV{CUDD_ROOT}
$ENV{CUDD_ROOT}/cudd
)
endif ($ENV{CUDD_ROOT})
if (${CUDD_ROOT}) if (${CUDD_ROOT})
set (CUDD_LIB_SEARCH_PATH set (CUDD_LIB_SEARCH_PATH
@ -136,12 +117,9 @@ set(CUDD_LIBRARIES
${CUDD_LIBRARIES} ${CUDD_ST_LIBRARY} ${CUDD_UTIL_LIBRARY} ${CUDD_LIBRARIES} ${CUDD_ST_LIBRARY} ${CUDD_UTIL_LIBRARY}
${CUDD_MTR_LIBRARY} ${CUDD_EPD_LIBRARY} ${CUDD_DDDMP_LIBRARY} ) ${CUDD_MTR_LIBRARY} ${CUDD_EPD_LIBRARY} ${CUDD_DDDMP_LIBRARY} )
endif() endif () # Check for cudd 2.
if ( CUDD_LIBRARIES AND CUDD_INCLUDE_DIR )
set( CUDD_FOUND ON CACHE CACHE "system Has CUDD" FORCE)
endif()
mark_as_advanced (CUDD_FOUND) mark_as_advanced (CUDD_FOUND)
endif () # Check for cached values find_package_handle_standard_args(R DEFAULT_MSG CUDD_LIBRARIES CUDD_INCLUDE_DIR )