From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from eggs.gnu.org ([2001:470:142:3::10]:41406)
 by lists.gnu.org with esmtp (Exim 4.90_1)
 (envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1igGke-0000SR-7V
 for guix-patches@gnu.org; Sat, 14 Dec 2019 18:23:09 -0500
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
 (envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1igGkZ-0002SS-TP
 for guix-patches@gnu.org; Sat, 14 Dec 2019 18:23:08 -0500
Received: from debbugs.gnu.org ([209.51.188.43]:58118)
 by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16)
 (Exim 4.71) (envelope-from <Debian-debbugs@debbugs.gnu.org>)
 id 1igGkZ-0002Ot-Oi
 for guix-patches@gnu.org; Sat, 14 Dec 2019 18:23:03 -0500
Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2)
 (envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1igG8p-0005m7-PH
 for guix-patches@gnu.org; Sat, 14 Dec 2019 17:44:03 -0500
Subject: [bug#38605] [WIP MLton 0/1] Add MLton
Resent-Message-ID: <handler.38605.B38605.157636341322093@debbugs.gnu.org>
From: Ludovic =?UTF-8?Q?Court=C3=A8s?= <ludo@gnu.org>
References: <877e2z7e3x.fsf@posteo.net>
Date: Sat, 14 Dec 2019 18:58:22 +0100
In-Reply-To: <877e2z7e3x.fsf@posteo.net> (Brett Gilio's message of "Fri, 13
 Dec 2019 21:58:10 -0600")
Message-ID: <87v9qix001.fsf@gnu.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
List-Id: <guix-patches.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/guix-patches>,
 <mailto:guix-patches-request@gnu.org?subject=unsubscribe>
List-Archive: <https://lists.gnu.org/archive/html/guix-patches>
List-Post: <mailto:guix-patches@gnu.org>
List-Help: <mailto:guix-patches-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/guix-patches>,
 <mailto:guix-patches-request@gnu.org?subject=subscribe>
Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org
Sender: "Guix-patches" <guix-patches-bounces+kyle=kyleam.com@gnu.org>
To: Brett Gilio <brettg@posteo.net>
Cc: 38605@debbugs.gnu.org

Hi Brett,

Brett Gilio <brettg@posteo.net> skribis:

> MLton is a little bit tricker to package properly as it runs in to the is=
sue
> 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 p=
atch
> series uses a series of patched ELFs to compile MLton from source. But ob=
viously
> this will not be permissable upstream.

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

Thanks!

Ludo=E2=80=99.