From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([208.118.235.92]:40536) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gcEUZ-0003dQ-FN for guix-patches@gnu.org; Wed, 26 Dec 2018 14:05:20 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gcEUS-0006de-EV for guix-patches@gnu.org; Wed, 26 Dec 2018 14:05:17 -0500 Received: from debbugs.gnu.org ([208.118.235.43]:53939) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gcEUI-0006a8-IH for guix-patches@gnu.org; Wed, 26 Dec 2018 14:05:06 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1gcEUI-0007fc-Ag for guix-patches@gnu.org; Wed, 26 Dec 2018 14:05:02 -0500 Subject: [bug#33879] [PATCH] gnu: Add ocaml-biniou. Resent-Message-ID: Received: from eggs.gnu.org ([208.118.235.92]:40468) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gcETw-0003ah-LG for guix-patches@gnu.org; Wed, 26 Dec 2018 14:04:41 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gcETr-0006KS-Mr for guix-patches@gnu.org; Wed, 26 Dec 2018 14:04:40 -0500 Received: from mail-wm1-x32d.google.com ([2a00:1450:4864:20::32d]:36275) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gcETr-0006JI-Ga for guix-patches@gnu.org; Wed, 26 Dec 2018 14:04:35 -0500 Received: by mail-wm1-x32d.google.com with SMTP id p6so15844010wmc.1 for ; Wed, 26 Dec 2018 11:04:35 -0800 (PST) Received: from glht-x240.gmail.com ([80.12.58.195]) by smtp.gmail.com with ESMTPSA id q3sm29129394wrn.84.2018.12.26.11.04.31 for (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Wed, 26 Dec 2018 11:04:33 -0800 (PST) From: Gabriel Hondet Date: Wed, 26 Dec 2018 20:00:27 +0100 Message-ID: <87r2e4w1mv.fsf@gmail.com> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; 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@debbugs.gnu.org --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable * gnu/packages/ocaml.scm (ocaml-biniou): New variable. =2D-- gnu/packages/ocaml.scm | 41 +++++++++++++++++++++++++++++++++++++++++ 1 file changed, 41 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 603db34db..4cfd203bd 100644 =2D-- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -5044,3 +5044,44 @@ dependent types. The =CE=BB=CE=A0-calculus modulo t= heory is itself an extension of the rules. This system is not designed to develop proofs, but to check proofs developed in other systems. In particular, it enjoys a minimalistic synta= x.") (license license:cecill-c))) + +(define-public ocaml-biniou + (package + (name "ocaml-biniou") + (version "1.2.0") + (home-page "https://github.com/mjambon/biniou") + (source + (origin + (method git-fetch) + (uri (git-reference + (url (string-append home-page ".git")) + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "0mjpgwyfq2b2izjw0flmlpvdjgqpq8shs89hxj1np2r50csr8dcb")))) + (build-system ocaml-build-system) + (inputs + `(("ocaml-easy-format" ,ocaml-easy-format))) + (native-inputs + `(("which" ,which) + ("ocaml-jbuilder" ,ocaml-jbuilder))) + (arguments + '(#:phases + (modify-phases %standard-phases + (delete 'configure) + (replace 'install + ;; install target in makefile is missing from this version + (lambda _ + (invoke "jbuilder" "install" + (string-append "--prefix=3D" + (assoc-ref %outputs "out")))))))) + (synopsis "Data format designed for speed, safety, ease of use and back= ward +compatibility") + (description "Biniou (pronounced \"be new\" is a binary data format +designed for speed, safety, ease of use and backward compatibility as +protocols evolve. Biniou is vastly equivalent to JSON in terms of +functionality but allows implementations several times faster (4 times fas= ter +than yojson), with 25-35% space savings.") + (license license:bsd-3))) + =2D-=20 2.20.1 --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEE5ercJXBcjd3P1FcAMbyBBfZZ1CUFAlwj0LgACgkQMbyBBfZZ 1CVVgA//cztYbwaFfmtiFN9YyNH+KreBImAdHUsSSkYMw2Sg1TCDc15lkgWrDPTn dGPCAB1OI2IJiJDN1/LUsaT/laBkJKhIHFS2kSBEhRi86dPUpVuytLIO7QpFPzBH AF7fqQvzX8mmsoCBW3X43QATQOFUvluVYPXcoYZp5PSfLMaQ4Rbpp3z6c0GigsXg lPPvqNxGjxazEe+3zvp6206sJnTNMeKqbJDa0uII1Q6Yh+No6XgvSKF+1oo9EklR zp3KXVogFE4VyeXPTXaf8uledGWoFXy/UMWkDis5+tW/k5m0r7RQDaHKp3wPQuIn DnEDZRX53pRZoqaCNjhG2JJABUMsbnp+wBB0bvmpAZiMO6RgguDxMX5rBG3LTi3E WGUALYCZIfP6OESp+h7OeVC1itM/bGgUI9tTFd0c5c+toDTgPZWg3SGalp7Z69T4 P+KxPWLTYE5uwTIgi3kpSoTdLhLKwtuy26M5xu8vFYul0XWFq8ULNZTfTUESkHFH 5qBgyU3mi4oj+0sCab2C6eVo9v9f1yRZOwp92B4187byevvfjomQdEXpXvXJLDRd U8YQK4dV18vGPvi/n6Tc1xzf1X7N07mVFmq8V3C4duS/Sswl/eiCA4QezvVuLr96 lX3xurLUX372ltxvCqFWMOBo5atG/QvjMPuZIMtlQPr2RJmOrdE= =4qdK -----END PGP SIGNATURE----- --=-=-=--