Mark H Weaver <[email protected]> skribis: > Mark H Weaver <[email protected]> writes: > >> [email protected] (Ludovic Courtès) writes: >> >>> civodul pushed a commit to branch master >>> in repository guix. >>> >>> commit 9b7ee28d5700b47ae34bd47c32d250f042fbdbbd >>> Author: Andy Patterson <[email protected]> >>> 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’.
