Skip to content

Commit b9e677d

Browse files
Pass --ignore-environment to nix dev shells in performance scripts (#4041)
Due to recent packaging changes to the blockchain plugin, the KEVM performance script started to fail as it was using libraries provided by brew and not nix on my local machine. The fix is to call `nix develop` with `--ignore-environment`, which purges the path of any non-nix paths. In general it is good practice to do this in any dev shells we call in one of these scripts, as there is less likelihood of similar issues arising.
1 parent 4c10181 commit b9e677d

File tree

2 files changed

+4
-4
lines changed

2 files changed

+4
-4
lines changed

scripts/performance-tests-kevm.sh

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -48,11 +48,11 @@ trap "exit 1" HUP INT PIPE QUIT TERM
4848
trap clean_up EXIT
4949

5050
feature_shell() {
51-
GC_DONT_GC=1 nix develop . --extra-experimental-features 'nix-command flakes' --override-input k-framework/haskell-backend $SCRIPT_DIR/../ --command bash -c "$1"
51+
GC_DONT_GC=1 nix develop . --extra-experimental-features 'nix-command flakes' --override-input k-framework/haskell-backend $SCRIPT_DIR/../ --ignore-environment --command bash -c "$1"
5252
}
5353

5454
master_shell() {
55-
GC_DONT_GC=1 nix develop . --extra-experimental-features 'nix-command flakes' --override-input k-framework/haskell-backend github:runtimeverification/haskell-backend/$MASTER_COMMIT --command bash -c "$1"
55+
GC_DONT_GC=1 nix develop . --extra-experimental-features 'nix-command flakes' --override-input k-framework/haskell-backend github:runtimeverification/haskell-backend/$MASTER_COMMIT --ignore-environment --command bash -c "$1"
5656
}
5757

5858
cd $TEMPD

scripts/performance-tests-kontrol.sh

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -96,11 +96,11 @@ sed -i'' -e "s|'forge', 'build'|'forge', 'build', '--no-auto-detect'|g" src/test
9696
poetry lock --no-update
9797

9898
feature_shell() {
99-
GC_DONT_GC=1 nix develop . --extra-experimental-features 'nix-command flakes' --override-input kevm/k-framework/haskell-backend $SCRIPT_DIR/../ --command bash -c "$1"
99+
GC_DONT_GC=1 nix develop . --extra-experimental-features 'nix-command flakes' --override-input kevm/k-framework/haskell-backend $SCRIPT_DIR/../ --ignore-environment --command bash -c "$1"
100100
}
101101

102102
master_shell() {
103-
GC_DONT_GC=1 nix develop . --extra-experimental-features 'nix-command flakes' --override-input kevm/k-framework/haskell-backend github:runtimeverification/haskell-backend/$MASTER_COMMIT --command bash -c "$1"
103+
GC_DONT_GC=1 nix develop . --extra-experimental-features 'nix-command flakes' --override-input kevm/k-framework/haskell-backend github:runtimeverification/haskell-backend/$MASTER_COMMIT --ignore-environment --command bash -c "$1"
104104
}
105105

106106
# kompile Kontrol's K dependencies

0 commit comments

Comments
 (0)