From 7b403bbc8f8b24da72fc932a4306f00e681fd9e8 Mon Sep 17 00:00:00 2001 From: Alex Groce Date: Mon, 30 Jul 2018 21:53:53 -0700 Subject: [PATCH] fix cmakelists --- examples/CMakeLists.txt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/examples/CMakeLists.txt b/examples/CMakeLists.txt index 774d7c8..70c4354 100644 --- a/examples/CMakeLists.txt +++ b/examples/CMakeLists.txt @@ -75,8 +75,8 @@ if (BUILD_LIBFUZZER) add_executable(IntegerOverflow_Addition_LF IntegerArithmetic.cpp) target_link_libraries(IntegerOverflow_Addition_LF deepstate_LF) target_link_libraries (IntegerOverflow_Addition_LF "-fsanitize=fuzzer") - set_target_properties(IntegerOverflow_Addition_LF PROPERTIES COMPILE_DEFINITIONS - "LIBFUZZER LIBFUZZER_WHICH_TEST=\"SignedInteger_AdditionOverflow\"") + set_target_properties(IntegerOverflow_Addition_LF PROPERTIES COMPILE_DEFINITIONS "LIBFUZZER") + set_target_properties(IntegerOverflow_Addition_LF "LIBFUZZER_WHICH_TEST=\"SignedInteger_AdditionOverflow\"") endif() add_executable(IntegerArithmetic IntegerArithmetic.cpp)