GCC 13.1 and dependencies update

.github/workflows/linux.yml

@@ -9,7 +9,7 @@ on:
 jobs:
   gnat_gprbuild:
     name: GNAT Linux and GPRbuild
-    runs-on: ubuntu-18.04
+    runs-on: ubuntu-20.04
     steps:
     - name: Checkout Project
       uses: actions/checkout@v2
@@ -25,7 +25,7 @@ jobs:
         pip install e3-core==22.1.0
 
     - name: Install Ada dependencies
-      run: sudo apt-get install gnat
+      run: sudo apt-get install gnat bison
 
     - name: Build GNAT native
       run: ./anod build gcc -v --loglevel DEBUG --enable-cleanup
@@ -63,7 +63,7 @@ jobs:
   gnatcov:
     name: GNATcov
     needs: gnat_gprbuild
-    runs-on: ubuntu-18.04
+    runs-on: ubuntu-20.04
     steps:
     - name: Checkout Project
       uses: actions/checkout@v2
@@ -105,7 +105,7 @@ jobs:
         target: ["arm-elf", "riscv64-elf", "avr-elf"]
     name: GNAT ${{ matrix.target }}-linux
     needs: gnat_gprbuild
-    runs-on: ubuntu-18.04
+    runs-on: ubuntu-20.04
     steps:
     - name: Checkout Project
       uses: actions/checkout@v2
@@ -147,17 +147,18 @@ jobs:
     strategy:
       matrix:
         ocaml-version:
-          - 4.12.0
-    runs-on: ubuntu-18.04
+          - 4.11.2
+
+    runs-on: ubuntu-20.04
     steps:
       - name: Checkout code
         uses: actions/checkout@v2
         with:
           repository: 'adacore/why3'
-          ref: 'fsf-12'
+          ref: 'fsf-13'
 
-      - name: Use Setup OCaml v2 ${{ matrix.ocaml-version }}
-        uses: avsm/setup-ocaml@v2
+      - name: Use Setup OCaml {{ matrix.ocaml-version }}
+        uses: ocaml/setup-ocaml@v1.1.11
         with:
           ocaml-version: ${{ matrix.ocaml-version }}
 
@@ -170,6 +171,8 @@ jobs:
       - run: opam exec -- make
       - run: opam exec -- make install_spark2014
 
+      - run: git log --format="%H" -n 1 > /tmp/why3install/why3-version.txt
+
       - name: Upload the build artifact
         uses: actions/upload-artifact@v2
         with:
@@ -178,38 +181,26 @@ jobs:
 
 
   alt_ergo:
-    runs-on: ubuntu-18.04
-    env:
-        OPAMYES: true
-        OCAML_DEFAULT_VERSION: 4.10.0
+    strategy:
+      matrix:
+        ocaml-compiler:
+          - "4.11.2"
+    runs-on: ubuntu-20.04
     steps:
       - name: Checkout code
         uses: actions/checkout@v2
         with:
           repository: 'adacore/alt-ergo'
-          ref: 'fsf-12'
+          ref: 'master'
 
-      - name: Use Setup OCaml v2 ${{ matrix.ocaml-version }}
-        uses: avsm/setup-ocaml@v2
+      - name: Use Setup OCaml {{ matrix.ocaml-version }}
+        uses: ocaml/setup-ocaml@v2
         with:
-          ocaml-version: ${{ env.OCAML_DEFAULT_VERSION }}
+          ocaml-compiler: ${{ matrix.ocaml-compiler }}
 
-      - name: opam install depext
-        run: opam depext alt-ergo-lib alt-ergo-parsers alt-ergo
+      - run: opam install alt-ergo --destdir=/tmp/alt-ergo-install
 
