GNU bug report logs -
#38605
[WIP MLton 0/1] Add MLton
Previous Next
Reported by: Brett Gilio <brettg <at> posteo.net>
Date: Sat, 14 Dec 2019 03:59:02 UTC
Severity: normal
Done: zimoun <zimon.toutoune <at> gmail.com>
Bug is archived. No further changes may be made.
Full log
Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):
[0000-cover-letter.patch (text/x-patch, inline)]
From d6e94b0a04bf71e51d29b7228bd4233bf763eaaa Mon Sep 17 00:00:00 2001
From: Brett Gilio <brettg <at> posteo.net>
Date: Fri, 13 Dec 2019 21:54:59 -0600
Subject: [WIP MLton 0/1] Add MLton
MLton is a little bit tricker to package properly as it runs in to the issue
of requiring a non-source, pre-compiled bootstrap. There is a way to get it to
build against SMLnj though (which will be my next WIP bug report). This patch
series uses a series of patched ELFs to compile MLton from source. But obviously
this will not be permissable upstream.
As such I wanted to share my WIP on this for anybody who has any ideas and
so I can keep track of my own progress.
Please send revisions by re-rolling n+1.
Brett Gilio (1):
gnu: Add mlton.
gnu/packages/sml.scm | 138 +++++++++++++++++++++++++++++++++++++++++++
1 file changed, 138 insertions(+)
--
2.24.1
This bug report was last modified 3 years and 23 days ago.
Previous Next
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.