From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2 ([2001:41d0:2:bcc0::]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id gC5VFULFi2A79gAAgWs5BA (envelope-from ) for ; Fri, 30 Apr 2021 10:52:18 +0200 Received: from aspmx1.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2 with LMTPS id 2JD5EELFi2A8bQAAB5/wlQ (envelope-from ) for ; Fri, 30 Apr 2021 08:52:18 +0000 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 8728B165D7 for ; Fri, 30 Apr 2021 10:52:14 +0200 (CEST) Received: from localhost ([::1]:46026 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lcOsf-0000lA-KI for larch@yhetil.org; Fri, 30 Apr 2021 04:52:13 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:42218) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lcOsU-0000l0-3T for guix-patches@gnu.org; Fri, 30 Apr 2021 04:52:02 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:45909) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1lcOsT-0000Vp-SV for guix-patches@gnu.org; Fri, 30 Apr 2021 04:52:01 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1lcOsT-0005v9-QE for guix-patches@gnu.org; Fri, 30 Apr 2021 04:52:01 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#46124] [PATCH] Idris 2 Resent-From: Maxime Devos Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Fri, 30 Apr 2021 08:52:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 46124 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: raingloom Cc: Xinglu Chen , 46124@debbugs.gnu.org Received: via spool by 46124-submit@debbugs.gnu.org id=B46124.161977266522679 (code B ref 46124); Fri, 30 Apr 2021 08:52:01 +0000 Received: (at 46124) by debbugs.gnu.org; 30 Apr 2021 08:51:05 +0000 Received: from localhost ([127.0.0.1]:57455 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lcOrZ-0005tj-C0 for submit@debbugs.gnu.org; Fri, 30 Apr 2021 04:51:05 -0400 Received: from laurent.telenet-ops.be ([195.130.137.89]:53396) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lcOrV-0005tH-Hc for 46124@debbugs.gnu.org; Fri, 30 Apr 2021 04:51:04 -0400 Received: from ptr-bvsjgyjmffd7q9timvx.18120a2.ip6.access.telenet.be ([IPv6:2a02:1811:8c09:9d00:aaf1:9810:a0b8:a55d]) by laurent.telenet-ops.be with bizsmtp id ywqz2400H0mfAB401wqzyk; Fri, 30 Apr 2021 10:50:59 +0200 Message-ID: From: Maxime Devos Date: Fri, 30 Apr 2021 10:50:51 +0200 In-Reply-To: <20210429204317.7e3a707c@riseup.net> References: <20210127064337.6a226301@riseup.net> <87r1j267c6.fsf@yoctocell.xyz> <20210426172240.683c4c2b@riseup.net> <5003aa160dc82b35b06e60d425a09309199e1670.camel@telenet.be> <20210429204317.7e3a707c@riseup.net> Content-Type: multipart/signed; micalg="pgp-sha512"; protocol="application/pgp-signature"; boundary="=-eegqEHnuNfQ5EQVOsGsM" User-Agent: Evolution 3.34.2 MIME-Version: 1.0 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=telenet.be; s=r21; t=1619772659; bh=wByehzKXMQo/tsneKo60ycPEXln53M5SSIbsK2ZUuIA=; h=Subject:From:To:Cc:Date:In-Reply-To:References; b=kfl0U68WUKC2SQ3g3hWGphwCym8l7iiEDxAdAgdTn23q1fEyNekPkzPX7SWqks6kB J6dp62u2kXiCzZrTKKM9J7sT+oGX4s7wV6zEKhXpwvW2R0Ue7EozxivULTT+vC8Vvx K2nmszy/iYvV9LVJ1MO1HMBrKjHcGJDllbc+nLSnIwA0tRnvCatIYS1hFUdpKMIdbR HpZfYG94F0tCqnuMvO4ROlckN7fSnU1Wp8fm+sBbRnkUTMm3yrp2h2dXDHNy3irm9W L9PKeLuYT/D8yoOk/ItFmdZDpkKXCIVRlF6ztwQJi2YCeyZBeLWT2BHEU/CmblLer0 6hwsyG3qTVrOA== X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: "Guix-patches" X-Migadu-Flow: FLOW_IN ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1619772735; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type:resent-cc:resent-from:resent-sender: resent-message-id:in-reply-to:in-reply-to:references:references: list-id:list-help:list-unsubscribe:list-subscribe:list-post: dkim-signature; bh=wByehzKXMQo/tsneKo60ycPEXln53M5SSIbsK2ZUuIA=; b=pNWyXn7jOFUS3c8syMuDDg/fZv5rFVduH7tlFpmfad7o+d9kjyMicGJSOT+KklQyQkRmkf bsgvreqMP/+4BsjtVSbO6VVy1BMBOCT+VtucF6PsiaTx6QhgupRL3W0wbDHpEbIUF7CY36 AeEOgeGuL8BfRUcKMWy00VQgBMY0p3zOts4pX1/LYU1pFTsvrQFESfJSl6yL/VhNgtLU3c fHTWuQepKdmw4UOObY3Q8xToIhVJo5uPfdT3Qh8yvr8h7Bs8VMjZoTziw/SFfH3xcHqxXh g7zfsIMMxifVGuIy1Pd+2gfE5+AnjoNIYN6yzurQ3p23elfi+a/mQKmrH5ZIlQ== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1619772735; a=rsa-sha256; cv=none; b=iQofpmw9DYSb25YgC6lQGnkU6Gdyou/CPbXig7QDfF3Nka9ru631TOGWcf/p/DnTrrdoWg ynqUAu1vgF/+Ry2KvIwK99aXW2/c18MEyLl9mfGfwxLFLQzQkqvbgKIdAd7MTdRHn48c5v KMKGE+epQYWCpNdx1Rcs75IVaFTQ2ZrjN++KxVrqWYbasJ/PZo8spmG6L8HP+0zypbu2SP haFGWh1eehtKhP3YHLMcKY5X19oLjPQh4fA9mZyskHw5oTtIm6368uEg7gVMh4QAQ+7ohZ sRbVpPw1hMJtL9/1VzJ72e08Mh3UdVDAmTSLxhGO/1M+wvHaoDTE8RG/zIWcVA== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=telenet.be header.s=r21 header.b=kfl0U68W; dmarc=fail reason="SPF not aligned (relaxed)" header.from=telenet.be (policy=none); spf=pass (aspmx1.migadu.com: domain of guix-patches-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-patches-bounces@gnu.org X-Migadu-Spam-Score: -1.96 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=telenet.be header.s=r21 header.b=kfl0U68W; dmarc=fail reason="SPF not aligned (relaxed)" header.from=telenet.be (policy=none); spf=pass (aspmx1.migadu.com: domain of guix-patches-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-patches-bounces@gnu.org X-Migadu-Queue-Id: 8728B165D7 X-Spam-Score: -1.96 X-Migadu-Scanner: scn0.migadu.com X-TUID: 26fg1WDGU6+O --=-eegqEHnuNfQ5EQVOsGsM Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable raingloom schreef op do 29-04-2021 om 20:43 [+0200]: > On Mon, 26 Apr 2021 23:27:39 +0200 > Maxime Devos wrote: >=20 > > raingloom schreef op ma 26-04-2021 om 17:22 [+0200]: > > > [...] > > >=20 > > > + ;; TODO detect toolchain > > > + "CC=3Dgcc"))) =20 > >=20 > > Unless idris has a compiler built in that uses gcc for compiling > > idris to machine code, this should likely be > > ,(string-append "CC=3D" (cc-for-target)) instead, such that the > > cross-compiler is used when cross-compiling. > >=20 > > [...] > Oh, that's a leftover, I was using clang for a while, since it's > said to use less RAM. I switched back to gcc and left that in. >=20 > Here is the updated patch. No idea if this actually works cross > compiled, but I don't have much time to test it. IIUC, cross-compilation is not required to be supported by each package in guix. It is something nice-to-have, but not strictly required. Greetings, Maxime. --=-eegqEHnuNfQ5EQVOsGsM Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part Content-Transfer-Encoding: 7bit -----BEGIN PGP SIGNATURE----- iI0EABYKADUWIQTB8z7iDFKP233XAR9J4+4iGRcl7gUCYIvE6xccbWF4aW1lZGV2 b3NAdGVsZW5ldC5iZQAKCRBJ4+4iGRcl7lbgAP9K3rd7WywkbN9sXQRo5g133gvs wB/gM4kgG1twdqJWLwEAzvg8wNd2oAlo8Hw/jmbS8mJJfvAQFydiM5V5c9PpLAI= =O2R1 -----END PGP SIGNATURE----- --=-eegqEHnuNfQ5EQVOsGsM--