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
On 2020-09-06, Andreas Enge wrote:
> On Wed, Sep 02, 2020 at 11:33:22AM -0700, Vagrant Cascadian wrote:
>> Yes, I would recommend installing Guix System directly to SATA, since
>> u-boot can boot from SATA partitions marked bootable (either MBR or GPT
>> though what GPT calls it I forget), and
Hello,
sorry for what are probably silly questions, I have difficulties wrapping
my head around how installation works. I am attaching my current
configuration, copy-pasted from our Overdrive machines and augmented
by snippets from yours, Vagrant.
Right now I am on Debian with Guix as package
Konrad Hinsen writes:
> That sounds good, as does getting rid of ADSF bundles. I have more or
> less given up on numcl, for example, which fails to compile to a bundle
> in recent versions but seems to work find via fasls (at least it works
> fine with quicklisp).
It seems that the Common
