From cce429e6b56e622b3d9308f265280c706fb7524a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tam=C3=A1s=20T=C3=B3th?=
 <tothtamas28@users.noreply.github.com>
Date: Wed, 6 May 2026 11:38:21 +0000
Subject: [PATCH 1/2] Eliminate `kdist` from `skribe-fuzz-rs` build script

---
 skribe-fuzz-rs/build.rs | 17 ++---------------
 1 file changed, 2 insertions(+), 15 deletions(-)

diff --git a/skribe-fuzz-rs/build.rs b/skribe-fuzz-rs/build.rs
index 71a4faf..9bc1da9 100644
--- a/skribe-fuzz-rs/build.rs
+++ b/skribe-fuzz-rs/build.rs
@@ -1,21 +1,8 @@
 use std::env;
-use std::process::Command;
 
 fn main() {
-    let out_dir = env::var("OUT_DIR").unwrap();
-    let kdist_path = format!("{}/kdist", out_dir);
-
-    let _output = Command::new("kdist")
-        .env("KDIST_DIR", &kdist_path)
-        .arg("-v")
-        .arg("build")
-        .arg("stylus-semantics.llvm-library")
-        .output()
-        .expect("Failed to build the kllvm library with kdist");
-
-    let llvm_library_path = format!("{}/stylus-semantics/llvm-library", kdist_path);
-
+    let llvm_library_path = env::var("KLLVM_LIBRARY_PATH")
+        .expect("KLLVM_LIBRARY_PATH must be set to the directory containing interpreter.so");
     println!("cargo:rustc-link-search={}", llvm_library_path);
-
     println!("cargo:rustc-link-lib=dylib:+verbatim=interpreter.so");
 }

From f6746d590ae61278b4706f13520047b1c341fdb3 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Wed, 6 May 2026 11:40:42 +0000
Subject: [PATCH 2/2] Set Version: 0.1.30

---
 package/version | 2 +-
 pyproject.toml  | 2 +-
 uv.lock         | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/package/version b/package/version
index 5ef49d2..013adb7 100644
--- a/package/version
+++ b/package/version
@@ -1 +1 @@
-0.1.29
+0.1.30
diff --git a/pyproject.toml b/pyproject.toml
index 8c26fa8..94d403c 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "hatchling.build"
 
 [project]
 name = "skribe"
-version = "0.1.29"
+version = "0.1.30"
 description = "Property testing for Stylus smart contracts"
 readme = "README.md"
 requires-python = "~=3.10"
diff --git a/uv.lock b/uv.lock
index 4f1472d..3cb0ea9 100644
--- a/uv.lock
+++ b/uv.lock
@@ -1815,7 +1815,7 @@ wheels = [
 
 [[package]]
 name = "skribe"
-version = "0.1.29"
+version = "0.1.30"
 source = { editable = "." }
 dependencies = [
     { name = "kontrol" },