file(GLOB FILENAMES *.cpp)

find_library(BDD_LIBRARY NAMES bdd PATHS /usr/local/lib)
if (BDD_LIBRARY)
    message(STATUS "Found BDD: ${BDD_LIBRARY}")
    #target_link_libraries(convert_bdd ${BDD_LIBRARY})
    #target_include_directories(convert_bdd PRIVATE /usr/local/include)
else()
    message(FATAL_ERROR "bdd library not found!")
endif()

foreach(filename ${FILENAMES})
  get_filename_component(basename ${filename} NAME_WE)
  add_executable(${basename} ${filename})
  target_link_libraries(${basename} PUBLIC mockturtle bdd)
  if(ENABLE_CACHE_STATS)
    add_definitions(-DCACHE_STATS)
  endif()

  if(EXISTS "${CMAKE_CURRENT_SOURCE_DIR}/${basename}.cmake")
    include(${basename}.cmake)
  endif()
endforeach()