50c8724322
file exists system predicate $source_file -> $user source hide and make system preds fix check_head_and_body user_expansion never fails goal expansion is controlled b dynamic procedure add must_be_of_type predicate_indicator fix neat_call, debug flag is user controlled use simplecudd, not ptoblogbdd compile all of myddas fx junk in file_name fix warnings use common file opening struct and funds avoid pairs module fix db queues
31 lines
452 B
CMake
31 lines
452 B
CMake
set (SRC
|
|
general.c
|
|
problogbdd.c
|
|
problogmath.c
|
|
simplecudd.c
|
|
)
|
|
|
|
|
|
add_executable (Problogbdd
|
|
${SRC})
|
|
|
|
set_target_properties (Problogbdd PROPERTIES
|
|
OUTPUT_NAME simplecudd
|
|
)
|
|
|
|
target_link_libraries(Problogbdd
|
|
${CUDD_LIBRARIES}
|
|
libYap
|
|
)
|
|
|
|
INCLUDE_DIRECTORIES(
|
|
${CUDD_INCLUDE_DIR}
|
|
${CMAKE_CURRENT_BINARY_DIR}
|
|
)
|
|
|
|
install(TARGETS Problogbdd
|
|
RUNTIME DESTINATION ${bindir}
|
|
LIBRARY DESTINATION ${dlls}
|
|
)
|
|
|