GNU bug report logs - #38605
[WIP MLton 0/1] Add MLton

Previous Next

Full log

Message #11 received at 38605 <at> debbugs.gnu.org (full text, mbox):

From: Ludovic Courtès <ludo <at> gnu.org>
To: Brett Gilio <brettg <at> posteo.net>
Cc: 38605 <at> debbugs.gnu.org
Subject: Re: [bug#38605] [WIP MLton 0/1] Add MLton
Date: Sat, 14 Dec 2019 18:58:22 +0100

Hi Brett,

Brett Gilio <brettg <at> posteo.net> skribis:

> 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.

“Not permissible” is strong (in the sense that Guix doesn’t have such a
strong policy because there are cases where there’s no known way to
bootstrap from source), but clearly, if there’s a documented way to
build MLton from source, this is what we should be aiming for.

Thanks!

Ludo’.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.