From mboxrd@z Thu Jan 1 00:00:00 1970 From: Diego Nicola Barbato Subject: Re: Packaging Inferno Date: Sun, 21 Oct 2018 15:59:56 +0200 Message-ID: <87o9bnien7.fsf@GlaDOS.home> References: <87a7nssth1.fsf@GlaDOS.home> <87bm841tlx.fsf@gnu.org> <20181008134722.bulv4wn6up6dmvx2@abyayala> <87o9c3yrkq.fsf@GlaDOS.home> <87h8hmf6a1.fsf@gnu.org> 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]:57029) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gEEGx-0000F9-PF for guix-devel@gnu.org; Sun, 21 Oct 2018 10:00:05 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gEEGu-00006P-FB for guix-devel@gnu.org; Sun, 21 Oct 2018 10:00:03 -0400 Received: from mout01.posteo.de ([185.67.36.65]:43927) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1gEEGu-0008S4-0X for guix-devel@gnu.org; Sun, 21 Oct 2018 10:00:00 -0400 Received: from submission (posteo.de [89.146.220.130]) by mout01.posteo.de (Postfix) with ESMTPS id E4ABC2113B for ; Sun, 21 Oct 2018 15:59:57 +0200 (CEST) In-Reply-To: <87h8hmf6a1.fsf@gnu.org> ("Ludovic \=\?utf-8\?Q\?Court\=C3\=A8s\=22'\?\= \=\?utf-8\?Q\?s\?\= message of "Tue, 16 Oct 2018 14:03:02 +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: Ludovic =?utf-8?Q?Court=C3=A8s?= Cc: guix-devel@gnu.org Hello Ludo, I have sent a patch incorporating most of your feedback to guix-patches@gnu.org (bug#33080). ludo@gnu.org (Ludovic Court=C3=A8s) writes: > Hi Diego, > > Sorry for the delay! No problem (my replies are not quite instantaneous either). > Diego Nicola Barbato skribis: > >> Nils Gillmann writes: >> >>> Ludovic Court=C3=A8s transcribed 1.9K bytes: >>>> Hello Diego, >>>>=20 >>>> Diego Nicola Barbato skribis: [...snip...] >>>> thing to do. As for trademarks, please see >>>> >>>> to determine whether there=E2=80=99s a problem at all. >> >> @Ludo: Judging from the link there seems to be no problem with the >> trademarks after all. The bundled fonts (the ones I did not remove), >> however, are provided in a format native to Inferno (and Plan 9) and can >> not be rebuilt from source, which might be a problem according to this >> [2] thread. > > Sometimes TTF files are considered source, so it really depends. Unless > there=E2=80=99s evidence that there exists another source for these fonts= , I=E2=80=99d > say we can assume it=E2=80=99s fine, possibly with a comment. I have found no evidence that there exists another source. > 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. >>>> Could you also check whether all the code is GPLv2+ like the =E2=80=98= license=E2=80=99 >>>> field suggests? >> >> @Ludo: According to the NOTICE files scattered through the source tree >> and the Inferno home page [3] different parts of Inferno are licensed >> under GPLv2+, LGPLv2+, Expat (MIT-template), Lucent Public License 1.02 >> and Freetype. >> Am I right to assume that I have to mention all of them in the =E2=80=98= license=E2=80=99 >> field even though the NOTICE in the root of the source tree [4] says >> that the "collection" is governed by the GPLv2+?=20=20 > > Yes, but you can leave a comment explaining that the combined work is > effectively GPLv2+. > >> I could not find the Lucent Public License [5] in the (guix licenses) >> module. Should I add it or should I use =E2=80=98non-copyleft=E2=80=99? > > You can use =E2=80=98non-copyleft=E2=80=99 in that case, with a reference= to > . > > 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? >>>> Do I get it right that the build result is a script that launches >>>> Inferno as a GNU/Linux process? It seems like it could be useful. >> >> @Ludo: That is right. I got the script from here [6]. It starts the >> window manager and logs in as the current user; it is supposed to >> provide a convenient entry point to start exploring the system. >> Alongside this script in %out/bin/ there is also a symlink to the emu >> binary which is installed by =E2=80=98mk install=E2=80=99 under >> %out/usr/inferno/Linux/386/bin/ (Linux/arm/bin on arm machines). This >> directory contains several other executables. I am considering making >> some of them (like the Limbo compiler) available under %out/bin in the >> same way as emu.=20 > > 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. [...snip...] > Thanks for your reply! > > Ludo=E2=80=99. Thanks for the feedback! Diego [*]: https://www.gnu.org/licenses/gpl-faq.html#GPLIncompatibleLibs [=E2=80=A0]: https://github.com/NixOS/nixpkgs/blob/master/pkgs/applications= /inferno/default.nix