Use hs-bindgen for generated bindings

Author: jorisdral

.github/workflows/ci.yml

@@ -35,7 +35,7 @@ jobs:
       #
       # * Build and test with all combinations of OS/GHC/Cabal, but with a fixed
       #   Botan version, preferably the latest version which is currently
-      #   Botan-3.9.0.
+      #   Botan-3.10.0.
       #
       # * Build and test with all Botan versions, but with a fixed OS/GHC/Cabal
       #   combination, preferably Linux/GHC-9.6/Cabal-3.12
@@ -57,45 +57,65 @@ jobs:
           - { os: ubuntu-latest, shell: bash }
           - { os: macos-latest, shell: bash }
         ghc-version: ["9.2", "9.4", "9.6", "9.8", "9.10", "9.12"]
-        cabal-version: ["3.12"]
-        botan-version: ["3.9.0"]
+        cabal-version: ["3.16"]
+        botan-version: ["3.10.0"]
         include:
         - sys: { os: ubuntu-latest, shell: bash }
           ghc-version: "9.6"
-          cabal-version: "3.12"
+          cabal-version: "3.16"
           botan-version: "3.0.0"
         - sys: { os: ubuntu-latest, shell: bash }
           ghc-version: "9.6"
-          cabal-version: "3.12"
+          cabal-version: "3.16"
+          botan-version: "3.1.0"
+        - sys: { os: ubuntu-latest, shell: bash }
+          ghc-version: "9.6"
+          cabal-version: "3.16"
           botan-version: "3.1.1"
         - sys: { os: ubuntu-latest, shell: bash }
           ghc-version: "9.6"
-          cabal-version: "3.12"
+          cabal-version: "3.16"
           botan-version: "3.2.0"
         - sys: { os: ubuntu-latest, shell: bash }
           ghc-version: "9.6"
-          cabal-version: "3.12"
+          cabal-version: "3.16"
           botan-version: "3.3.0"
         - sys: { os: ubuntu-latest, shell: bash }
           ghc-version: "9.6"
-          cabal-version: "3.12"
+          cabal-version: "3.16"
           botan-version: "3.4.0"
         - sys: { os: ubuntu-latest, shell: bash }
           ghc-version: "9.6"
-          cabal-version: "3.12"
+          cabal-version: "3.16"
           botan-version: "3.5.0"
         - sys: { os: ubuntu-latest, shell: bash }
           ghc-version: "9.6"
-          cabal-version: "3.12"
+          cabal-version: "3.16"
+          botan-version: "3.6.0"
+        - sys: { os: ubuntu-latest, shell: bash }
+          ghc-version: "9.6"
+          cabal-version: "3.16"
           botan-version: "3.6.1"
         - sys: { os: ubuntu-latest, shell: bash }
           ghc-version: "9.6"
-          cabal-version: "3.12"
+          cabal-version: "3.16"
+          botan-version: "3.7.0"
+        - sys: { os: ubuntu-latest, shell: bash }
+          ghc-version: "9.6"
+          cabal-version: "3.16"
           botan-version: "3.7.1"
         - sys: { os: ubuntu-latest, shell: bash }
           ghc-version: "9.6"
-          cabal-version: "3.12"
+          cabal-version: "3.16"
+          botan-version: "3.8.0"
+        - sys: { os: ubuntu-latest, shell: bash }
+          ghc-version: "9.6"
+          cabal-version: "3.14"
           botan-version: "3.8.1"
+        - sys: { os: ubuntu-latest, shell: bash }
+          ghc-version: "9.6"
+          cabal-version: "3.16"
+          botan-version: "3.9.0"
 
     steps:
     - name: 📥 Checkout repository
@@ -200,15 +220,17 @@ jobs:
       run: |
         cabal test all -j1 --test-show-details=direct
 
-    - name: 🛠️ Setup cabal-docspec (Linux)
-      if: ${{ runner.os == 'Linux' && !startsWith(matrix.ghc-version, '9.2') && !startsWith(matrix.ghc-version, '9.4') }}
-      uses: jorisdral/actions/setup-cabal-docspec@main
+    # TODO: temporarily disabled
+    #
+    # - name: 🛠️ Setup cabal-docspec (Linux)
+    #   if: ${{ runner.os == 'Linux' && !startsWith(matrix.ghc-version, '9.2') && !startsWith(matrix.ghc-version, '9.4') }}
+    #   uses: jorisdral/actions/setup-cabal-docspec@main
 
-    - name: 🧪 Test with cabal-docspec (Linux)
-      if: ${{ runner.os == 'Linux' && !startsWith(matrix.ghc-version, '9.2') && !startsWith(matrix.ghc-version, '9.4') }}
-      run: ./scripts/test-cabal-docspec.sh
-      env:
-        SKIP_CABAL_BUILD: true
+    # - name: 🧪 Test with cabal-docspec (Linux)
+    #   if: ${{ runner.os == 'Linux' && !startsWith(matrix.ghc-version, '9.2') && !startsWith(matrix.ghc-version, '9.4') }}
+    #   run: ./scripts/test-cabal-docspec.sh
+    #   env:
+    #     SKIP_CABAL_BUILD: true
 
   ################################################################################
   # Lint with cabal-gild
@@ -249,7 +271,7 @@ jobs:
       uses:  haskell-actions/setup@v2
       with:
         ghc-version: "9.6"
-        cabal-version: "3.12"
+        cabal-version: "3.16"
         cabal-update: false
 
     - name: 🎗️ Lint with cabal
@@ -291,11 +313,11 @@ jobs:
       with:
         stylish-haskell-version: "0.15.1.0"
         ghc-version: "9.10"
-        cabal-version: "3.12"
+        cabal-version: "3.16"
         # The index-state is fixed to enable caching and ensure that the version
         # regardless of the current state of Hackage head.
         # If you want a newer version of stylish-haskell, use a more recent time.
-        hackage-index-state: "2025-09-15T11:44:03Z"
+        hackage-index-state: "2025-12-08T00:00:00Z"
 
     - name: 🎗️ Lint with stylish-haskell
       run: ./scripts/format-stylish-haskell.sh && git diff --exit-code

.github/workflows/documentation.yml

@@ -21,7 +21,7 @@ defaults:
 
 env:
   ghc-version: "9.6"
-  cabal-version: "3.12"
+  cabal-version: "3.16"
 
 jobs:
   ################################################################################
@@ -54,7 +54,7 @@ jobs:
       # wrong with the setup-botan action. Maybe it's compiling too many things?
       timeout-minutes: 30
       with:
-        botan-version: 3.9.0
+        botan-version: 3.10.0
 
     - name: 🛠️ Configure
       run: |

botan-bindings/KnownVersions.cfg

@@ -0,0 +1,16 @@
+[ Version 3 10 0
+, Version 3 9 0
+, Version 3 8 1
+, Version 3 8 0
+, Version 3 7 1
+, Version 3 7 0
+, Version 3 6 1
+, Version 3 6 0
+, Version 3 5 0
+, Version 3 4 0
+, Version 3 3 0
+, Version 3 2 0
+, Version 3 1 1
+, Version 3 1 0
+, Version 3 0 0
+]