search

NixOS / nixpkgs

Nix Packages collection & NixOS
MIT License
17.99k stars 14.01k forks source link

new version of base-compat breaks cryptol build #49804

Closed GallagherCommaJack closed 1 year ago

GallagherCommaJack commented 5 years ago

Issue description

Cryptol 2.6.0 from Hackage requires base-compat < 0.10, but the latest version of base-compat is 0.10. Note this isn't required for the latest version of Cryptol on github, which has updated the requirement to base-compat < 0.11.

I've tried building on both 18.09 and unstable, both have the same issue since they include base-compat 0.10 but build Cryptol from Hackage.

Steps to reproduce

nix-env -i cryptol

Technical details

Please run nix-shell -p nix-info --run "nix-info -m" and paste the results.

GallagherCommaJack commented 5 years ago

Possible solutions: 1) add alternate base-compat package to nixpkgs, make cryptol package override with alternate version 2) make cryptol package use github instead of hackage 3) wait for cryptol 2.7 to hit hackage (by which point a different dependency might be too new)

matthewbauer commented 5 years ago

I would ask for a new release at https://github.com/GaloisInc/cryptol. We automate package updates in Nixpkgs, and it follows the Stackage LTS. You can also ask for cryptol to be added to Stackage's set.

You can also manually handle these kinds of thing with overrides:

let nixpkgs = import <nixpkgs> {};
    inherit (nixpkgs) haskell;
in (haskell.packages.ghc843
    .extend (haskell.lib.packageSourceOverrides { base-compat = "0.9.3"; })
).cryptol
langston-barrett commented 5 years ago

Cryptol 2.7.0 is on Hackage and Github. Relase 2.8.0 should be coming very soon as well.

stale[bot] commented 4 years ago

Thank you for your contributions.

This has been automatically marked as stale because it has had no activity for 180 days.

If this is still important to you, we ask that you leave a comment below. Your comment can be as simple as "still important to me". This lets people see that at least one person still cares about this. Someone will have to do this at most twice a year if there is no other activity.

Here are suggestions that might help resolve this more quickly:

  1. Search for maintainers and people that previously touched the related code and @ mention them in a comment.
  2. Ask on the NixOS Discourse.
  3. Ask on the #nixos channel on irc.freenode.net.
Artturin commented 1 year ago

cryptol was removed in 2020