Subject: [bug#75778] [PATCH] gnu: Add microhs.

From: Ludovic Courtès <[email-masked]>
Date: Wed, 12 Feb 2025 10:59:09 +0100

Hello,

Lars-Dominik Braun <[email-masked]> skribis:

>>>From 30612fd4a49d73a9c9747b68d98ce94c1993ee08 Mon Sep 17 00:00:00 2001
> Message-ID: <[email-masked]>
> From: Homo <[email-masked]>
> 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 <[email-masked]>

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

Thanks,
Ludo’.