blob: 19317604c483760cdf82d2cf64bd6c571aeaa841 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
set(EXAMPLES_NRA_TRANSLATE_BIN_DIR ${EXAMPLES_BIN_DIR}/nra-translate)
set(CVC4_EXAMPLES_NRA_TRANSLATE
normalize
smt2info
smt2todreal
smt2toisat
smt2tomathematica
smt2toqepcad
smt2toredlog
)
foreach(example ${CVC4_EXAMPLES_NRA_TRANSLATE})
add_executable(${example} EXCLUDE_FROM_ALL ${example}.cpp)
target_link_libraries(${example} cvc4 cvc4parser)
set_target_properties(${example}
PROPERTIES RUNTIME_OUTPUT_DIRECTORY ${EXAMPLES_NRA_TRANSLATE_BIN_DIR})
add_dependencies(examples ${example})
endforeach()
|
