From debbugs-submit-bounces@debbugs.gnu.org Mon Nov 22 13:22:49 2021 Received: (at 51755-done) by debbugs.gnu.org; 22 Nov 2021 18:22:49 +0000 Received: from localhost ([127.0.0.1]:49089 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mpDxp-0008NZ-8u for submit@debbugs.gnu.org; Mon, 22 Nov 2021 13:22:49 -0500 Received: from relay9-d.mail.gandi.net ([217.70.183.199]:39649) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mpDxn-0008NL-5Z for 51755-done@debbugs.gnu.org; Mon, 22 Nov 2021 13:22:47 -0500 Received: (Authenticated sender: admin@nicolasgoaziou.fr) by relay9-d.mail.gandi.net (Postfix) with ESMTPSA id 61367FF80E; Mon, 22 Nov 2021 18:22:40 +0000 (UTC) From: Nicolas Goaziou To: zimoun Subject: Re: [bug#51755] [PATCH 1/1] gnu: proof-general: Adjust autoloads for Emacs. References: <20211110192622.368232-1-zimon.toutoune@gmail.com> <20211110193748.368696-1-zimon.toutoune@gmail.com> <8735npwdvr.fsf@nicolasgoaziou.fr> <6aab24bab9512e0957e33256a3addf1076a9d012.camel@gmail.com> <87y25huuxp.fsf@nicolasgoaziou.fr> <86bl2dfc2p.fsf@gmail.com> Date: Mon, 22 Nov 2021 19:22:39 +0100 In-Reply-To: <86bl2dfc2p.fsf@gmail.com> (zimoun's message of "Sun, 21 Nov 2021 22:11:58 +0100") Message-ID: <87r1b8t5hs.fsf@nicolasgoaziou.fr> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 51755-done Cc: 51755-done@debbugs.gnu.org, Liliana Marie Prikler 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 (-) Hello, zimoun writes: > Instead, I propose to extend to: > > --8<---------------cut here---------------start------------->8--- > (add-after 'install 'allow-subfolders-autoloads > ;; Autoload cookies are present in sub-directories. A friendly > ;; wrapper proof-general.el around generic/proof-site.el is > ;; provided for execution on Emacs start-up. It serves two > ;; purposes: > ;; * Setting up the load path when byte-compiling pg. > ;; * Loading a minimal PG setup on startup (not all of Proof > ;; General, of course;mostly mode hooks and autoloads). > ;; The rename to proof-general-autoloads.el is Guix specific. > (lambda* (#:key outputs #:allow-other-keys) > (let ((out (assoc-ref outputs "out"))) > (copy-file "proof-general.el" > (string-append out ,base-directory > "/proof-general-autoloads.el"))))))))) > --8<---------------cut here---------------end--------------->8--- > > > Is it fine? If yes, I can send* a v2. Or please push directly. :-) I pushed it directly. Thank you! Regards, -- Nicolas Goaziou