search

runtimeverification / kasmer-multiversx

Wasm semantics for the Elrond/MultiversX blockchain network
BSD 3-Clause "New" or "Revised" License
0 stars 0 forks source link

Build new `kasmer` tool as a flake #153

Closed Baltoli closed 2 months ago

Baltoli commented 2 months ago

This PR sets up a Nix flake build for the newly-reorganised kasmer tool; this will allow us to do kup install kasmer once the associated admin / metadata has been done.

The flake implementation is a pretty standard iteration on our kdist-style packaging (c.f. the implementations for the WASM and MX semantics) that this one depends on.

When kasmer is installed, it does not install the related ecosystem tools as well (sc-meta, a Rust toolchain, wasm2wat etc.). It's possible to do this if desired (e.g. kup install kasmer puts sc-meta on your PATH); the kmxwasm-test derivation shows how to package these external dependencies.

Baltoli commented 2 months ago

@goodlyrottenapple @tothtamas28 The Nix tests now run in a dev shell.