From 12cdf0d33d96f17d8f0a331c1434e1e21c793fa3 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Tue, 15 Jun 2021 12:21:53 +0200 Subject: [PATCH] * README: Update documentation for --enable-c++20. --- README | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/README b/README index 43a1afd45..6a428e6b1 100644 --- a/README +++ b/README @@ -173,9 +173,9 @@ flags specific to Spot: client code should be compiled with -D_GLIBCXX_DEBUG as well. This options should normally only be useful to run Spot's test-suite. - --enable-c++17 - Build everything in C++17 mode. We use that in our build farm to - ensure that Spot can be used in C++17 projects as well. + --enable-c++20 + Build everything in C++20 mode. We use that in our build farm to + ensure that Spot can be used in C++20 projects as well. Here are the meaning of the fine-tuning options, in case --enable/disable-devel is not enough.