Skip to content

Rewrite Nix flake - #341

Merged
turion merged 8 commits into
turion:masterfrom
ners:flake
Jul 16, 2024
Merged

Rewrite Nix flake#341
turion merged 8 commits into
turion:masterfrom
ners:flake

Conversation

@ners

@ners ners commented Jun 25, 2024

Copy link
Copy Markdown
Contributor

As discussed at ZuriHac: the new and improved Rhine flake! ✨

Design goals:

  • minimise external dependencies; only Nixpkgs
  • use Nixpkgs to support all platforms and GHC versions
  • composability: expose an overlay that can be used by others

This is the sort of flake I wish to import when working on Rhine-powered projects. Until now I've had to copy around a bunch of boilerplate.

@turion

turion commented Jun 26, 2024

Copy link
Copy Markdown
Owner

Thanks a lot! This is awesome!

Comment thread flake.nix Outdated
Comment thread flake.nix Outdated
@turion

turion commented Jun 26, 2024

Copy link
Copy Markdown
Owner

The test failure may simply be the Github MacOS runner. For some reason, some concurrency and timing stuff from monad-schedule doesn't work on MacOS so well.

@ners
ners force-pushed the flake branch 3 times, most recently from 9f415c0 to 5a942e5 Compare June 28, 2024 08:10
Comment thread flake.nix
Comment thread flake.nix Outdated
@ners
ners force-pushed the flake branch 9 times, most recently from 45e4ffc to 9ea3c6b Compare July 14, 2024 09:00
Comment thread flake.nix
Comment thread flake.nix
Comment thread flake.nix Outdated
Comment thread flake.nix
Comment thread flake.nix Outdated
Comment thread flake.nix Outdated
@turion

turion commented Jul 15, 2024

Copy link
Copy Markdown
Owner

I added a few commits to document everything. I needed this in order to fully understand what's going on. I believe I have it now. In case you can spot a blatant misunderstanding, feel free to call it out :)

@turion
turion enabled auto-merge July 16, 2024 08:20
@turion

turion commented Jul 16, 2024

Copy link
Copy Markdown
Owner

Fantastic! Again, thanks a lot, this makes rhine development a lot more productive. And I've learned a lot along the way.

@turion
turion merged commit 61c950a into turion:master Jul 16, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants