Skip to content

Conversation

@jaschutte
Copy link
Contributor

Both Nix and CI were outdated and broken, this PR fixes both of those issues.

A small list of changes and why:

  1. Nix got entirely reworked and uses flakes now, which makes inclusion in other projects easier
  2. CI now uses nix build instead of nix-build since the project uses flakes now
  3. Removed the ghc910 cabal file as upstream Clash got the prerequisite PR merged (this fixed CI)

I'm pinging @martijnbastiaan once again because I am evil.

The Nix infrastructure of the current project is broken and does not
compile. Rather than fixing it, I rewrote it entirely using nix flakes
instead.
The CI was quite outdated and flatout rejected everything. A clash
upstream PR was merged which allowed me to remove the conditional cabal
file.
@martijnbastiaan
Copy link
Collaborator

Thank you

@martijnbastiaan martijnbastiaan merged commit 16f6d3e into cchalmers:master Jul 24, 2025
9 checks passed
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