Update dependency: deps/k_release

booster/test/rpc-integration/resources/kompile-from-double-definition.sh

@@ -22,9 +22,6 @@ NAME=$(basename ${0%.kompile})
 NAMETGZ=$(basename ${0%.kompile})
 
 
-# provide haskell definition
-cp ${NAME}.haskell.kore ${NAME}.kore
-
 # Regenerate llvm backend decision tree
 mkdir -p ./dt
 llvm-kompile-matching ${NAME}.llvm.kore qbaL ./dt 0
@@ -37,10 +34,13 @@ case "$OSTYPE" in
 esac
 
 llvm-kompile ${NAME}.llvm.kore ./dt c -- \
-             -fPIC -std=c++17 -o interpreter \
+             -fPIC -std=c++20 -o interpreter \
              $PLUGIN_LIBS $PLUGIN_INCLUDE $PLUGIN_CPP \
              -lcrypto -lssl $LPROCPS -lsecp256k1
 mv interpreter.* ${NAME}.dylib
 
 # remove temporary artefacts
 rm -r dt
+
+# provide haskell definition
+cp ${NAME}.haskell.kore ${NAME}.kore

booster/test/rpc-integration/resources/no-evaluator.kompile

@@ -5,6 +5,6 @@ cp no-evaluator-kompiled/definition.kore no-evaluator.kore
 kompile --backend llvm no-evaluator.k
 
 llvm-kompile no-evaluator-kompiled/definition.kore no-evaluator-kompiled/dt c -- \
-             -fPIC -std=c++17 -o interpreter
+             -fPIC -std=c++20 -o interpreter
 mv interpreter.* no-evaluator.dylib
 rm -r no-evaluator-kompiled

deps/k_release

@@ -1 +1 @@
-7.1.237
+7.1.254

scripts/run-with-tarball.sh

@@ -99,7 +99,7 @@ if [ -z "${LLVM_LIB}" ]; then
 
         # kompile llvm-definition to interpreter
         llvm-kompile $TEMPD/llvm-definition.kore $TEMPD/dt c -- \
-                -fPIC -std=c++17 -o $TEMPD/interpreter \
+                -fPIC -std=c++20 -o $TEMPD/interpreter \
                 $PLUGIN_LIBS $PLUGIN_INCLUDE $PLUGIN_CPP \
                 -lcrypto -lssl $LPROCPS
         lib=$TEMPD/interpreter.$LIBSUFFIX