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: Tue, 16 Oct 2018 14:03:02 +0200 Message-ID: <87h8hmf6a1.fsf@gnu.org> References: <87a7nssth1.fsf@GlaDOS.home> <87bm841tlx.fsf@gnu.org> <20181008134722.bulv4wn6up6dmvx2@abyayala> <87o9c3yrkq.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]:54651) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gCO42-00012O-Ia for guix-devel@gnu.org; Tue, 16 Oct 2018 08:03:07 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gCO41-0006gr-A8 for guix-devel@gnu.org; Tue, 16 Oct 2018 08:03:06 -0400 In-Reply-To: <87o9c3yrkq.fsf@GlaDOS.home> (Diego Nicola Barbato's message of "Tue, 09 Oct 2018 19:09:57 +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, Sorry for the delay! Diego Nicola Barbato skribis: > Nils Gillmann writes: > >> Ludovic Court=C3=A8s transcribed 1.9K bytes: >>> Hello Diego, >>>=20 >>> Diego Nicola Barbato skribis: >>>=20 >>> > I have written a package definition for Inferno and I would like to k= now >>> > if it would make sense to add it to Guix. I am asking because I am n= ot >>> > sure if it is compatible with the FSDG (bundled fonts, trademarks, ..= .) >>> > and if it would be of any use to anyone. >>>=20 >>> Removing the proprietary(?) fonts like you did sounds like the right > > @Ludo: The fonts I removed are copyright Bigelow & Holmes. They are > licensed in a way that forbids them from being modified and distributed > except as part of Inferno (or software derived from Inferno) [1]. OK, good. >>> 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. Do you know whether other FSDG distros and Debian provide these fonts? >>> Could you also check whether all the code is GPLv2+ like the =E2=80=98l= icense=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=98l= icense=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? >>> 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. > @Ludo: My first attempt at writing the package definition used > =E2=80=98gnu-build-system=E2=80=99. I switched to =E2=80=98trivial-build-= system=E2=80=99 when I realised > that most phases in %standard-phases were ill suited for building > inferno. I will try to rewrite the definition using =E2=80=98gnu-build-s= ystem=E2=80=99. OK. Note that you can always remove the unnecessary phases. >>> > ;; build mk >>> > (invoke "./makemk.sh") >>>=20 >>> It would be ideal if we had a separate package for =E2=80=98mk=E2=80=99= (I suppose it >>> can run on POSIX systems, right?). > > @Ludo: This is Plan 9's mk (their version of make), which, I believe, > can run on POSIX systems. Though, if we were to add mk to Guix, i would > rather package the one provided by Plan 9 from Userspace [7] since that > project seems to be more active than Inferno. OK. That can be done separately if you prefer, in which case just leave a TODO comment about the packaging of mk from Plan 9 from Userspace. Thanks for your reply! Ludo=E2=80=99.