From 5cfa9208d461430f263a5154872a74c7f52cbd8d Mon Sep 17 00:00:00 2001 From: Ryan Wang Date: Wed, 30 Sep 2026 22:25:41 -0400 Subject: [PATCH] docs: update CONTRIBUTING.md for stellar CLI migration CONTRIBUTING.md still referenced the deprecated `stellar contract bindings json` command and pinned to v23.1.3, but #112 migrated the codebase to `stellar contract info interface` which requires v26+. Update the install instructions and verification command accordingly. --- CONTRIBUTING.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 06434ea..11e07c8 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -16,17 +16,17 @@ git submodule update --init ### stellar-cli -Some tests require `stellar` CLI. The project pins to **v23.1.3** — `stellar contract bindings json` was removed in v26. Download the pre-built binary: +Some tests require `stellar` CLI. Since [#112](https://github.com/runtimeverification/komet/pull/112), Komet uses `stellar contract info interface` instead of the deprecated `stellar contract bindings json`. Install **v26.0.0 or later**: ```sh -curl -fsSL https://github.com/stellar/stellar-cli/releases/download/v23.1.3/stellar-cli-23.1.3-x86_64-unknown-linux-gnu.tar.gz | tar xz -C ~/.cargo/bin/ +curl -fsSL https://github.com/stellar/stellar-cli/releases/download/v28.1.0/stellar-cli-28.1.0-x86_64-unknown-linux-gnu.tar.gz | tar xz -C ~/.cargo/bin/ ``` Verify with: ```sh -stellar --version # should show 23.1.3 -stellar contract bindings json --help +stellar --version +stellar contract info interface --help ``` ## Building the semantics