From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp1.migadu.com ([2001:41d0:1008:1e59::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms8.migadu.com with LMTPS id aN7MLXNUg2XAUgAAkFu2QA (envelope-from ) for ; Wed, 20 Dec 2023 21:54:11 +0100 Received: from aspmx1.migadu.com ([2001:41d0:403:4876::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp1.migadu.com with LMTPS id gKE4KHNUg2UGXQAA62LTzQ (envelope-from ) for ; Wed, 20 Dec 2023 21:54:11 +0100 X-Envelope-To: larch@yhetil.org Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=elenq.tech header.s=soverin1 header.b=tLN4NJeL; spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org"; dmarc=none ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1703105651; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:mime-version:mime-version: content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references:list-id:list-help: list-unsubscribe:list-subscribe:list-post:dkim-signature; bh=M5oAZRo4os7wivieI40EB+0Dvv4Lvp1UQpOjqWBxaKQ=; b=Xj+RR/skLuQIfWET6hWlGn2AL139jWh0Y7b60S4R7tlgaWzgSxE3fCvg8T8VgbMi71U5oy ZfWyzkRnVOKTlJiiLJN9H0Ct9fFCzNmT1759DELVdHDieL/M5KJeGAEql5mizF2lDjy4zt iBtcf4exybpRnmYQF8IUn2wF8zgIQGOMlMOZqABKUjdQ+avDA2S/aP+0hFdlj2xIkxxtQ7 YSoCIjgbyE1jRmODFmoE6vBpXmIZgq/MG3lO2fyFvf9ebvWvFiWxqQ7Id6aEPj1TIDnSEj 8W1QyflpQPVLKikha8LpyxoHf9eiGX48TNHjrtS9WIfeP47jZTPtX/iaMOzQAQ== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=elenq.tech header.s=soverin1 header.b=tLN4NJeL; spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org"; dmarc=none ARC-Seal: i=1; s=key1; d=yhetil.org; t=1703105651; a=rsa-sha256; cv=none; b=QKnk35I7U78OmRbScizX8r7F5qBTjfJdG5jNU7tECHr/lyjlbdLYpVqVAMc0KiH5Lbqqja NVyVKd0qw3L10rzloY9HBJ6/WRqaCyFDO3Iy0KU3hrmVm6Nt0GSx8BE24vcR/UHrCDBNPh 3nRkGf4b/9n2t96sJpSiqvTN8735dYtZmQxvU/TsW6XBT7dZVtaQ+wnHIqK57D5I0Cj5tY T5ME10MNQzX5DABuTL1CYjeG+B7Bmhy0nqzWWdzlSv/ekH+15LTwR9IAvn/q7vbzOQiVUL AT6AbArSxksKNHe+/gIjLjOgsi4ESUIDg0KbfBb4wlc8fi8Mld4Aexl2JJCwtw== 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 D25E021109 for ; Wed, 20 Dec 2023 21:54:10 +0100 (CET) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1rG3ZN-00014C-4s; Wed, 20 Dec 2023 15:53:33 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1rG3ZL-000141-Cb for guix-devel@gnu.org; Wed, 20 Dec 2023 15:53:31 -0500 Received: from dane.soverin.net ([2a10:de80:1:4091:b9e9:2218:0:1]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1rG3ZI-0001bg-Db for guix-devel@gnu.org; Wed, 20 Dec 2023 15:53:31 -0500 Received: from smtp.soverin.net (unknown [10.10.4.74]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (No client certificate requested) by dane.soverin.net (Postfix) with ESMTPS id 4SwQkp6NZlzyST; Wed, 20 Dec 2023 20:53:22 +0000 (UTC) Received: from smtp.soverin.net (smtp.soverin.net [10.10.4.100]) by soverin.net (Postfix) with ESMTPSA id 4SwQkp3M5WzF2; Wed, 20 Dec 2023 20:53:22 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=elenq.tech; s=soverin1; t=1703105602; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=M5oAZRo4os7wivieI40EB+0Dvv4Lvp1UQpOjqWBxaKQ=; b=tLN4NJeLwHv+KEOYymW45eJJLQXnJzGcPZx/asIhctAqCAN0kC/8bg8n9MJszoE21gn/70 fqRGeiVrrp7NtHqMydosPA7ZlV06sQU4O8E8t7fQ9tdUJqIUA3U7ewSPL+1PePadzXQza1 7qcylXX4YgmBAnC4yz9I2CjEhzunk+GoobCn+MsLhnwni4RzG6YdkWSEf0YZQmATzwX5OH gBUZ8fuo8kKodJFGzX1JJw4vs8FnBCrF9H9C+r4BKZcRLGJPyG3k425jwlHF/LP2Z311Wj +gH8wCrK04Y5wQPhB1HVquuOEwcBvYCGymPwXNW62QbJdrzIZKG9nzC8AIHiIA== Message-ID: Date: Wed, 20 Dec 2023 21:53:21 +0100 MIME-Version: 1.0 Subject: Re: arm-none-eabi toolchain and compiling C++ stuff Content-Language: en-US, es-ES, eu To: Attila Lendvai , guix-devel References: From: Ekaitz Zarraga In-Reply-To: Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Received-SPF: pass client-ip=2a10:de80:1:4091:b9e9:2218:0:1; envelope-from=ekaitz@elenq.tech; helo=dane.soverin.net X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_LOW=-0.7, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: guix-devel@gnu.org X-Mailman-Version: 2.1.29 Precedence: list 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+larch=yhetil.org@gnu.org Sender: guix-devel-bounces+larch=yhetil.org@gnu.org X-Migadu-Country: US X-Migadu-Flow: FLOW_IN X-Migadu-Spam-Score: -5.53 X-Spam-Score: -5.53 X-Migadu-Queue-Id: D25E021109 X-Migadu-Scanner: mx10.migadu.com X-TUID: 5AzJpA3BJi4/ On 2023-12-20 21:28, Attila Lendvai wrote: > dear Guix, > > i'm trying to compile something to a raspberry rp2040 microcontroller (https://codeberg.org/Riku_V/pico-serprog). > > $ guix shell gcc-toolchain cmake make pkg-config -e "((@ (gnu packages embedded) make-arm-none-eabi-toolchain-7-2018-q2-update))" > $ cd _deps > $ git clone https://github.com/raspberrypi/pico-sdk.git pico_sdk-src > $ cd .. > $ cmake . > $ make > > so far, so good. it compiles for a while, but then it fails with: > > [ 14%] Building CXX object CMakeFiles/pico_serprog.dir/_deps/pico_sdk-src/src/rp2_common/pico_standard_link/new_delete.cpp.obj > In file included from pico-serprog/_deps/pico_sdk-src/src/rp2_common/pico_standard_link/new_delete.cpp:11:0: > /gnu/store/7i9fw82x6hljy6sb4g10v2dl53l7pybl-profile/arm-none-eabi/include/c++/cstdlib:75:25: fatal error: stdlib.h: No such file or directory > #include_next > > if i read this right, it tries to cross compile some C++ stuff, but a header file is missing. > > $ guix locate stdlib.h > [...] > gcc-toolchain@13.2.0 /gnu/store/dpfxpfyghkc19wz8jwaw31llhnvn8ngx-gcc-toolchain-13.2.0/include/stdlib.h > gcc-toolchain@11.3.0 /gnu/store/5vn4pkf70ql7v1svrfknfkfsh4m3737h-gcc-toolchain-11.3.0/include/stdlib.h > clang-toolchain@15.0.7 /gnu/store/6m5gi7l7bi93gnzm2j422q9wawq3p6al-clang-toolchain-15.0.7/include/stdlib.h > [...] > > i.e. it's usually part of the gcc-toolchain package... but it's not part of the cross-compiling ones? > > is that a bug in (gnu packages embedded)? shall i look into fixing it? > > or am i the one who has invalid expectations? > Hi Attila, I reported the very same problem some time ago. This should just work in Guix. I don't think your expectations are wrong. It should work. In fact, there is a proposal: https://lists.gnu.org/archive/html/guix-devel/2023-10/msg00014.html That claims to fix this. We should take a look into it. Thanks for raising a little bit more of awareness on this... I have some Picos at home and they are literally unusable at this point :) Cheers, Ekaitz