[Nix-dev] Guidance on packaging extended-reals

[Peter Simons]

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