GNU bug report logs - #75778
[PATCH] gnu: Add microhs.

Previous Next

Full log

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

From: Ludovic Courtès <ludo <at> gnu.org>
To: Lars-Dominik Braun <lars <at> 6xq.net>
Cc: 75778 <at> debbugs.gnu.org, divya <at> subvertising.org, gay <at> disroot.org
Subject: Re: [bug#75778] [PATCH] gnu: Add microhs.
Date: Wed, 12 Feb 2025 10:59:09 +0100

Hello,

Lars-Dominik Braun <lars <at> 6xq.net> skribis:

>>From 30612fd4a49d73a9c9747b68d98ce94c1993ee08 Mon Sep 17 00:00:00 2001
> Message-ID: <30612fd4a49d73a9c9747b68d98ce94c1993ee08.1737875219.git.lars <at> 6xq.net>
> From: Homo <gay <at> disroot.org>
> Date: Thu, 23 Jan 2025 09:36:26 +0200
> Subject: [PATCH] gnu: Add microhs.
>
> Thanks to cooperative work with Lennart Augustsson, MicroHs is now bootstrappable with Hugs.
>
> Skipping build of CPPHS because it depends on CPPHS, as well as skipping build of MicroCabal because its source lives in <https://github.com/augustss/MicroCabal>, so need to package it separately.
>
> * gnu/packages/patches/microhs-Makefile.patch: New file.
> * gnu/local.mk (dist_patch_DATA): Register it.
> * gnu/packages/haskell.scm (microhs): New variable.
>
> Change-Id: Iedbec3fef125044a36f7beed0d5db0d7ad123d5d
> Signed-off-by: Lars-Dominik Braun <lars <at> 6xq.net>

Lars, please commit if you think it’s ready.

Thanks,
Ludo’.

Previous Next

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