stuff the c++14 genie back in the bottle

cosmicexplorer · Nov 26, 2020 · a1db68e · a1db68e
1 parent 928615e
commit a1db68e
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -20,7 +20,7 @@ include(clingo_functions)
 # Enable folders in IDEs like Visual Studio
 set_property(GLOBAL PROPERTY USE_FOLDERS ON)
 
-set(CMAKE_CXX_STANDARD 14)
+set(CMAKE_CXX_STANDARD 11)
 set(CMAKE_CXX_STANDARD_REQUIRED ON)
 set(CMAKE_CXX_EXTENSIONS OFF)
 

diff --git a/INSTALL.md b/INSTALL.md
@@ -14,7 +14,7 @@
 
 # Requirements
 
-- a c++14 conforming compiler
+- a c++11 conforming compiler
   - *at least* [gcc](https://gcc.gnu.org/) version 4.9
   - [clang](http://clang.llvm.org/) version 3.1 (using either libstdc++
     provided by gcc 4.9 or libc++)
@@ -78,7 +78,7 @@ Cmake's `-L` option can be used to get an overview over the variables that can
 be set for building gringo/clingo. To get gringo/clingo specific options, run
 
     cmake -H<SOURCE_DIR> -B<BUILD_DIR> -DCMAKE_BUILD_TYPE=Release -LH
-    
+
 or, to also print important cmake specific configuration variables
 
     cmake -H<SOURCE_DIR> -B<BUILD_DIR> -DCMAKE_BUILD_TYPE=Release -LAH