From mboxrd@z Thu Jan  1 00:00:00 1970
From: Ricardo Wurmus <ricardo.wurmus@mdc-berlin.de>
Subject: Re: [PATCH] gnu: Add Augeas.
Date: Tue, 2 Feb 2016 20:11:18 +0100
Message-ID: <877finhqqx.fsf@mdc-berlin.de>
References: <idjoacf9dmg.fsf@bimsb-sys02.mdc-berlin.net>
	<20160122202934.GB27435@jasmine>
	<idjfuxb9knk.fsf@bimsb-sys02.mdc-berlin.net>
	<CAKFHe2Qd+ErcLFMTGXMzZUaaBCt1Q6AwVapyO3nhAJVVKt6hTA@mail.gmail.com>
Mime-Version: 1.0
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: quoted-printable
Return-path: <guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org>
Received: from eggs.gnu.org ([2001:4830:134:3::10]:51455)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <Ricardo.Wurmus@mdc-berlin.de>) id 1aQgMO-0007mZ-QD
	for guix-devel@gnu.org; Tue, 02 Feb 2016 14:11:33 -0500
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <Ricardo.Wurmus@mdc-berlin.de>) id 1aQgML-0005p5-JM
	for guix-devel@gnu.org; Tue, 02 Feb 2016 14:11:32 -0500
Received: from venus.bbbm.mdc-berlin.de ([141.80.25.30]:46233)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <Ricardo.Wurmus@mdc-berlin.de>) id 1aQgML-0005og-AG
	for guix-devel@gnu.org; Tue, 02 Feb 2016 14:11:29 -0500
In-Reply-To: <CAKFHe2Qd+ErcLFMTGXMzZUaaBCt1Q6AwVapyO3nhAJVVKt6hTA@mail.gmail.com>
List-Id: "Development of GNU Guix and the GNU System distribution."
	<guix-devel.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/guix-devel>,
	<mailto:guix-devel-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/archive/html/guix-devel>
List-Post: <mailto:guix-devel@gnu.org>
List-Help: <mailto:guix-devel-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/guix-devel>,
	<mailto:guix-devel-request@gnu.org?subject=subscribe>
Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org
Sender: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org
To: Tobias Geerinckx-Rice <tobias.geerinckx.rice@gmail.com>
Cc: guix-devel <guix-devel@gnu.org>


Tobias Geerinckx-Rice <tobias.geerinckx.rice@gmail.com> writes:

> Disclaimer: NixOS weenie here,
>
> On 2 February 2016 at 16:50, Ricardo Wurmus
> <ricardo.wurmus@mdc-berlin.de> wrote:
>> I don=E2=80=99t know.  The problem here is that when augeas is used as=
 a library
>> and you only add =E2=80=9Caugeas=E2=80=9D (but not =E2=80=9Clibxml2=E2=
=80=9D) as an input the
>> configuration will silently fail.
>
> Isn't this better solved by patching libaugeas.la? Or does Guix not
> work like that?

What patch are you proposing?  Augeas (the library) declares that any
user also needs to have libxml2.  Propagating an input achieves this.

The problem that present itself to me is that propagation also means
that a user installing Augeas (the application) will end up with libxml2
in their profile.  That=E2=80=99s unnecessary for using the application.

I wonder if we could meaningfully change the semantics of propagating
inputs.

~~ Ricardo