On Sun, Sep 06, 2020 at 07:23:33AM -0700, Vagrant Cascadian wrote:
> I'm not sure if the bootloader can be installed on the full-sized SD
> slot, but certainly works with the annoying microSD slot. Sometimes the
> enumeration of the device number may vary from one kernel version or
> even boot to
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
Replying to self:
On Sun, Sep 06, 2020 at 10:45:22AM +0200, Andreas Enge wrote:
> Will mounting /dev/sda1 to /mnt and issuing "guix system init config.scm /mnt"
> work? (The handbook suggests to do "herd start cow-store /mnt", but I forgot
> what this is needed for.) Will it populate only
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
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
