From mboxrd@z Thu Jan 1 00:00:00 1970 From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) Subject: Re: Packaging Inferno Date: Wed, 24 Oct 2018 14:58:59 +0200 Message-ID: <87tvlb4i24.fsf@gnu.org> References: <87a7nssth1.fsf@GlaDOS.home> <87bm841tlx.fsf@gnu.org> <20181008134722.bulv4wn6up6dmvx2@abyayala> <87o9c3yrkq.fsf@GlaDOS.home> <87h8hmf6a1.fsf@gnu.org> <87o9bnien7.fsf@GlaDOS.home> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:44369) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gFIka-0003Go-QJ for guix-devel@gnu.org; Wed, 24 Oct 2018 08:59:05 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gFIkX-00067h-NP for guix-devel@gnu.org; Wed, 24 Oct 2018 08:59:04 -0400 In-Reply-To: <87o9bnien7.fsf@GlaDOS.home> (Diego Nicola Barbato's message of "Sun, 21 Oct 2018 15:59:56 +0200") List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: "Guix-devel" To: Diego Nicola Barbato Cc: guix-devel@gnu.org Hi Diego, Diego Nicola Barbato skribis: > I have sent a patch incorporating most of your feedback to > guix-patches@gnu.org (bug#33080). Thank you, and sorry that review takes some time. I guess that=E2=80=99s t= he price to pay when submitting non-trivial packages. ;-) >> Do you know whether other FSDG distros and Debian provide these fonts? > > They do not provide these exact fonts but those from which some of these > are derived (misc and jis are "based" on X fonts, vera is probably based > on Bitstream Vera). > It is harder to find the origin of the other fonts as there is little > information about them (big5 was "provided by students at the University > of Hong Kong" according to its README; courier, gb, and minitel do not > contain any information). The remaining fonts just reuse "subfonts" > from the other directories. OK. Courier is a standard PostScript font (with a free implementation by the URW++ foundry), so it=E2=80=99s probably fine. I don=E2=80=99t know= about the others; it=E2=80=99s probably safe, but perhaps you could ask for advice on= the GNU/Linux-libre mailing list? (See .) >> Note that the page above says that the Lucent PL is incompatible with >> the GPL. Are we combining GPL code with Lucent code here? > > AFAICT LPL code (libmp libsec) is combined with GPL code when building > emu. There is some more LPL code in the os directory, which is only > needed for building native inferno, and in the appl and module > directories, which contain Limbo code which is run on inferno but not > used to build it. > The NOTICE says that all licenses are compatible with the GPLv2 but that > is apparently incorrect. > As I am not very familiar with software licenses I do not know what to > do about this. According to the GPL FAQ [*] it is possible to add an > exception when using incompatible libraries, but I am hesitant to > suggest this in a bug report to upstream because I do not know if that > applies here. > > Is this a blocker? What you=E2=80=99re writing about libmp/libsec linked into =E2=80=98emu=E2= =80=99 sounds like it could be a GPL violation. Again, to be sure, I=E2=80=99d suggest getting feedback from the GNU/Linux-libre mailing list (in a separate thread.) >> Sounds good. Note that, if possible, we should stick to the usual file >> system layout (that is OUT/share, OUT/lib, OUT/bin, etc. and not >> OUT/usr.) Though if keeping the /usr/inferno layout style is really >> important, we can make an exception. > > The layout style is not important; I only used OUT/usr/inferno because > /usr/inferno is the default in mkconfig. I have changed this to > OUT/share/inferno, which matches what the Nix package [=E2=80=A0] does. Sounds good. Thank you! Ludo=E2=80=99.