Do not freeze kore itself (#2291)

Author: ttuegel

.github/workflows/test.yml

@@ -38,3 +38,6 @@ jobs:
 
     - name: Build project
       run: cabal v2-build --enable-tests --enable-benchmarks all
+
+    - name: Configure with profiling
+      run: cabal v2-configure --enable-profiling -f-threaded

cabal.project.freeze

@@ -78,7 +78,6 @@ constraints: any.Glob ==0.10.1,
              any.invariant ==0.5.3,
              any.junit-xml ==0.1.0.0,
              any.kan-extensions ==5.2,
-             kore -release +threaded,
              any.lens ==4.19.2,
              any.lifted-async ==0.10.1.1,
              any.lifted-base ==0.2.3.12,

scripts/cabal-freeze.sh

@@ -0,0 +1,7 @@
+#!/bin/sh
+
+cabal v2-freeze
+
+# Do not freeze kore itself.
+# This prevents building with different flags, for example.
+sed -i cabal.project.freeze -e '/^[[:space:]]\+kore/ d'