Re: 02/04: gnu: Add Poly/ML.

[Ludovic Courtès]

Mark H Weaver <address@hidden> skribis:

> Mark H Weaver <address@hidden> writes:
>
>> address@hidden (Ludovic Courtès) writes:
>>
>>> civodul pushed a commit to branch master
>>> in repository guix.
>>>
>>> commit 9b7ee28d5700b47ae34bd47c32d250f042fbdbbd
>>> Author: Andy Patterson <address@hidden>
>>> Date:   Sat Jul 15 18:17:25 2017 -0400
>>>
>>>     gnu: Add Poly/ML.
>>>     
>>>     * gnu/packages/sml.scm: New file.
>>>     * gnu/local.mk (GNU_SYSTEM_MODULES): Add it.
>>
>> Thank you for this!  I've become interested in some projects that
>> require Poly/ML, notably CakeML and Milawa/Jitawa which are based on
>> HOL4 and apparently require Poly/ML.  Now I can play with those things :)
>
> This failed to build on my x86_64 system running GuixSD.  Here's the
> tail of the build log:

FWIW it succeeded on my laptop.  Could it be a parallel-build issue?

Ludo’.