From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id QJ5vJRb1XV9NVAAA0tVLHw (envelope-from ) for ; Sun, 13 Sep 2020 10:31:50 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp0 with LMTPS id AEDcHxb1XV+degAA1q6Kng (envelope-from ) for ; Sun, 13 Sep 2020 10:31:50 +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 1EEE9940221 for ; Sun, 13 Sep 2020 10:31:50 +0000 (UTC) Received: from localhost ([::1]:35338 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kHPIT-00033M-4i for larch@yhetil.org; Sun, 13 Sep 2020 06:31:49 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:32874) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kHPIB-00031G-Gf for guix-devel@gnu.org; Sun, 13 Sep 2020 06:31:31 -0400 Received: from relay9-d.mail.gandi.net ([217.70.183.199]:59345) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kHPI9-0005GN-8I for guix-devel@gnu.org; Sun, 13 Sep 2020 06:31:31 -0400 X-Originating-IP: 90.92.160.122 Received: from bababa (lfbn-idf2-1-1094-122.w90-92.abo.wanadoo.fr [90.92.160.122]) (Authenticated sender: mail@ambrevar.xyz) by relay9-d.mail.gandi.net (Postfix) with ESMTPSA id 778BBFF803; Sun, 13 Sep 2020 10:31:24 +0000 (UTC) From: Pierre Neidhardt To: Guillaume Le Vaillant Subject: Re: Improve ASDF build system for Common Lisp libraries In-Reply-To: <87v9gigfa6.fsf@yamatai> References: <87sgbntjz4.fsf@yamatai> <87blibcmuy.fsf@ambrevar.xyz> <87y2lfb67c.fsf@ambrevar.xyz> <87pn6rtd1y.fsf@yamatai> <87v9gigfa6.fsf@yamatai> Date: Sun, 13 Sep 2020 12:31:16 +0200 Message-ID: <871rj6aryj.fsf@ambrevar.xyz> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" Received-SPF: pass client-ip=217.70.183.199; envelope-from=mail@ambrevar.xyz; helo=relay9-d.mail.gandi.net X-detected-operating-system: by eggs.gnu.org: First seen = 2020/09/13 06:31:25 X-ACL-Warn: Detected OS = Linux 3.11 and newer [fuzzy] X-Spam_score_int: -13 X-Spam_score: -1.4 X-Spam_bar: - X-Spam_report: (-1.4 / 5.0 requ) BAYES_00=-1.9, FROM_SUSPICIOUS_NTLD=0.498, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_PDS_OTHER_BAD_TLD=0.01 autolearn=no autolearn_force=no X-Spam_action: no action X-BeenThere: guix-devel@gnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: guix-devel@gnu.org Errors-To: guix-devel-bounces+larch=yhetil.org@gnu.org Sender: "Guix-devel" X-Scanner: scn0 Authentication-Results: aspmx1.migadu.com; dkim=none; dmarc=none; spf=pass (aspmx1.migadu.com: domain of guix-devel-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-devel-bounces@gnu.org X-Spam-Score: -3.11 X-TUID: +drdslQTEggS --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Guillaume Le Vaillant writes: > Actually, it looks like the files generated by the groveler can't be > removed. When doing '(asdf:load-system "osicat")', if these files are > not there cffi tries to generate them (and fails because the directory > is read-only). The .so needs to be kept, the rest can be removed: =2D-8<---------------cut here---------------start------------->8--- $ tree /gnu/store/haz3msfmr9cnlnrfai29q5csinx8l5q3-sbcl-osicat-0.7.0-1.de0c= 18a/ /gnu/store/haz3msfmr9cnlnrfai29q5csinx8l5q3-sbcl-osicat-0.7.0-1.de0c18a/ =E2=94=9C=E2=94=80=E2=94=80 lib =E2=94=82=C2=A0=C2=A0 =E2=94=94=E2=94=80=E2=94=80 sbcl =E2=94=82=C2=A0=C2=A0 =E2=94=9C=E2=94=80=E2=94=80 osicat.asd =E2=94=82=C2=A0=C2=A0 =E2=94=9C=E2=94=80=E2=94=80 osicat--system.fasl =E2=94=82=C2=A0=C2=A0 =E2=94=94=E2=94=80=E2=94=80 posix =E2=94=82=C2=A0=C2=A0 =E2=94=94=E2=94=80=E2=94=80 libosicat.so ... =2D-8<---------------cut here---------------end--------------->8--- =2D-=20 Pierre Neidhardt https://ambrevar.xyz/ --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQFGBAEBCAAwFiEEUPM+LlsMPZAEJKvom9z0l6S7zH8FAl9d9PQSHG1haWxAYW1i cmV2YXIueHl6AAoJEJvc9Jeku8x/f+gH/jmjP7uzghyvKq5bUKiu+k5fyNwZ48yq K4mru12fG1b3H/GfHEDKoZcpmf0pyyJwt+QVucE/8hplWCkeBOv/Dgf1vNOgSdW4 MDCJ6e+o2kkxxgRK38qVFHiVIR9wev8/U1bqQnXCJMb7424jzzzQti45uNrnL7VF JPoQbJYxiRCMdWIcJCLfk404m+msmYKm/S0ameX3gwaK7Cu0h4JZo6KtMZBJf7eP ZgXFGKrrwSQV71AFGa2YzOEwxjHtCFfULVMk/cFYYqvPuoBOjzxFOobor/x9YM72 wBDr1C85DbDKtbDrYO0uDvgrrnoziUqpCHmJAuYY7XB3WIlCR8+NO/8= =y6Ru -----END PGP SIGNATURE----- --=-=-=--