test copy of #2094

runtimeverification · Oct 31, 2023 · 9ef259e · 9ef259e
1 parent f8051d5
commit 9ef259e
Show file tree

Hide file tree

Showing 6 changed files with 199 additions and 36 deletions.
diff --git a/Makefile b/Makefile
@@ -5,7 +5,7 @@ all: poetry
 # --------
 
 PYTHON_BIN   := python3.10
-KEVM_PYK_DIR := ./kevm-pyk
+KEVM_PYK_DIR := $(abspath ./kevm-pyk)
 POETRY       := poetry -C $(KEVM_PYK_DIR)
 POETRY_RUN   := $(POETRY) run --