From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([209.51.188.92]:54658) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1grdVg-0003bj-HJ for guix-patches@gnu.org; Thu, 07 Feb 2019 01:50:09 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1grdVe-0002zu-9A for guix-patches@gnu.org; Thu, 07 Feb 2019 01:50:08 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:37190) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1grdVa-0002y7-Tr for guix-patches@gnu.org; Thu, 07 Feb 2019 01:50:04 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1grdVa-0003hm-Kz for guix-patches@gnu.org; Thu, 07 Feb 2019 01:50:02 -0500 Subject: [bug#34361] [PATCH 2/4] gnu: Add ocaml-bindlib. References: <87lg2sf6az.fsf@gmail.com> In-Reply-To: <87lg2sf6az.fsf@gmail.com> Resent-Message-ID: From: Gabriel Hondet Date: Fri, 1 Feb 2019 20:31:34 +0100 Message-ID: <87k1icf603.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: 34361@debbugs.gnu.org --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable * gnu/packages/ocaml.scm (ocaml-bindlib): New variable. =2D-- gnu/packages/ocaml.scm | 39 +++++++++++++++++++++++++++++++++++++++ 1 file changed, 39 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 59630028e..ede3beb03 100644 =2D-- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -4727,6 +4727,45 @@ syntax checking on dedukti files.") "Part of the Jane Street's PPX rewriters collection.") (license license:expat))) =20 +(define-public ocaml-bindlib + (package + (name "ocaml-bindlib") + (version "5.0.1") + (build-system ocaml-build-system) + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/rlepigre/ocaml-bindlib.git") + (commit (string-append "ocaml-bindlib_" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "1f8kr81w8vsi4gv61xn1qbc6zrzkjp8l9ix0942vjh4gjxc74v75")))) + (native-inputs + `(("ocamlbuild" ,ocamlbuild) + ("ocaml-findlib" ,ocaml-findlib))) + (arguments + `(#:tests? #f ;no tests + #:phases + (modify-phases %standard-phases + (delete 'configure) + (replace 'build + (lambda _ + (invoke "make") + #t)) + (replace 'install + (lambda _ + (invoke "make" "install") + #t))))) + (home-page "https://rlepigre.github.io/ocaml-bindlib/") + (synopsis "OCaml Bindlib library for bound variables") + (description "Bindlib is a library allowing the manipulation of data +structures with bound variables. It is particularly useful when writing A= STs +for programming languages, but also for manipulating terms of the =CE=BB-c= alculus +or quantified formulas.") + (license license:gpl3+))) + (define-public ocaml-earley (package (name "ocaml-earley") =2D-=20 2.20.1 --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEE5ercJXBcjd3P1FcAMbyBBfZZ1CUFAlxb1NwACgkQMbyBBfZZ 1CXesg//TXQEzeLoyJ5M2gmBKrKLGnDG1YtY2+nFVi0HjfDQLp4wj1uYOXUYFDIk O4m9zt+xD9YT3Wu9KpqhWW6/camQ8evht47zhH/+YYlQqaA2VFf8KvvHbhu+fW2A VW6vo3n2GXNxZHTNIFW1U6Fedkcmd2ZuTgNVuZ2zUONcddlsjG/Hx5G6P/Q5Rs0N F/0CUusURsr9j6D0/J36lOSC1Pb5wO/onPxwYWxZbXH6Q4llRjmn7h1rvyRtBmfj bgal/Fy0rMXuC5Y4LkMWwTHglzexU1c6UcoIOWUlsYet1P8nrl/+jCqMKcUaWmpS UTQZDF5Rj824BuNRBNcxMfTuut60l9NkWcSo2YgHyQ0UZuSyn7KZjsJxN7bzu1DX pP2YiIyuES0S4koYn6nZTPGmz2TnfC3dHNBCgPVQvYy3TKW+ELVtSgd8fBTFn89F Bd9emdvOeuUsRRo0NmzrPC/V1j9Ds12f/Q2UN66hEcfE/YPHpUXw32hC3eRdXKJq KW6xWvERaMdR5HHcaGqhwaK6RPOoGiQS7Wky7vHDSH/80FsxQIliF9jD4Gvace1+ JifzG5N70lsLgvxVk6+LEQDjk/xbAvtSquGDvX5AWFcgczTFpuWxBsixxKHvIECg 6FPtuPicaOl8C6+oV+tmXJxeq7VEBaXGENUGyJRCLGVIYaX+H3Q= =Ljky -----END PGP SIGNATURE----- --=-=-=--