Package Nix flake - Githubissues

runtimeverification / mx-semantics

6 stars 1 forks source link

Package Nix flake #254

Closed Baltoli closed 1 month ago

Baltoli commented 2 months ago

We want to be able to use the MX semantics tooling via kup, which requires setting up Nix flake build infrastructure for this repository.

Dependent steps to doing so:

[x] Packaging WASM semantics
[x] Packaging sc-meta via Nix
- This external dependency doesn't seem to exist via Nix anywhere that I can see, so we'll need to make one via Cargo2Nix.
- https://github.com/runtimeverification/mx-sdk-rs-flake
[ ] Usual flake setup