runtimeverification / mx-semantics

6 stars 1 forks source link

Package Nix flake #255

Closed Baltoli closed 1 month ago

Baltoli commented 2 months ago

This PR has been a long time in the making as the project's targets have changed and been refactored, but it is now in a state where it can be properly reviewed. The principal change here is to set up a basic Nix flake build for the repository's kdist targets, such that they will be referenceable by the imminent flake build of the new kasmerx tool.

Note that this Nix setup does not run integration tests as currently implemented; this is because there is a complex set of external dependencies (sc-meta, cargo etc.) that need to be packaged up to run the test suite. We will need to do this packaging again in a different way to get kasmerx tests to run, and so we defer the running of tests via Nix in CI until that repository's flake is ready.