CMakeLists.txt
No OneTemporary
Actions

Authored By

Unknown

Size

717 B

Referenced Files

None

Subscribers

None

CMakeLists.txt
View Options

	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()