diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-20 13:31:45 -0700 |
---|---|---|
committer | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-22 16:30:59 -0700 |
commit | e86a06829491bae68cef1b2156d245874516fd17 (patch) | |
tree | 64cc697a63dc6d48f536671d951c7be5fd5e7679 /examples | |
parent | fe83ed76f721b7bc631f75440375fce8dc35da50 (diff) |
cmake: Add more documentation, some fixes and cleanup.
Diffstat (limited to 'examples')
-rw-r--r-- | examples/CMakeLists.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/examples/CMakeLists.txt b/examples/CMakeLists.txt index a37cb9276..33d341ac8 100644 --- a/examples/CMakeLists.txt +++ b/examples/CMakeLists.txt @@ -30,8 +30,8 @@ add_custom_target(runexamples # - a list variable: set(<list name> <libs1> <libs2> ...) and pass # as "${<list name>}" # - a string: pass as "lib1 lib2 ..." (alternative: "lib1;lib2;...") -# > ouput_dir: Determines the examples subdirectory and is empty (passed as -# empty string) for the examples root director (this) +# > output_dir: Determines the examples subdirectory and is empty (passed as +# empty string) for the examples root directory (this) # > ARGN: Any additional arguments passed to the macro are interpreted as # as arguments to the test executable. macro(cvc4_add_example name src_files libs output_dir) |