From debbugs-submit-bounces@debbugs.gnu.org Fri Apr 30 04:51:05 2021 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: Subject: Re: [bug#46124] [PATCH] Idris 2 From: Maxime Devos To: raingloom 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-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 46124 Cc: Xinglu Chen , 46124@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) --=-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--