[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Using Haskell library packages - linker error
From: |
Jakub Kądziołka |
Subject: |
Using Haskell library packages - linker error |
Date: |
Mon, 7 Sep 2020 01:27:52 +0200 |
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 returned 1 exit status
`gcc' failed in phase `Linker'. (Exit code: 1)
How can I fix this error? Am I doing something wrong, or is this a
packaging bug?
Regards,
Jakub Kądziołka
signature.asc
Description: PGP signature
- Using Haskell library packages - linker error,
Jakub Kądziołka <=