update kontrol performance script for new setup

jberthold · jberthold · commit 11fb27109c5e · 2025-03-31T22:14:13.000+11:00
diff --git a/scripts/performance-tests-kontrol.sh b/scripts/performance-tests-kontrol.sh
@@ -104,7 +104,7 @@ master_shell() {
 }
 
 # kompile Kontrol's K dependencies
-feature_shell "poetry install && poetry run kdist --verbose build evm-semantics.plugin evm-semantics.haskell kontrol.foundry --jobs 4"
+feature_shell "poetry install && poetry run kdist --verbose build evm-semantics.plugin evm-semantics.haskell kontrol.* --jobs 4"
 
 # kompile the test contracts, to be reused in feature_shell and master_shell. Copy the result from pytest's temp directory
 PYTEST_TEMP_DIR=$TEMPD/pytest-temp-dir

Original file line number	Diff line number	Diff line change
`@@ -104,7 +104,7 @@ master_shell() {`
`104`	`104`	`}`
`105`	`105`
`106`	`106`	`# kompile Kontrol's K dependencies`
`107`		`-feature_shell "poetry install && poetry run kdist --verbose build evm-semantics.plugin evm-semantics.haskell kontrol.foundry --jobs 4"`
	`107`	`+feature_shell "poetry install && poetry run kdist --verbose build evm-semantics.plugin evm-semantics.haskell kontrol.* --jobs 4"`
`108`	`108`
`109`	`109`	`# kompile the test contracts, to be reused in feature_shell and master_shell. Copy the result from pytest's temp directory`
`110`	`110`	`PYTEST_TEMP_DIR=$TEMPD/pytest-temp-dir`