diff options
Diffstat (limited to 'examples/CMakeLists.txt')
-rw-r--r-- | examples/CMakeLists.txt | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/examples/CMakeLists.txt b/examples/CMakeLists.txt index 33d341ac8..68eb06074 100644 --- a/examples/CMakeLists.txt +++ b/examples/CMakeLists.txt @@ -68,7 +68,9 @@ endmacro() set(EXAMPLES_LINK_LIBS cvc4 cvc4parser) cvc4_add_example(simple_vc_cxx "" "${EXAMPLES_LINK_LIBS}" "") cvc4_add_example(simple_vc_quant_cxx "" "${EXAMPLES_LINK_LIBS}" "") -cvc4_add_example(translator "" "${EXAMPLES_LINK_LIBS}" "") +cvc4_add_example(translator "" "${EXAMPLES_LINK_LIBS}" "" + # argument to binary (for testing) + ${CMAKE_CURRENT_SOURCE_DIR}/translator-example-input.smt2) if(BUILD_BINDINGS_JAVA) find_package(Java REQUIRED) |