GNU bug report logs - #55606
[PATCH 2/2] gnu: Add hare.

Previous Next

Full log

View this message in rfc822 format

From: "(" <paren <at> disroot.org>
To: "Liliana Marie Prikler" <liliana.prikler <at> gmail.com>, "Antero Mejr" <antero <at> mailbox.org>, <55606 <at> debbugs.gnu.org>
Cc: Tobias Geerinckx-Rice <me <at> tobias.gr>, Maxime Devos <maximedevos <at> telenet.be>
Subject: [bug#55606] [PATCH 2/2] gnu: Add hare.
Date: Sun, 26 Jun 2022 12:05:55 +0100

On Sun Jun 26, 2022 at 8:18 AM BST, Liliana Marie Prikler wrote:
> Is there a need to split HAREPATH like that?

Yes. The standard library modules and third-party modules are stored in
different directories. (Don't ask... :P)

> From a functionality
> perspective, a singular "include/hare" or similar ought to be enough. 
> I'd specifically avoid "src" since it exists "only for reference
> purposes" in the FHS.  Other distros mandate that the linux kernel
> source code be put there.

Well, it contains source code, and Hare makefiles install into /usr/src
by default, so using src makes sense.

    -- (

Previous Next

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