update minimum requirement to bison 3.2 (#2449)

get rid of `Mov` workaround in the parser
souffle-lang · Dec 4, 2023 · 3d1851a · 3d1851a
1 parent 85bb047
commit 3d1851a
Show file tree

Hide file tree

Showing 5 changed files with 98 additions and 284 deletions.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -7,6 +7,8 @@
 cmake_minimum_required(VERSION 3.15)
 
 set(CMAKE_CXX_STANDARD 17)
+set(CMAKE_CXX_STANDARD_REQUIRED ON)
+set(CMAKE_CXX_EXTENSIONS OFF)
 
 include(CMakeDependentOption)
 
@@ -217,7 +219,7 @@ if (CMAKE_HOST_SYSTEM_NAME MATCHES "Darwin")
     endif()
 endif()
 find_package(FLEX REQUIRED)
-find_package(BISON "3.0.4" REQUIRED)
+find_package(BISON "3.2" REQUIRED)
 
 # --------------------------------------------------
 # mcpp

diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
@@ -380,6 +380,10 @@ target_compile_features(souffleprof
   PUBLIC cxx_std_17)
 
 if (MSVC)
+  target_compile_options(libsouffle PUBLIC /Zc:__cplusplus)
+  target_compile_options(compiled PUBLIC /Zc:__cplusplus)
+  target_compile_options(souffleprof PUBLIC /Zc:__cplusplus)
+
   target_compile_options(libsouffle PUBLIC /bigobj)
   target_compile_options(compiled PUBLIC /bigobj)
 

diff --git a/src/parser/Helper.h b/src/parser/Helper.h
diff --git a/src/parser/ParserUtils.h b/src/parser/ParserUtils.h
@@ -29,10 +29,6 @@ namespace souffle {
 
 class RuleBody {
 public:
-    RuleBody() = default;
-    RuleBody(RuleBody&&) = default;
-    RuleBody& operator=(RuleBody&&) = default;
-
     RuleBody negated() const;
 
     void conjunct(RuleBody other);