From mboxrd@z Thu Jan 1 00:00:00 1970 From: Adonay Felipe Nogueira Subject: Re: LanguageKit (targets llvm) Date: Sat, 13 Jan 2018 13:09:32 -0200 Message-ID: <877esl7q37.fsf@hyperbola.info> References: 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]:51650) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1eaNRE-00082R-Ri for guix-devel@gnu.org; Sat, 13 Jan 2018 10:09:42 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1eaNRB-0007wh-ME for guix-devel@gnu.org; Sat, 13 Jan 2018 10:09:40 -0500 Received: from relay2-d.mail.gandi.net ([217.70.183.194]:46137) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1eaNRB-0007v7-Fc for guix-devel@gnu.org; Sat, 13 Jan 2018 10:09:37 -0500 Received: from adfeno-pc1 (unknown [181.221.151.169]) (Authenticated sender: adfeno@hyperbola.info) by relay2-d.mail.gandi.net (Postfix) with ESMTPSA id B47EEC5A49 for ; Sat, 13 Jan 2018 16:09:35 +0100 (CET) In-Reply-To: (catonano@gmail.com's message of "Sat, 13 Jan 2018 15:47:21 +0100") 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: guix-devel@gnu.org For those just getting the discussion, I have here a stripped log from from #guix IRC channel at chat.freenode.net: --8<---------------cut here---------------start------------->8--- 2018-01-13T11:31:33-0200 the Languagekit project targets llvm. Is it good for Guix ? And how does that relate to the GNU project ? http://etoileos.com/etoile/features/languagekit/ [...] 2018-01-13T11:38:19-0200 correctly: This is bad for user's freedom for sure (non-copyleft thing), but we have in Guix packages with those licenses. [...] 2018-01-13T11:45:55-0200 catonano wigust: Agree, LLVM is one of the worst indeed. 2018-01-13T11:46:44-0200 The question is: what should we do? (a) Provide recipes to build with GCC; (b) Use LLVM. 2018-01-13T11:47:35-0200 I vote for (a), but it would be somehow m= ore work in the begining. After the recipes are ready, however, we will have t= he option to send them upstream. This is an option of course, not a requireme= nt. 2018-01-13T11:48:54-0200 ... but I wish that LanguageKit would soon figure out the right reasons for using GCC build recipes/instructions instead. 2018-01-13T11:49:08-0200 ... before something worse happens. 2018-01-13T11:49:50-0200 adfeno: something worse ? [...] 2018-01-13T12:02:05-0200 catonano wigust: Re: LangugageKit and GCC vs. LLVM: Something worse in terms of "software freedom not being available for the end-user". 2018-01-13T12:02:23-0200 .... aaand I can't type today... ;) 2018-01-13T12:02:41-0200 catonano: See about llvm from RMS https://gcc.gnu.org/ml/gcc/2014-01/msg00247.html [...] 2018-01-13T12:05:47-0200 catonano wigust: I may not be an experien= ced programmer, but I can already see an issue here if LanguageKit and other projects keep up with this madness to support LLVM. [...] 2018-01-13T12:07:33-0200 adfeno: we should probably move this discussion on the mailing list. I'd love having a deeper discussion about this [...] 2018-01-13T12:09:58-0200 wigust: Stallman's assessment settles t= he point of the relationship between the GNU project and LanguageKit 2018-01-13T12:10:43-0200 it=C2=B4s a pity because otherwise GNUS= tep is an interesting project 2018-01-13T12:10:45-0200 catonano wigust: Agreed to move to mailing list. ;) 2018-01-13T12:10:50-0200 ok 2018-01-13T12:11:00-0200 ... who will do the move? 2018-01-13T12:11:10-0200 adfeno: I will ;-) 2018-01-13T12:11:23-0200 Oh OK thanks catonano ;) [...] 2018-01-13T12:49:46-0200 adfeno: I wrote on the dev ml [...] 2018-01-13T12:56:24-0200 catonano: OK ;) 2018-01-13T12:56:31-0200 Thanks! :D --8<---------------cut here---------------end--------------->8--- 2018-01-13T15:47:21+0100 Catonano wrote: > This project > > http://etoileos.com/etoile/features/languagekit/ > > targets llvm > > As far as I understand it doesn't target llvm too. It targets llvm _only_ > > If I understand correctly, it aims to make dinamic languages wrap the GNU= Step > kernel > > Sort of like Guile does > > I know what Stallmand wrote about llvm > > But what does this mean for Guix ?=20 > > Is LanguageKit acceptable in Guix ? > > Is it worth to ask the Etoile devs about this choice of theirs ? > Could it be that they can help in making LanguageKit work with the GCC ? > > Thanks --=20 - https://libreplanet.org/wiki/User:Adfeno - Palestrante e consultor sobre /software/ livre (n=C3=A3o confundir com gratis). - "WhatsApp"? Ele n=C3=A3o =C3=A9 livre. Por favor, veja formas de se comun= icar instantaneamente comigo no endere=C3=A7o abaixo. - Contato: https://libreplanet.org/wiki/User:Adfeno#vCard - Arquivos comuns aceitos (apenas sem DRM): Corel Draw, Microsoft Office, MP3, MP4, WMA, WMV. - Arquivos comuns aceitos e enviados: CSV, GNU Dia, GNU Emacs Org, GNU GIMP, Inkscape SVG, JPG, LibreOffice (padr=C3=A3o ODF), OGG, OPUS, PDF (apenas sem DRM), PNG, TXT, WEBM.