Mark H Weaver <m...@netris.org> writes:
> l...@gnu.org (Ludovic Courtès) writes:
>
>> civodul pushed a commit to branch master
>> in repository guix.
>>
>> commit 9b7ee28d5700b47ae34bd47c32d250f042fbdbbd
>> Author: Andy Patterson <ajpat...@uwaterloo.ca>
>> 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:
--8<---------------cut here---------------start------------->8---
Making XWINDOWS_SIG
Making XEVENT_SIG
Making XTYPES_SIG
Created signature XTYPES_SIG
Created signature XEVENT_SIG
Created signature XWINDOWS_SIG
Created structure XWindows
Making Motif
Making MotifTypes
Created structure MotifTypes
Making XmTypes
Created structure XmTypes
Making MotifCore
Created structure MotifCore
Making InitialiseCore
Created structure InitialiseCore
Making MOTIF_SIG
Making XM_TYPES
Making MOTIF_TYPES
Created signature MOTIF_TYPES
Created signature XM_TYPES
Created signature MOTIF_SIG
Created structure Motif
make[1]: *** [Makefile:1143: polyexport.o] Error 1
make[1]: Leaving directory '/tmp/guix-build-polyml-5.7.drv-0/polyml-5.7'
make: *** [Makefile:706: check-recursive] Error 1
phase `check' failed after 26.5 seconds
builder for `/gnu/store/g8fkhnji7cizvlgcxh1nyr5jplpmh6fd-polyml-5.7.drv' failed
with exit code 1
guix package: error: build failed: build of
`/gnu/store/g8fkhnji7cizvlgcxh1nyr5jplpmh6fd-polyml-5.7.drv' failed
--8<---------------cut here---------------end--------------->8---
Mark
