[Nix-dev] Guidance on packaging extended-reals

Carlo Nucera meditans at gmail.com
Mon Dec 8 09:22:23 CET 2014


Thanks again, in the end what I did for now is using the --no-check
flag. I'll alert the mantainer, however. Is it considered bad to push
in nixpkgs a package with the --no-check flag?

Bests
Carlo Nucera

2014-12-07 11:58 GMT+01:00 Peter Simons <simons at cryp.to>:
> Hi Carlo,
>
> extended-reals depends on the obsolete QuickCheck version 2.6 -- which
> we don't have. We have version 2.7. You can do the following things to
> remedy the issue (in order of preference):
>
>  1) Report the problem upstream [1] and ask them to release a new
>     version that builds with recent versions of QuickCheck.
>
>  2) Generate the cabal file with the --jailbreak option. Such a build
>     ignores the version restrictions, and chances are that this works
>     fine.
>
>  3) If (2) doesn't help, use the --no-check flag to disable the test
>     suite so that the dependency on QuickCheck goes away altogether.
>
> Best regards,
> Peter
>
>
> [1] https://github.com/msakai/extended-reals/issues
>
> _______________________________________________
> nix-dev mailing list
> nix-dev at lists.science.uu.nl
> http://lists.science.uu.nl/mailman/listinfo/nix-dev


More information about the nix-dev mailing list