From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([209.51.188.92]:48995) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gyTuX-0004Ql-TJ for guix-patches@gnu.org; Mon, 25 Feb 2019 23:00:06 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gyTuV-0008Kd-Ul for guix-patches@gnu.org; Mon, 25 Feb 2019 23:00:05 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:38580) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gyTuU-0008Jy-Gy for guix-patches@gnu.org; Mon, 25 Feb 2019 23:00:03 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1gyTuU-0001aX-Dy for guix-patches@gnu.org; Mon, 25 Feb 2019 23:00:02 -0500 Subject: [bug#34627] [PATCH] gnu: ocaml-menhir: Update to 20181113. Resent-Message-ID: Date: Mon, 25 Feb 2019 22:58:51 -0500 From: Leo Famulari Message-ID: <20190226035851.GA8289@jasmine.lan> References: <87d0ni28fk.fsf@gmail.com> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="BOKacYhQ+x31HxR3" Content-Disposition: inline In-Reply-To: <87d0ni28fk.fsf@gmail.com> 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: Gabriel Hondet Cc: 34627@debbugs.gnu.org --BOKacYhQ+x31HxR3 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline On Sat, Feb 23, 2019 at 09:50:38AM +0100, Gabriel Hondet wrote: > * gnu/packages/ocaml.scm (ocaml-menhir): Update to 20181113. Thanks! > + (replace 'build > + (lambda _ > + (invoke "make" "-f" "Makefile" "USE_OCAMLFIND=true" "all") > + #t)) > + (replace 'install > + (lambda _ > + (invoke "make" "-f" "Makefile" "install") > #t))))) Can you add comments explaining why these phases are replaced? --BOKacYhQ+x31HxR3 Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAABCAAdFiEEsFFZSPHn08G5gDigJkb6MLrKfwgFAlx0uW4ACgkQJkb6MLrK fwgiRxAAvj42oNVZqzQo0mNdjhzxjNNQuui7yFGmlT8e2OH7y/hyyKDfwqy57S7T gSRlGJKaRm+sMeWKzapiQoN2tTVy5/2e/9G8n4e/Ci25bBaTluqxWTZhxL6d93fX 7rEPWt3bcTCRQMZm9dqA5xxtzQIU8u0A7MAwloED4v5F5Wfg432qTfvod/Q4ZzeC 7j9fmbVytJ8dobqopS7P3rSpAjos2/jJJ2W4oEUlWR7uk1fXxhVQpGYCyJ9WLLrN BCQZs/Zb3tW0hQSf3rMu0hb9WdZfhjqTWZASX0bv8DuaMSFITkcwkEiFRder8gnM 9EZST3F9X/f0QRmCBQu2IGsWj/LN2naOk89FccIATcyQU4tb7LFShDdTZohjfzS2 /7uGjXdCrFDuTj+vhsAKTpzrOhnLrBCXUaWpMX5ZEM1mf2r4XMU9KyYnFkxX/oWD PG/AMyKLLfT8TEWgUC8v3GA6BliXcMQ/AGqQoIbyV4kpMB+y8XbFsnYIqpR7OotX cv2F+zkat7V6oin48SbKcDfNRHcM5PN0gXIdb4zEm8U88L2oq3VaP4enZq+XNsuu SpqbDwMPqx/+s6ply8OSWkguQ3PpSw8A3AUmPZK5gDm6j546/798H3CQJXR3FJNo nAHg/VpBVBqXsZU+7TbasezWQUi5c2fBX8o8Y8WFz+QMOs1KQkg= =XMzJ -----END PGP SIGNATURE----- --BOKacYhQ+x31HxR3--