From mboxrd@z Thu Jan 1 00:00:00 1970 From: Diego Nicola Barbato Subject: Re: Packaging Inferno Date: Tue, 09 Oct 2018 19:09:57 +0200 Message-ID: <87o9c3yrkq.fsf@GlaDOS.home> References: <87a7nssth1.fsf@GlaDOS.home> <87bm841tlx.fsf@gnu.org> <20181008134722.bulv4wn6up6dmvx2@abyayala> Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="=-=-=" Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:42749) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1g9vWH-000251-4H for guix-devel@gnu.org; Tue, 09 Oct 2018 13:10:06 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1g9vWE-0002IM-DJ for guix-devel@gnu.org; Tue, 09 Oct 2018 13:10:05 -0400 Received: from mout01.posteo.de ([185.67.36.65]:39728) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1g9vWD-0002H2-RG for guix-devel@gnu.org; Tue, 09 Oct 2018 13:10:02 -0400 Received: from submission (posteo.de [89.146.220.130]) by mout01.posteo.de (Postfix) with ESMTPS id 12BAA2120A for ; Tue, 9 Oct 2018 19:09:58 +0200 (CEST) In-Reply-To: <20181008134722.bulv4wn6up6dmvx2@abyayala> (Nils Gillmann's message of "Mon, 8 Oct 2018 13:47:22 +0000") 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?= , Nils Gillmann Cc: guix-devel@gnu.org --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Hello, Thank you for your feedback. 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 kn= ow >> > if it would make sense to add it to Guix. I am asking because I am not >> > 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]. >> 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. >> Could you also check whether all the code is GPLv2+ like the =E2=80=98li= cense=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=98lic= ense=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 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? >> 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 >> Some comments about the package definition: >>=20 >> > (build-system trivial-build-system) >> > (native-inputs `(("bash" ,bash) >> > ("coreutils" ,coreutils) >> > ("grep" ,grep) >> > ("sed" ,sed) >> > ("awk" ,gawk) >> > ("xz" ,xz) >> > ("tar" ,tar) >> > ("gcc-toolchain" ,gcc-toolchain) = )) >> > (inputs `(("libx11" ,libx11) >> > ("xorgproto" ,xorgproto) >> > ("libxext" ,libxext))) >>=20 >> Like Efraim wrote, I think using =E2=80=98gnu-build-system=E2=80=99 woul= d allow you to >> simplify the package definition. @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-sy= stem=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-sys= tem=E2=80=99. >> > ;; 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. > I can finish my mk package and send it in. > My mk is the canonical set of mk files as used by bmake. > Sources are from http://crufty.net/help/sjg/mk-files.htm > and/or places linked from there. > > If this matches the mk mentioned here, I can create this patch. @Nils: Your mk package seems to be unrelated to Plan 9's mk. >> Once you=E2=80=99ve double-checked the licensing and trademark situation= , I >> think you can go ahead and submit it as a patch (or two patches, with >> =E2=80=98mk=E2=80=99 separately). >>=20 >> Thanks! >>=20 >> Ludo=E2=80=99. >>=20 Greetings, Diego [1]:=20 --=-=-= Content-Type: application/octet-stream Content-Disposition: attachment; filename=LICENCE Content-Transfer-Encoding: base64 Rk9OVCBMSUNFTkNFCgpUaGlzIGFwcGxpZXMgb25seSB0byB0aG9zZSBmb250cyB0aGF0IGFyZSBj b3B5cmlnaHQgQmlnZWxvdyAmIEhvbG1lcy4KCllvdSBNQVkgTk9UOgoKLSBtYWtlIGFuIEFEQVBU QVRJT04gb2YgZmlsZXMgdGhhdCBhcmUgY29weXJpZ2h0IEJpZ2Vsb3cgJiBIb2xtZXMgZm91bmQg aW4gdGhlIEluZmVybm8gZGlzdHJpYnV0aW9uIChgYEZPTlQgU09GVFdBUkUnJykuCi0gZGlzdHJp YnV0ZSBGT05UIFNPRlRXQVJFIGV4Y2VwdCBhcyBwYXJ0IG9mIGEgbGFyZ2VyIHNvZnR3YXJlIGRp c3RyaWJ1dGlvbgppbmNvcnBvcmF0aW5nIHRoZSBJbmZlcm5vIHN5c3RlbSBzb2Z0d2FyZSAoYW5k IGFueSBhZGFwdGF0aW9ucyBvZiBpdCBZT1UgbWF5IG1ha2UpCnByb3ZpZGVkIHRoYXQgdGhlIGRp c3RyaWJ1dGlvbiBpbmNsdWRlcyBtaW5pbXVtIHN1Yi1saWNlbmNlIHRlcm1zIGFzIHNwZWNpZmll ZCBiZWxvdy4KClRoZSBGT05UIFNPRlRXQVJFIGluY2x1ZGVzIEZvbnRzIGFuZCBUeXBlZmFjZXMg dGhhdCBhcmUgbGljZW5zZWQgZnJvbQpCaWdlbG93ICYgSG9sbWVzIEluYyAoIkImSCIpLiAgWU9V IG11c3QgaW5jbHVkZSB0aGUgZm9sbG93aW5nIGxpY2VuY2UKdGVybXMgd2hlbiBkaXN0cmlidXRp bmcgdGhlIEZvbnRzIG9yIFR5cGVmYWNlcyB0byBhbnkgc3VibGljZW5zZWUgYW5kCmltcG9zZSB0 aGUgc2FtZSByZXN0cmljdGlvbnMgb24gdGhlbSBpbiByZXNwZWN0IG9mIGFueSBzdWJsaWNlbmNl IHRoYXQKdGhleSBtYXkgZ3JhbnQuCgoxLiBMaWNlbmNlIGFuZCBUaXRsZQpUaGlzIEZPTlQgTElD RU5DRSBjb252ZXlzIGEgbGltaXRlZCByaWdodCB0byB1c2UsIHJlcHJvZHVjZSBhbmQKZGlzdHJp YnV0ZSB0aGUgRm9udHMgYW5kIFR5cGVmYWNlcyBpbiBhY2NvcmRhbmNlIHdpdGggdGhlIHRlcm1z IGFuZApjb25kaXRpb25zIGluIHRoaXMgRk9OVCBMSUNFTkNFIGFuZCB0aGUgSW5mZXJubyBCaW5h cnkgYW5kIExpbWl0ZWQKU291cmNlIExpY2VuY2UgQWdyZWVtZW50IGJ1dCBkb2VzIG5vdCBjb252 ZXkgdGl0bGUgb3IgYW55IG90aGVyCmxpY2VuY2VzIG9yIHJpZ2h0cyB3aGljaCBhcmUgbm90IGV4 cHJlc3NseSBwcm92aWRlZCByZWxhdGluZyB0byB0aGUKVHlwZWZhY2VzIG9yIEZvbnRzIHRvIFlP VSwgc3VibGljZW5zZWVzIG9yIGFueSBvdGhlciBlbmQgdXNlcnMuICBZT1UKYWNrbm93bGVkZ2Ug YW5kIGFncmVlIHRoYXQgQiZIIG93bnMgYWxsIHByb3ByaWV0YXJ5IHJpZ2h0cyBpbmNsdWRpbmcK d2l0aG91dCBsaW1pdGF0aW9uIGFsbCBpbnRlbGxlY3R1YWwgcHJvcGVydHkgcmlnaHRzIGluIHRo ZSBUeXBlZmFjZXMKYW5kIEZvbnRzIGFuZCBkZXJpdmF0aXZlIHdvcmtzLgoKMi4gQiZIIFRyYWRl IE1hcmsgT3duZXJzaGlwCllPVSBhY2tub3dsZWRnZSB0aGF0IEImSCBvd25zIHRoZSBlbnRpcmUg cmlnaHQsIHRpdGxlIGFuZCBpbnRlcmVzdCBpbgp0aGUgdHJhZGUgbWFya3MgIkx1Y2lkYSBhbmQg QmlnZWxvdyAmIEhvbG1lcyIuCgozLiBOb3RpY2VzCjMuMSBZT1UgYWdyZWUgdGhhdCBhbGwgYWR2 ZXJ0aXNpbmcsIHByb21vdGlvbiwgbWFya2V0aW5nIGFuZApkaXN0cmlidXRpb24gaW4gY29ubmVj dGlvbiB3aXRoIHRoaXMgRk9OVCBMSUNFTkNFIHNoYWxsIGFja25vd2xlZGdlCmFuZCB1c2UgdGhl IHRyYWRlIG1hcmtzIG9mIEImSCBpbiBzdWNoIGEgd2F5IGFzIHRvIHByb3RlY3Qgc3VjaCB0cmFk ZQptYXJrcy4gIDMuMiBZT1UgbWF5IG5vdCBpZGVudGlmeSB0aGUgVHlwZWZhY2VzIGFuZCBGb250 cyBieSBhbnkgdHJhZGUKbWFyayBvciB0cmFkZSBuYW1lIG90aGVyIHRoYW4gIkx1Y2lkYSIuICBJ ZiBZT1UgbWFrZSBhbnkgcmVmZXJlbmNlIHRvCmFueSBvZiB0aGUgVHlwZWZhY2VzIG9yIEZvbnRz IGluIHNhbGVzIGxpdGVyYXR1cmUsIGFkdmVydGlzaW5nLAptYW51YWxzIGFuZCBkb2N1bWVudGF0 aW9uLCBvbiBlcXVpcG1lbnQsIHZpc3VhbCBkaXNwbGF5cywgcHJpbnRlZApvdXRwdXQgYW5kIGlt YWdlIGNhcnJpZXIgbGFiZWxzIGFuZCBvdXRlciBjb250YWluZXJzLCBzdWNoIHJlZmVyZW5jZXMK c2hhbGwgaW5jbHVkZSB0aGUgIkx1Y2lkYSIgdHJhZGUgbWFya3MgdG9nZXRoZXIgd2l0aCAoaSkg dGhlIHN5bWJvbCDCrgphbmQgKGlpKSB0aGUgcGhyYXNlCiAKIkx1Y2lkYSBpcyBhIHJlZ2lzdGVy ZWQgdHJhZGUgbWFyayBvZiBCaWdlbG93ICYgSG9sbWVzIEluYyIuICAzLjMgWU9VCnNoYWxsIHB1 Ymxpc2ggbm90aWNlcyBvZiBCJkggY29weXJpZ2h0IGFuZC9vciBkZXNpZ24gcGF0ZW50IHJpZ2h0 cyBvbgp0aGUgSW1hZ2UgQ2FycmllciBsYWJlbHMgYW5kIGRpc2tldHRlLCB0YXBlIG9yIGNhcnRy aWRnZSBjb250YWluZXJzIGluCndoaWNoIHRoZSBUeXBlZmFjZXMgYW5kIEZvbnRzIGFyZSBwYWNr YWdlZCBzZXBhcmF0ZWx5IGZyb20gdGhlCkxJQ0VOU0VEIFNPRlRXQVJFLCBhbmQgaW4gdGhlIGhl YWRlciBvZiBmaWxlcyBjb250YWluaW5nIFR5cGVmYWNlcyBvcgpGb250cy4gIFN1Y2ggbm90aWNl cyBzaGFsbCBiZSBpbnRoZSBmb2xsb3dpbmcgZm9ybTsgIkx1Y2lkYSBhbmQKUGVsbHVjaWRhIGFy ZSByZWdpc3RlcmVkIHRyYWRlbWFya3Mgb2YgQmlnZWxvdyAmIEhvbG1lcyBJbmMuIEx1Y2lkYcKu CmRpZ2l0YWwgZm9udHMgY29weXJpZ2h0IMKpIDE5ODUsIDE5ODYgYnkgQmlnZWxvdyAmIEhvbG1l cyBJbmMiLgoKNC4gQiZIIFJpZ2h0cyBpbiB0aGUgVHlwZWZhY2UgRGVzaWducwo0LjEgWU9VIHNo YWxsIHByb2R1Y2UgbWFjaGluZSByZWFkYWJsZSBSYXN0ZXIgRm9udHMgb25seSBmcm9tIEZvbnRz IHByb3ZpZGVkIGJ5IEImSC4KNC4yIFlPVSBtYXkgbm90IG1vZGlmeSB0aGUgRm9udHMgb3IgVHlw ZWZhY2VzIHJlcHJlc2VudGVkIGJ5IHRoZSBGb250cwppbiBTdHlsZSAoaWUuICB0aGUgY29tYmlu YXRpb24gb2YgdHlwb2dyYXBoaWMgZGVzaWduIGNoYXJhY3RlcmlzdGljcwp0aGF0IGRpc3Rpbmd1 aXNoIG9uZSB0eXBlZmFjZSBmcm9tIGFub3RoZXIpLCBkZXNpZ24gZmVhdHVyZXMgb3IgaW4gYW55 Cm90aGVyIHJlc3BlY3QsIG5vciBhZGQgYWRkaXRpb25hbCBjaGFyYWN0ZXJzIHdpdGhvdXQgdGhl IHByaW9yIHdyaXR0ZW4KY29uc2VudCBvZiBCJkguCjQuMyBZT1UgbWF5IHBlcm1pdCB0aGUgTElD RU5TRUQgU09GVFdBUkUgdG8gbWFrZSBhdXRvbWF0aWMKbW9kaWZpY2F0aW9ucyBvZiBhbnkgVHlw ZWZhY2Ugb3IgRm9udCBpbmNsdWRpbmcgc2NhbGluZywgcm90YXRpbmcsCmNvbmRlbnNhdGlvbiwg ZXh0ZW5zaW9uLCBvYmxpcXVpbmcsIHJldmVyc2FsLCB0aW50aW5nLCBzaGFkb3dpbmcsCm91dGxp bmluZywgb3Igb3RoZXIgdHJhbnNmb3JtYXRpb25zIHdoaWNoIExJQ0VOU0VEIFNPRlRXQVJFIGNh bgpwZXJmb3JtIGF1dG9tYXRpY2FsbHkuCgo1LiBQcm90ZWN0aW9uIEFnYWluc3QgVW5hdXRob3Jp c2VkIFJlcHJvZHVjdGlvbgo1LjEgWU9VIHNoYWxsIHVzZSBkdWUgY2FyZSBpbiBwcm90ZWN0aW5n IHRoZSBUeXBlZmFjZSBhbmQgRm9udCBkaWdpdGFsCmRhdGEgWU9VIHJlY2VpdmVkIGFnYWluc3Qg dW5hdXRob3Jpc2VkIHVzZSBvciByZXByb2R1Y3Rpb24uCjUuMiBZT1Ugc2hhbGwgbm90aWZ5IFZJ VEEgTlVPVkEgcHJvbXB0bHkgaW4gd3JpdGluZyBvZiBhbnkga25vd24gb3IKc3VzcGVjdGVkIHVu YXV0aG9yaXNlZCByZXByb2R1Y3Rpb24sIHVzZSBvciBkaXN0cmlidXRpb24gb2YgdGhlIEZvbnRz Cm9yIFR5cGVmYWNlcyBieSBTdWJsaWNlbnNlZXMsIGVuZCB1c2VycyBvciBvdGhlcnMuCg== --=-=-= Content-Type: text/plain [2]: https://lists.gnu.org/archive/html/bug-guix/2018-10/msg00010.html [3]: http://inferno-os.org/inferno/licence.html [4]: --=-=-= Content-Type: application/octet-stream Content-Disposition: attachment; filename=NOTICE Content-Transfer-Encoding: base64 VGhpcyBJbmZlcm5vwq4gZGlzdHJpYnV0aW9uIGluY2x1ZGVzIHNvZnR3YXJlIGZyb20gdmFyaW91 cyBzb3VyY2VzIGFuZApkaWZmZXJlbnQgcG9ydGlvbnMgYXJlIHRoZXJlZm9yZSBzdWJqZWN0IHRv IGRpZmZlcmVudCBsaWNlbmNlIHRlcm1zLgpUaGUgbW9zdCBzdHJpbmdlbnQgaXMgdGhlIEdOVSBQ dWJsaWMgTGljZW5zZSAodmVyc2lvbiAyKSwgd2hpY2ggZ292ZXJucyB0aGUgY29sbGVjdGlvbi4K SW5kaXZpZHVhbCBjb21wb25lbnRzIG1pZ2h0IGhhdmUgdGhlaXIgb3duIE5PVElDRSBhbmQgbGlj ZW5jZSBmaWxlcyAoTElDRU5DRQpvciBDT1BZSU5HKSB0aGF0IGNvdmVyIHRoZWlyIGNvbnRlbnQu ICBBbGwgb2YgdGhlbSBhbGxvdyBtb2RpZmljYXRpb24gYW5kIHJlZGlzdHJpYnV0aW9uLgpUaGV5 IGFyZSBhbGwgY29tcGF0aWJsZSB3aXRoIHRoZSBHUEx2Mi4KClRoZSBmb2xsb3dpbmcgY29weXJp Z2h0IG5vdGljZSBjb3ZlcnMgdGhlIGNvbnRlbnRzIG9mIHRoaXMKZGlzdHJpYnV0aW9uIHVubGVz cyBvdGhlcndpc2Ugc3BlY2lmaWVkIGJ5IGEgZ2l2ZW4gZmlsZSwgZGlyZWN0b3J5LCBvcgpkaXJl Y3RvcnkgdHJlZToKCkluZmVybm/CriBDb3B5cmlnaHQgwqkgMTk5Ni0xOTk5IEx1Y2VudCBUZWNo bm9sb2dpZXMgSW5jLiAgQWxsIHJpZ2h0cyByZXNlcnZlZC4KSW5mZXJubyByZXZpc2lvbnMgQ29w eXJpZ2h0IMKpIDE5OTctMTk5OSBWaXRhIE51b3ZhIExpbWl0ZWQuICBBbGwgcmlnaHRzIHJlc2Vy dmVkLgpJbmZlcm5vIHJldmlzaW9ucyBDb3B5cmlnaHQgwqkgMjAwMC0yMDE1IFZpdGEgTnVvdmEg SG9sZGluZ3MgTGltaXRlZC4gIEFsbCByaWdodHMgcmVzZXJ2ZWQuCkluZmVybm8gbmV3IG1hdGVy aWFsIENvcHlyaWdodCDCqSAyMDAwLTIwMTUgVml0YSBOdW92YSBIb2xkaW5ncyBMaW1pdGVkLiAg QWxsIHJpZ2h0cyByZXNlcnZlZC4KCkluZmVybm8sIFN0eXgsIERpcyBhbmQgTGltYm8gYXJlIHJl Z2lzdGVyZWQgdHJhZGVtYXJrcyBvZiBWaXRhIE51b3ZhIEhvbGRpbmdzIExpbWl0ZWQgaW4gdGhl IFVTQSBhbmQgb3RoZXIgY291bnRyaWVzLgpQbGFuIDkgaXMgYSByZWdpc3RlcmVkIHRyYWRlbWFy ayBvZiBMdWNlbnQgVGVjaG5vbG9naWVzIEluYy4KClRoaXMgcHJvZ3JhbSBpcyBmcmVlIHNvZnR3 YXJlOyB5b3UgY2FuIHJlZGlzdHJpYnV0ZSBpdCBhbmQvb3IgbW9kaWZ5Cml0IHVuZGVyIHRoZSB0 ZXJtcyBvZiB0aGUgR05VIEdlbmVyYWwgUHVibGljIExpY2Vuc2UgKGBHUEwnKSBhcyBwdWJsaXNo ZWQgYnkKdGhlIEZyZWUgU29mdHdhcmUgRm91bmRhdGlvbjsgZWl0aGVyIHZlcnNpb24gMiBvZiB0 aGUgTGljZW5zZSwgb3IKKGF0IHlvdXIgb3B0aW9uKSBhbnkgbGF0ZXIgdmVyc2lvbi4KClRoaXMg cHJvZ3JhbSBpcyBkaXN0cmlidXRlZCBpbiB0aGUgaG9wZSB0aGF0IGl0IHdpbGwgYmUgdXNlZnVs LApidXQgV0lUSE9VVCBBTlkgV0FSUkFOVFk7IHdpdGhvdXQgZXZlbiB0aGUgaW1wbGllZCB3YXJy YW50eSBvZgpNRVJDSEFOVEFCSUxJVFkgb3IgRklUTkVTUyBGT1IgQSBQQVJUSUNVTEFSIFBVUlBP U0UuICBTZWUgdGhlCkdOVSBHZW5lcmFsIFB1YmxpYyBMaWNlbnNlIGZvciBtb3JlIGRldGFpbHMu CgpZb3Ugc2hvdWxkIGhhdmUgcmVjZWl2ZWQgYSBjb3B5IG9mIHRoZSBHTlUgR2VuZXJhbCBQdWJs aWMgTGljZW5zZQphbG9uZyB3aXRoIHRoaXMgcHJvZ3JhbTsgaWYgbm90LCB3cml0ZSB0byB0aGUg RnJlZSBTb2Z0d2FyZQpGb3VuZGF0aW9uLCBJbmMuLCA2NzUgTWFzcyBBdmUsIENhbWJyaWRnZSwg TUEgMDIxMzksIFVTQS4K --=-=-= Content-Type: text/plain [5]: https://www.gnu.org/licenses/license-list.html#lucent102 [6]: https://www.ueber.net/who/mjl/inferno/getting-started.html [7]: https://9fans.github.io/plan9port/ --=-=-=--