diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-09-14 14:21:35 -0700 |
---|---|---|
committer | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-22 16:30:59 -0700 |
commit | 0a41a21cedc789262f3035aa91ff6b924f309b4e (patch) | |
tree | eae28a622352c818e043b0ac3adba60c3e14a0c3 /CMakeLists.txt | |
parent | 15a7249a2aa33187e766d6f828a503e5c937b9cf (diff) |
cmake: Do not build examples and unit and system tests by default.
Diffstat (limited to 'CMakeLists.txt')
-rw-r--r-- | CMakeLists.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/CMakeLists.txt b/CMakeLists.txt index 862fc2ae5..23a52db59 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -433,7 +433,7 @@ if(ENABLE_PROOFS) endif() add_subdirectory(doc) -add_subdirectory(examples) +add_subdirectory(examples EXCLUDE_FROM_ALL) add_subdirectory(src) add_subdirectory(test) |