Use a specific project file for static releases

.github/workflows/ci.yml

@@ -108,26 +108,22 @@ jobs:
           cabal configure --enable-tests
 
       - name: Freeze
-        run: cabal freeze --project-file=cabal.release.project
+        run: cabal freeze --project-file=cabal.static.project
 
       - uses: actions/cache@v4
         with:
           path: ${{ steps.setup-haskell.outputs.cabal-store }}
           key: ${{ runner.os }}-ghc-${{ steps.setup.outputs.ghc-version }}-${{ hashFiles('**/plan.json') }}
           restore-keys: ${{ runner.os }}-${{ steps.setup.outputs.ghc-version }}-
 
-      - name: Enable statically linked executables
-        run: |
-          echo 'executable-static: true' >> cabal.release.project
-
       - name: Build
-        run: cabal build --project-file=cabal.release.project
+        run: cabal build --project-file=cabal.static.project
 
       - name: Test
-        run: cabal test --project-file=cabal.release.project all
+        run: cabal test --project-file=cabal.static.project all
 
       - name: Install
-        run: cabal install --project-file=cabal.release.project --installdir=distribution --install-method=copy
+        run: cabal install --project-file=cabal.static.project --installdir=distribution --install-method=copy
 
       - name: Tar cabal head executable
         run: |

cabal.static.project

@@ -0,0 +1,7 @@
+import: ./cabal.release.project
+
+executable-static: true
+
+package confer
+  ghc-options: -static
+  ld-options: -static -pthread