search

maciej-bendkowski / boltzmann-brain

Analytic sampler compiler for combinatorial systems
BSD 3-Clause "New" or "Revised" License
30 stars 5 forks source link

Update nix #23

Closed timsears closed 3 years ago

timsears commented 3 years ago

Update nix-support.

timsears commented 3 years ago

This PR currently points to my fork of paganini-hs. (See the top of the flake.nix file.) If the PR for paganini-hs get merged, then this PR can be updated to point to the proper upstream registry, before this PR gets merged.

timsears commented 3 years ago

The todo in the previous comment is done.

timsears commented 3 years ago

Which version of megaparsec are you using or can you use?

maciej-bendkowski commented 3 years ago

It's megaparsec 7.0.5. You can use stack ls dependencies to find out what are the current dependencies given the resolver.

maciej-bendkowski commented 3 years ago

stack build and stack install are working fine now. Please let me know if I can consider the PR done and merge.

timsears commented 3 years ago

Very glad to hear that. I think I can improve the flake.nix file for paganini-hs a bit and it might affect this one a tiny bit, so it might be worth waiting (until probably Monday). Or, you can go ahead I can submit another PR for those changes. Either way is fine with me.

timsears commented 3 years ago

Not planning on further changes at the moment. Go ahead and merge.

maciej-bendkowski commented 3 years ago

@timsears Thanks for your contribution! :)