GNU bug report logs - #37963
[PATCH] gnu: scdoc: Set PREFIX instead of patching Makefile.

Previous Next

Full log

Message #10 received at 37963-done <at> debbugs.gnu.org (full text, mbox):

From: Marius Bakke <mbakke <at> fastmail.com>
To: Brendan Tildesley <mail <at> brendan.scot>, 37963-done <at> debbugs.gnu.org
Subject: Re: [bug#37963] [PATCH] gnu: scdoc: Set PREFIX instead of patching
 Makefile.
Date: Mon, 28 Oct 2019 23:01:07 +0100

[Message part 1 (text/plain, inline)]

Brendan Tildesley <mail <at> brendan.scot> writes:

> scdoc installs a scdoc.pc file in lib/pkgconfig, but it embeds
> prefix=/usr/local unless the Makefile was patched before 'build. However, it
> seemed better to simply set the PREFIX make-flag instead, since the Makefile
> correctly checks for it. Diffoscope shows the output is identical with either
> method.
>
> * gnu/packages/man.scm (scdoc)[arguments]: Set PREFIX instead of patching
> Makefile with output path.

Good catch, applied!

[signature.asc (application/pgp-signature, inline)]

Previous Next

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