diff options
| author | Dirk-Jan C. Binnema <djcb@djcbsoftware.nl> | 2025-07-19 10:41:10 +0300 |
|---|---|---|
| committer | Dirk-Jan C. Binnema <djcb@djcbsoftware.nl> | 2025-07-24 19:55:27 +0300 |
| commit | 4c2ce92a15dd67ff7131165aa878d2e460dd1da8 (patch) | |
| tree | b184c74810705e4473bd1d1fa326705819f1fbf9 /thirdparty | |
| parent | 33958cd0f75205b7c0b758c3d1ae2d24ebc9e63a (diff) | |
cli11: prefer system package if found
mu embeds a "vendored" version of libcl11 under thirdparty/; but it's
better to use the system-package if the user has one.
So, use the system package if found or user -Duse-embedded-cli11=true is
specified.
Diffstat (limited to 'thirdparty')
| -rw-r--r-- | thirdparty/cli11/CLI11.hpp (renamed from thirdparty/CLI11.hpp) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/thirdparty/CLI11.hpp b/thirdparty/cli11/CLI11.hpp index 8a5b4c5..8a5b4c5 100644 --- a/thirdparty/CLI11.hpp +++ b/thirdparty/cli11/CLI11.hpp |