<Jookia>My plexiglass case is not waterproof so I'm extremely lucky with the Novena. :P
<mark_weaver>hmm. in order to test a proposed workaround for the stale master.tar.gz file that savannah is serving, I'm running "guix pull" for the first time. I find that it wants to build, from source: two different gzip's, two different tar's, libsigsegv, lzip, ed, bzip2, xz, file, diffutils, patch, sed, findutils, gawk, and coreutils. apparently substitutes are not available for these things.
<Jookia>Haha, nah. One odd thing on NixOS is that installing crawl and crawl-tiles creates conflicts from copying files to /share
<mark_weaver>codemac: can you send mail to firstname.lastname@example.org about it? the x86_64 port should work on any x86_64 machine, I think.
<mark_weaver>codemac: I'm actually surprised to hear it, because at least a few GuixSD users run it on the Thinkpad X200 with Core 2 Duo processors, which don't support AVX, but maybe we just never used any functions that used the AVX instructions?
<mark_weaver>but I see that you ran into the problem when running "guix pull", so I guess it's unlikely that the X200 users never ran that.
<codemac>mark_weaver: it's a specific gmp function, and I found a thread on their ML about skylake processors specifically not reporting features correctly in gmp.. so it may be that my 3205U somehow tricks the .so to call into a different function than it should. Any suggestions on how to test theories without rebuilding everything? I was thinking about finding a gmp build log, then running the commands manually
<codemac>locally to build gmp + guile out of guix, then see if I can repro + potentially fix
<roelj>The beagleboard x15 looks interesting.. At this point I'm not using the GPU for anything..
<lfam>I did hear from Olimex that the Beagleboard community was completely unhelpful when Olimex was trying to create a Sitara board. That's a shame, I wish they'd cooperate. But I don't know the full story.
<lfam>Sometimes it's just a matter of not having the (hu)manpower
<lfam>The x15 is also in a different price range. I think the price is estimated to be >$200