From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:470:142:3::10]:41752) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jK3DE-0004vj-Ca for guix-patches@gnu.org; Thu, 02 Apr 2020 13:01:05 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1jK3DD-0006qk-9O for guix-patches@gnu.org; Thu, 02 Apr 2020 13:01:04 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:57349) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1jK3DD-0006qZ-5X for guix-patches@gnu.org; Thu, 02 Apr 2020 13:01:03 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1jK3DD-0003Pa-2i for guix-patches@gnu.org; Thu, 02 Apr 2020 13:01:03 -0400 Subject: bug#40311: [PATCH] Update proof-general Resent-To: guix-patches@gnu.org Resent-Message-ID: From: Marius Bakke In-Reply-To: <87iminpj9x.fsf@asu.edu> References: <87iminpj9x.fsf@asu.edu> Date: Thu, 02 Apr 2020 18:59:52 +0200 Message-ID: <87pncprfg7.fsf@devup.no> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: John Soo , 40311-done@debbugs.gnu.org --=-=-= Content-Type: text/plain John Soo writes: > Hi Guix, > > In my effort to use strictly guix for my emacs package management, I > found that proof-general was not working out of the box with guix.el. > > In the end I could not figure out how to make it work, but I did update > proof-general to 4.4 and updated the home-page. > > proof-general puts its initialization file in > %outputs/share/emacs/site-lisp/site-start.d/pg-init.el. I also see > Tuareg puts the file there. Niether that path, nor any subdirectory of > site-lisp is included by $EMACSLOADPATH or is autoloaded by guix.el. > > For the record, I added > (load-file "~/.guix-profile/share/emacs/site-lisp/site-start.d/pg-init.el") > to init.el as a workaround. > > Anyways, this should fix proof-general to work with the current version > of coq at least and add some more newer niceties in recent versions. Thanks! I applied both patches, and also added a proper commit message for the first one (mention the changes to the various fields). I also added a git-file-name for the first patch as suggested by 'guix lint'. --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQEzBAEBCgAdFiEEu7At3yzq9qgNHeZDoqBt8qM6VPoFAl6GGggACgkQoqBt8qM6 VPoNlwf/buBXD9MpqQgT7EeMW7Rxq40/oZZO12A47wRS1d4dseyNGZcN0NvhgffT /7RqZO5pPP7VTU9A8CErBOa62wa5Aoxq6R1Sq/CYfgztokBjONn+7uCfKgfrRr0J cvVxde2q7Q8HBtdUCcxhxiO2AjTgo/sUOe01jUkxiYNfzzoXO7f2VQRat8349cTu AmqeQKK/wR2DEou/TWZmQpCMkZ73pluf3F/cbyjWzgbzna9MBUbY5rnnZuO+sHEz yZIyDAJfmD2zy9iibkfmLs1nry4XpU4uCBNTstvXt+V8u1bofgkagTKNU8iMWl7/ KiFnrTxSAgOIBLgHVM0dnUUecH+5kA== =TGu3 -----END PGP SIGNATURE----- --=-=-=--