Commit 74065911 authored by Valentin Touzeau's avatar Valentin Touzeau Committed by EXT Valentin Touzeau
Browse files

Fix CMakeLists.txt

parent 9da114e4
......@@ -57,8 +57,8 @@ add_library(${PLUGIN} SHARED ${SOURCES})
set_property(TARGET ${PLUGIN} PROPERTY PREFIX "")
set_property(TARGET ${PLUGIN} PROPERTY COMPILE_FLAGS "${OTAWA_CFLAGS} --std=c++11 -g -Wall -Wextra -pedantic")
add_dependencies(${PLUGIN} cudd)
add_dependencies(${PLUGIN} extra)
add_dependencies(${PLUGIN} libcudd)
add_dependencies(${PLUGIN} libextra)
target_link_libraries(${PLUGIN} PUBLIC "${OTAWA_LDFLAGS}" cudd_core cudd_epd cudd_st cudd_util extra)
......
......@@ -14,7 +14,7 @@ add_custom_command(
)
add_custom_target(
cudd
libcudd
DEPENDS ${CUDD_LIB_FILE}
)
......
......@@ -9,11 +9,11 @@ add_custom_command(
)
add_custom_target(
extra
libextra
DEPENDS ${EXTRA_LIB_FILE}
)
add_dependencies(compile_extra compile_cudd)
add_dependencies(libextra libcudd)
set(HEADERS_FOLDER ${CMAKE_CURRENT_BINARY_DIR}/extra20/)
file(MAKE_DIRECTORY ${HEADERS_FOLDER})
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment