From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([208.118.235.92]:59372) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gcROf-0002lP-Ci for guix-patches@gnu.org; Thu, 27 Dec 2018 03:52:05 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gcROc-0007mI-8i for guix-patches@gnu.org; Thu, 27 Dec 2018 03:52:05 -0500 Received: from debbugs.gnu.org ([208.118.235.43]:58289) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gcROc-0007m7-47 for guix-patches@gnu.org; Thu, 27 Dec 2018 03:52:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1gcROb-00057o-VJ for guix-patches@gnu.org; Thu, 27 Dec 2018 03:52:01 -0500 Subject: bug#33879: [PATCH] gnu: Add ocaml-biniou. Resent-To: guix-patches@gnu.org Resent-Message-ID: Date: Thu, 27 Dec 2018 09:50:54 +0100 From: Julien Lepiller Message-ID: <20181227095054.75dc1ee9@lepiller.eu> In-Reply-To: <87r2e4w1mv.fsf@gmail.com> References: <87r2e4w1mv.fsf@gmail.com> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; boundary="Sig_/+PBTK7RiHmFdo3E699v9Mx3"; 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: 33879-done@debbugs.gnu.org --Sig_/+PBTK7RiHmFdo3E699v9Mx3 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: quoted-printable Pushed as 2939fe7b3cb5a53daebab7b7734e29be3ba8d153, thank you! I've modified the definition to use the dune-build-system, as that's what used by the opam file anyway. In that case, no need to add jbuild as an input, it's added implicitely (well, actually it's dune, but it works). --Sig_/+PBTK7RiHmFdo3E699v9Mx3 Content-Type: application/pgp-signature Content-Description: Signature digitale OpenPGP -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEtfrmKFtBNyiyoPrtQxEfRSAIagwFAlwkkm4ACgkQQxEfRSAI agzs7Q/9Hj1CA63Ihb43NadAF5LmEvr57PjYZS7zH52H/VIymw6YCvT91hD+BhTB vKdFNWKKPHySbPIzePIKC5hI6uQCI3w885gP+vqOv8pb+RD9OGNh6WR8IlUVSFZ6 BpP0t3exWHkuUMS4/dV0FNKgv5tIByxUB2wpdDhB+ZbPHdpdr+IAoCU/b9UpawAq Nr3BrhrdtwMM2H+1hmnk/NcO7poY5FvbIuJJnY3uj8l2Y8ZGLsnfz74KSERsHom9 qTUfx2LEiafvGSHm2ISccIiyNnKb1Yimv2FNFunOTKNFsIV1i7ScqZ+Qj/pAlgdo ufOoUGgdcQs9zMTplqVAeKxZMVxneuKrAO0MvcIlzur7fiYy/+SXssXQYEpR1MXm H1/Q05tfcdMJx8FM30WvFeko+rPCylEhrhkvqPTCky/I8oyt00UW32x93LZ1+oU0 uflrDCXUrJ5obFGi52FAABhuP9C3U9Qc8SqbbBsnFEhg2IKzzJFgvZYIlrKdgUNa A3IlqLXgxJw7/IH3M8g6EfcJ9qWEGAOzCIbziaLuxd3w20osYdDg99+qN0uI+4Ij tM6cupWJrBMIaecIwJzcdZ58XPEZjwDrK2YMhxsZxzCfKEwwaKItNVHfP66exNvF MVLUdvC8BT0xaQYWjfVh6lii5xiU8t/cFExxAmVqvhZaJnFPDoA= =nZjP -----END PGP SIGNATURE----- --Sig_/+PBTK7RiHmFdo3E699v9Mx3--