Use hs-bindgen to generate bindings

Author: jorisdral

.github/workflows/ci.yml

@@ -57,44 +57,60 @@ 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"]
+        cabal-version: ["3.16"]
         botan-version: ["3.9.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.16"
           botan-version: "3.8.1"
 
     steps:
@@ -200,15 +216,19 @@ 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 because cabal-docspec does not support
+    # cabal-version:3.14 and higher, which botan-bindings now requires. See
+    # issue #?.
+    #
+    # - 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 +269,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 +311,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:
   ################################################################################

botan-bindings/KnownVersions.cfg

@@ -0,0 +1,15 @@
+[ 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
+]