From mboxrd@z Thu Jan 1 00:00:00 1970 From: P Subject: Re: Idris packaging Date: Wed, 21 Aug 2019 15:54:30 +0000 Message-ID: References: <341839566.61098211.1566395679885.JavaMail.zimbra@centurylink.net> Reply-To: P Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:470:142:3::10]:52629) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1i0T0S-0006XC-K5 for guix-devel@gnu.org; Wed, 21 Aug 2019 11:58:41 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1i0Swj-0002aL-Gi for guix-devel@gnu.org; Wed, 21 Aug 2019 11:54:50 -0400 Received: from mail-40133.protonmail.ch ([185.70.40.133]:57774) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1i0Swj-0002T0-0y for guix-devel@gnu.org; Wed, 21 Aug 2019 11:54:49 -0400 In-Reply-To: <341839566.61098211.1566395679885.JavaMail.zimbra@centurylink.net> 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: Eric Bavier Cc: Guix-devel On Wednesday, August 21, 2019 3:54 PM, Eric Bavier wrote: > I've been able to compile Idris' generated C code by setting the, rather = undocumented, IDRIS_CC environment variable, while having the 'gcc-toolchai= n' package installed. > > I have not worked much with Idris modules, so I've not encountered the de= ficiencies you mention. If we need to patch anything, I would prefer patchi= ng Idris to handle a list of directories in IDRIS_LIBRARY_PATH. That seems = like a more flexible solution. > > `~Eric Yeah, I figured that part out and got it to compile to an object file with = both clang and gcc, but it doesn't always link correctly. I managed to comp= ile a basic hello world though. The issue is always with crti.o and crt1.o, things like GMP and pthreads an= d anything else passed in `-l` arguments seems to work. I can see that ld i= s called with these crtX.o files as regular arguments, not as -l arguments,= which I guess means that it's trying to link them statically? But I don't = know enough about ld to know for sure.