-      - run: opam install camlzip cmdliner dune dune-configurator menhir num ocamlgraph ocplib-simplex psmt2-frontend re seq yojson zarith
-
-      - run: opam exec -- ocaml unix.cma configure.ml alt-ergo-lib
-      - run: opam exec -- make alt-ergo-lib
-      - run: opam exec -- make install-lib
-
-      - run: opam exec -- ocaml unix.cma configure.ml alt-ergo-parsers
-      - run: opam exec -- make alt-ergo-parsers
-      - run: opam exec -- make install-parsers
-
-      - run: opam exec -- ocaml unix.cma configure.ml alt-ergo --prefix=/tmp/alt-ergo-install
-      - run: opam exec -- make alt-ergo
-      - run: opam exec -- make install-bin
+      - run: git log --format="%H" -n 1 > /tmp/alt-ergo-install/alt-ergo-version.txt
 
       - name: Upload the build artifact
         uses: actions/upload-artifact@v2
@@ -221,7 +212,7 @@ jobs:
   spark:
     name: spark
     needs: [gnat_gprbuild, why3, alt_ergo]
-    runs-on: ubuntu-18.04
+    runs-on: ubuntu-20.04
     steps:
     - name: Checkout Project
       uses: actions/checkout@v2
@@ -264,40 +255,3 @@ jobs:
         name: release-packages
         path: sbx/*/release_package*/install/*
         retention-days: 5
-
-
-
-  sanity_checking:
-    name: Sanity Checking
-    needs: [gnat_gprbuild, gnatcov, spark]
-    runs-on: ubuntu-18.04
-    steps:
-    - name: Checkout Project
-      uses: actions/checkout@v2
-
-    - name: Set up Python
-      uses: actions/setup-python@v2
-      with:
-        python-version: 3.8
-
-    - name: Install Python dependencies
-      run: |
-        python -m pip install --upgrade pip
-        pip install e3-testsuite
-
-    - uses: actions/download-artifact@v2
-      with:
-        name: release-packages
-        path: ./sanity-checking/release_packages
-
-    - name: Run testsuite
-      run: |
-          cd ./sanity-checking
-          python3 ./run.py -v --install-deps-from=release_packages --pkgs-install-dir=pkgs_install --failure-exit-code 1
-
-    - uses: actions/upload-artifact@v2
-      if: failure()
-      with:
-        name: testsuite-results-${{runner.os}}
-        path: sanity-checking/out/new
-        retention-days: 5

.github/workflows/macos.yml

@@ -9,7 +9,7 @@ on:
 jobs:
   gnat_gprbuild:
     name: GNAT macOS and GPRbuild
-    runs-on: macos-10.15
+    runs-on: macos-12
     steps:
     - name: Checkout Project
       uses: actions/checkout@v2
@@ -60,7 +60,7 @@ jobs:
   gnatcov:
     name: GNATcov
     needs: gnat_gprbuild
-    runs-on: macos-10.15
+    runs-on: macos-12
     steps:
     - name: Checkout Project
       uses: actions/checkout@v2
@@ -102,7 +102,7 @@ jobs:
         target: ["arm-elf", "riscv64-elf", "avr-elf"]
     name: GNAT ${{ matrix.target }}-darwin
     needs: gnat_gprbuild
-    runs-on: macos-10.15
+    runs-on: macos-12
     steps:
     - name: Checkout Project
       uses: actions/checkout@v2
@@ -144,17 +144,17 @@ jobs:
     strategy:
       matrix:
         ocaml-version:
-          - 4.12.0
-    runs-on: macos-10.15
+          - 4.11.2
+    runs-on: macos-12
     steps:
       - name: Checkout code
         uses: actions/checkout@v2
         with:
           repository: 'adacore/why3'
-          ref: 'fsf-12'
+          ref: 'fsf-13'
 
-      - name: Use Setup OCaml v2 ${{ matrix.ocaml-version }}
-        uses: avsm/setup-ocaml@v2
+      - name: Use Setup OCaml {{ matrix.ocaml-version }}
+        uses: ocaml/setup-ocaml@v1.1.11
         with:
           ocaml-version: ${{ matrix.ocaml-version }}
 
@@ -167,6 +167,8 @@ jobs:
       - run: opam exec -- make
       - run: opam exec -- make install_spark2014
 
+      - run: git log --format="%H" -n 1 > /tmp/why3install/why3-version.txt
+
       - name: Upload the build artifact
         uses: actions/upload-artifact@v2
         with:
@@ -175,38 +177,27 @@ jobs:
 
 
   alt_ergo:
-    env:
-        OPAMYES: true
-        OCAML_DEFAULT_VERSION: 4.10.0
-    runs-on: macos-10.15
+    strategy:
+      matrix:
+        ocaml-compiler:
+          - "4.11.2"
+
+    runs-on: macos-12
     steps:
       - name: Checkout code
         uses: actions/checkout@v2
         with:
           repository: 'adacore/alt-ergo'
-          ref: 'fsf-12'
+          ref: 'master'
 
-      - name: Use Setup OCaml v2 ${{ matrix.ocaml-version }}
-        uses: avsm/setup-ocaml@v2
+      - name: Use Setup OCaml {{ matrix.ocaml-version }}
+        uses: ocaml/setup-ocaml@v2
         with:
-          ocaml-version: ${{ env.OCAML_DEFAULT_VERSION }}
+          ocaml-compiler: ${{ matrix.ocaml-compiler }}
 
-      - name: opam install depext
-        run: opam depext alt-ergo-lib alt-ergo-parsers alt-ergo
+      - run: opam install alt-ergo --destdir=/tmp/alt-ergo-install
 
-      - run: opam install camlzip cmdliner dune dune-configurator menhir num ocamlgraph ocplib-simplex psmt2-frontend re seq yojson zarith
-
-      - run: opam exec -- ocaml unix.cma configure.ml alt-ergo-lib
-      - run: opam exec -- make alt-ergo-lib
-      - run: opam exec -- make install-lib
-
-      - run: opam exec -- ocaml unix.cma configure.ml alt-ergo-parsers
-      - run: opam exec -- make alt-ergo-parsers
-      - run: opam exec -- make install-parsers
-
-      - run: opam exec -- ocaml unix.cma configure.ml alt-ergo --prefix=/tmp/alt-ergo-install
-      - run: opam exec -- make alt-ergo
-      - run: opam exec -- make install-bin
+      - run: git log --format="%H" -n 1 > /tmp/alt-ergo-install/alt-ergo-version.txt
 
       - name: Upload the build artifact
         uses: actions/upload-artifact@v2
@@ -219,7 +210,7 @@ jobs:
   spark:
     name: SPARK
     needs: [gnat_gprbuild, why3, alt_ergo]
-    runs-on: macos-10.15
+    runs-on: macos-12
     steps:
     - name: Checkout Project
       uses: actions/checkout@v2
@@ -262,41 +253,3 @@ jobs:
         name: release-packages
         path: sbx/*/release_package*/install/*
         retention-days: 5
-
-
-
-
-  sanity_checking:
-    name: Sanity Checking
-    needs: [gnat_gprbuild, gnatcov, spark]
-    runs-on: macos-10.15
-    steps:
-    - name: Checkout Project
-      uses: actions/checkout@v2
-
-    - name: Set up Python
-      uses: actions/setup-python@v2
-      with:
-        python-version: 3.8
-
-    - name: Install Python dependencies
-      run: |
-        python -m pip install --upgrade pip
-        pip install e3-testsuite
-
-    - uses: actions/download-artifact@v2
-      with:
-        name: release-packages
-        path: ./sanity-checking/release_packages
-
-    - name: Run testsuite
-      run: |
-          cd ./sanity-checking
-          python3 ./run.py -v --install-deps-from=release_packages --pkgs-install-dir=pkgs_install --failure-exit-code 1
-
-    - uses: actions/upload-artifact@v2
-      if: failure()
-      with:
-        name: testsuite-results-${{runner.os}}
-        path: sanity-checking/out/new
-        retention-days: 5