Re: Question about Haskell packages

[Federico Beffa]

Paul van der Walt <address@hidden> writes:

> Hello Guix,
>
> Yesterday i thought to myself that it would be cool to mess around with
> Idris <http://www.idris-lang.org>, on of the dependently-typed
> languages.  Turns out it depends on quite a lot of Hackage packages!  I
> steamed ahead, and now i have packaged all the dependencies.
>
> One weird thing i ran into though, is that frequently, a library L1 will
> build fine, but when you use it as an input to some other library L2,
> the configure phase will fail, saying that L1 is broken, since
> it is missing its dependencies D1..Dn.  Iyzsong suggested on IRC that i
> do like nixpkgs does [0] and simply add all dependencies as
> propagated-inputs.  That should solve that issue, but since i don't 100%
> understand what's going on, i thought it wise to ask you, wise and
> attractive users of Guix, for advice.

The reason is likely that L1 needs one of its input at run time. If
another package declares L1 as its input, but not the library needed by
L1 at run-time, the latter will not be visible in the build environment
(only the declared packages plus some implicit inputs are visible) and
L1 will not be functional. In such a case the library needed at run-time
has to be declared as a propagated-input.

Regards,
Fede