[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#55606] [PATCH 2/2] gnu: Add hare.
From: |
( |
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.
-- (