From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp1 ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id iLuiCnCANmCnfwAA0tVLHw (envelope-from ) for ; Wed, 24 Feb 2021 16:36:00 +0000 Received: from aspmx1.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp1 with LMTPS id OHlmBnCANmBfJQAAbx9fmQ (envelope-from ) for ; Wed, 24 Feb 2021 16:36:00 +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 65DAA159EC for ; Wed, 24 Feb 2021 17:35:59 +0100 (CET) Received: from localhost ([::1]:58918 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lEx8o-00077W-H1 for larch@yhetil.org; Wed, 24 Feb 2021 11:35:58 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:38016) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lEx89-0006fW-W4 for help-guix@gnu.org; Wed, 24 Feb 2021 11:35:18 -0500 Received: from mout02.posteo.de ([185.67.36.66]:45997) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lEx85-00087g-6n for help-guix@gnu.org; Wed, 24 Feb 2021 11:35:17 -0500 Received: from submission (posteo.de [89.146.220.130]) by mout02.posteo.de (Postfix) with ESMTPS id C7800240100 for ; Wed, 24 Feb 2021 17:35:09 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1614184509; bh=rGkFGgf6C/gwD6gXALk27fpwwdt3mNghwq/IAU23x9Y=; h=From:To:Cc:Subject:Date:From; b=qhju3yxKfkeUyKjmTInb8OK7gvd2cRAaxe/QYzDYiC3yzX8IuKIuc7NuQG99jhIiX xbVZPcqH1tgbtEvp8k8jDtr1Wldb49SdTnjQ8XGHD1DZjDdluoinA1QAmbsimeAeq7 1nhfNezB2Te3SgpFlescDyCQl0bPLWAUfomDt9wOjzxOzbg0AwqAU+xbKSBi4vN5IN WpNhDMoR6hOSjmATB8g+CjD5R2E2n4MhJYYi4aY1Uy+iqxVjL5RjlhGwjGyyGSnZ/z 2/IXSqQfWyX13S2hXF8rr9CENigBlyUhlh7+7kyQk+dxF8wQlf+KjilvJU13/KJzqT HnzJXnHeAPeXg== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4Dm1jm5y3xz6tmc; Wed, 24 Feb 2021 17:35:08 +0100 (CET) References: User-agent: mu4e 1.4.15; emacs 27.1 From: Guillaume Le Vaillant To: Tim Lee Subject: Re: cl-asdf: where is its asd file? In-reply-to: Date: Wed, 24 Feb 2021 17:34:50 +0100 Message-ID: <87pn0pe85x.fsf@yamatai> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" Received-SPF: pass client-ip=185.67.36.66; envelope-from=glv@posteo.net; helo=mout02.posteo.de X-Spam_score_int: -43 X-Spam_score: -4.4 X-Spam_bar: ---- X-Spam_report: (-4.4 / 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_MED=-2.3, RCVD_IN_MSPIKE_H3=0.001, RCVD_IN_MSPIKE_WL=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: help-guix@gnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: help-guix@gnu.org Errors-To: help-guix-bounces+larch=yhetil.org@gnu.org Sender: "Help-Guix" X-Migadu-Flow: FLOW_IN X-Migadu-Spam-Score: -3.67 Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=posteo.net header.s=2017 header.b=qhju3yxK; dmarc=pass (policy=none) header.from=posteo.net; spf=pass (aspmx1.migadu.com: domain of help-guix-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=help-guix-bounces@gnu.org X-Migadu-Queue-Id: 65DAA159EC X-Spam-Score: -3.67 X-Migadu-Scanner: scn1.migadu.com X-TUID: wylEnpDKn5Lm --=-=-= Content-Type: text/plain Tim Lee skribis: > I have installed cl-asdf using `guix install cl-asdf`. The installation > was successful. However, when I looked into the > ~/.guix-profile/share/common-lisp/source/asdf/ directory, I only see one > file: asdf.lisp. > > Is this normal? I was expecting to get an `asdf.asd` file as well. I am > running Ubuntu 20.04 as my base system. I want to use Guix's cl-asdf > 3.3.4 instead of the old ASDF 3.3.1 bundled in SBCL (which was installed > using Ubuntu's package manager). ASDF's documentation (section 3.3 > Upgrading ASDF) has instructions for what I want to do: > >> If your implementation already provides ASDF 3 or later (and it >> should), but you want a more recent ASDF version than your >> implementation provides, then you just need to ensure the more recent >> ASDF is installed in a configured path, like any other system. We >> recommend you download an official tarball or checkout a release from >> git into ~/common-lisp/asdf/. (see Configuring ASDF to find your >> systems). >> >> Once the source code for ASDF is installed, you don't need any extra >> step to load it beyond the usual (require "asdf"): ASDF 3 will >> automatically look whether an updated version of itself is available >> amongst the regularly configured systems, before it compiles anything >> else. > > The absence of an asd file in cl-asdf means that I cannot use Guix's > cl-asdf in the manner describe above. The reason is because the existing > ASDF (the one bundled in SBCL that was installed using Ubuntu's package > manager) will not be able to find Guix's cl-asdf if cl-asdf doesn't have > an *.asd file. > > I have tried Nix before, and Nix's "asdf" package includes an `asdf.asd` > file. I am new to Guix. Am I missing anything? So far the cl-asdf package in Guix is only used to update the ASDF bundled in the sbcl, ecl, ccl and clisp packages, so that they all use the same version of ASDF. Instead of using 'require', it should work if you just load the file: --8<---------------cut here---------------start------------->8--- (load (merge-pathnames ".guix-profile/share/common-lisp/source/asdf/asdf.lisp" (user-homedir-pathname))) --8<---------------cut here---------------end--------------->8--- Or you could use the sbcl from Guix instead of the Ubuntu one. --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iIUEAREKAC0WIQTLxZxm7Ce5cXlAaz5r6CCK3yH+PwUCYDaAKg8cZ2x2QHBvc3Rl by5uZXQACgkQa+ggit8h/j8o0AD+IKDXixjvbF32h1bKJZivpSHzAn2l/LNq0fBi 50MXC10A/ijN++6GDJeRu8Z8IRP1tIaJXt8GeRWjWarOX/ov2Xju =adPK -----END PGP SIGNATURE----- --=-=-=--