refactor: avoid "%pure-parser" deprecation warning from Bison 3.4

lmntal · Feb 20, 2024 · cd10920 · cd10920
1 parent d80c003
commit cd10920
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 3 deletions.
diff --git a/.github/workflows/c-cpp.yml b/.github/workflows/c-cpp.yml
@@ -9,14 +9,16 @@ jobs:
       fail-fast: false
       matrix:
         os: [ubuntu-latest, macos-14]
-        compiler: [{ c: gcc-13, cxx: g++-13 }, { c: clang-15, cxx: clang++-15 }]
+        compiler: [{ c: gcc-13, cxx: g++-13 }, { c: clang, cxx: clang++ }]
     steps:
       - uses: actions/checkout@v4
       - name: Setup prerequisites for Linux
         if: runner.os == 'Linux'
         run: |
           sudo apt -qq update
           sudo apt install -y re2c ruby-full bison flex doxygen zlib1g-dev libomp-15-dev
+          sudo ln -f -s /usr/bin/clang-15 /usr/bin/clang
+          sudo ln -f -s /usr/bin/clang++-15 /usr/bin/clang++
 
       - name: Setup prerequisites for macOS
         if: runner.os == 'macOS'

diff --git a/src/verifier/nc_parser.ypp b/src/verifier/nc_parser.ypp
@@ -45,7 +45,7 @@
 #include "nc_lexer.hpp"
 %}
 
-%pure-parser
+%define api.pure
 %locations
 %parse-param {nc::lexer *scanner}
 %parse-param {AutomataRef automata}

diff --git a/src/verifier/propsym_parser.ypp b/src/verifier/propsym_parser.ypp
@@ -45,7 +45,7 @@
 #include "propsym_lexer.hpp"
 %}
 
-%pure-parser
+%define api.pure
 %locations
 %parse-param {propsym::lexer *scanner}
 %parse-param {AutomataRef automata}