Hello,
I am trying to set up Agda, and I have reduced it to a simpler problem:
$ cat test.hs
import Numeric.IEEE
main = return ()
$ genv --pure --ad-hoc ghc@8.6 ghc-ieee754 gcc-toolchain
% ghc test.hs
Linking test ...
ld: cannot find -lHSieee754-0.8.0-IfCS1Dp7pQVIOQRslM6kD
collect2: error: ld re
Hi Jakub,
Jakub Kądziołka writes:
> I am trying to set up Agda, and I have reduced it to a simpler problem:
>
> $ cat test.hs
> import Numeric.IEEE
>
> main = return ()
> $ genv --pure --ad-hoc ghc@8.6 ghc-ieee754 gcc-toolchain
> % ghc test.hs
> Linking test ...
> ld: cannot find -lHSieee754-0.8
On Mon, Sep 07, 2020 at 09:50:51AM -0400, Timothy Sample wrote:
> Hi Jakub,
>
> Jakub Kądziołka writes:
>
> > I am trying to set up Agda, and I have reduced it to a simpler problem:
> >
> > $ cat test.hs
> > import Numeric.IEEE
> >
> > main = return ()
> > $ genv --pure --ad-hoc ghc@8.6 ghc-ieee
Jakub Kądziołka writes:
> On Mon, Sep 07, 2020 at 09:50:51AM -0400, Timothy Sample wrote:
>
>> GHC needs a special flag to link shared libraries. We recently starting
>> building shared libraries for our Haskell packages. The static ones are
>> still being built, but they go to a separate outpu