Set up Nix Flake for kup tool

runtimeverification / plutus-core-semantics

BSD 3-Clause "New" or "Revised" License

27 stars 5 forks source link

Set up Nix Flake for kup tool #359

Closed ehildenb closed 1 year ago

ehildenb commented 2 years ago

~Blocked on: https://github.com/runtimeverification/plutus-core-semantics/pull/357~ ~Blocked on: https://github.com/runtimeverification/plutus-core-semantics/pull/358~

[x] Get Nix flake figured out.
[ ] Update status check "Bulid and Test KPlutus => Build and Test KPlutus".
[ ] Add Nix flake status checks.

ehildenb commented 2 years ago

@Baltoli if you have a moment, can you take a look at this one? It's failing with the "hatchling" nix error.

Baltoli commented 2 years ago

Hmm, I haven't seen this one before. I'll dig into it in some more detail if @goodlyrottenapple doesn't recognise it immediately off the top of his head.