ci: add native runtime env

.cargo/config.toml

@@ -1,8 +1,13 @@
 # Required to have the proper environment variables set to
 # build the starkware-libs/sequencer dependencies with Native mode.
 
-[env]
-CAIRO_NATIVE_RUNTIME_LIBRARY = "./libcairo_native_runtime.a"
+# The `CAIRO_NATIVE_RUNTIME_LIBRARY` env variable must point to an _ABSOLUTE_ path where
+# the `libcairo_native_runtime.a` file will be stored and found.
+#
+# Since the runtime is built by the blockifier crate's build script, it will be stored
+# in blockifier's build directory, unless an absolute path is provided through this env variable.
+# This variable must be set before running `cargo build` or `cargo test`,
+# to overwrite what might be defined in a `config.toml` file.
 
 # Use `lld` for linking instead of `ld`, since we run out of memory while linking with `ld` on
 # 16-cores linux machines, see:

Makefile

@@ -17,6 +17,11 @@ KKRT_V0_BUILD_ARTIFACT_URL = $(shell curl -L https://api.github.com/repos/kkrt-l
 # Kakarot SSJ artifacts for precompiles
 KKRT_SSJ_BUILD_ARTIFACT_URL = $(shell curl -L https://api.github.com/repos/kkrt-labs/kakarot-ssj/releases/latest | jq -r '.assets[0].browser_download_url')
 
+# Note: the `CAIRO_NATIVE_RUNTIME_LIBRARY` env variable must be set to the absolute path to the
+# `libcairo_native_runtime.a` file.  This is because we use the `native` feature of the `blockifier`
+# crate, which requires the runtime to be available.
+export CAIRO_NATIVE_RUNTIME_LIBRARY=$(HOME)/.cargo/libcairo_native_runtime.a
+
 # Downloads and unpacks Ethereum Foundation tests in the `$(EF_TESTS_DIR)` directory.
 # Requires `wget` and `tar`
 $(EF_TESTS_DIR):
@@ -27,6 +32,7 @@ $(EF_TESTS_DIR):
 
 # Ensures the commands for $(EF_TESTS_DIR) always run on `make setup`, regardless if the directory exists
 .PHONY: $(EF_TESTS_DIR) build
+
 setup: $(EF_TESTS_DIR)
 
 setup-kakarot-v0: clean-kakarot-v0
@@ -74,6 +80,7 @@ tests-v0-ci: build
 tests-v1-ci: build
 	cargo test --test tests --lib --no-fail-fast --quiet --features "v1,ci"
 
+
 # Runs ef tests only with the `v0` feature
 ef-test-v0: build
 	cargo test --test tests --no-fail-fast --quiet --features "v0,ci"