diff options
Diffstat (limited to 'dev-ml/re2')
| -rw-r--r-- | dev-ml/re2/Manifest | 1 | ||||
| -rw-r--r-- | dev-ml/re2/re2-0.9.1.ebuild | 24 |
2 files changed, 25 insertions, 0 deletions
diff --git a/dev-ml/re2/Manifest b/dev-ml/re2/Manifest index 093558bcfe22..a657c32d2976 100644 --- a/dev-ml/re2/Manifest +++ b/dev-ml/re2/Manifest @@ -1 +1,2 @@ DIST re2-0.9.0.tar.gz 388868 SHA256 9bc1b404c15e8cb399ce84f91d17e867e55e50792e3bc432926a84531aa84e94 SHA512 d11cde52c151486025e05318930253f37312eb6498698ffd3b271f4ba0c83cae0ff8c0c1a11e01b6ab333770400108f3de33fd68f73ab6df1c832e7edffb5e77 WHIRLPOOL 168d42bc449d532a80ebcc0b8c5ea2ca1041761c745a4d6683f168c0c928cc39a4df96c4f366280808e1a937b554765622e4215311bd68c93c76ef21eb3c4dca +DIST re2-0.9.1.tar.gz 388911 SHA256 ada97fd3f0263cc4b17d27cd28298bc153b56dd748f8d7516f206312796f2d23 SHA512 a92dc39a1d263dd2bbfad88f0ea0936fcadd1d03cd735d9db151412919713cfb4d8329f1e0fa454917d8faa49480e8dd60af9331b0863548ab267b647bd1e192 WHIRLPOOL 95aa565e93d710783d993f5fdf828e574ce2b57e3c26f801ac56662adead9b6516e4e1b72f49e9c46bf3fde6e6340d5f978bbea201c9140c7c4f3f6fe5e6cd7e diff --git a/dev-ml/re2/re2-0.9.1.ebuild b/dev-ml/re2/re2-0.9.1.ebuild new file mode 100644 index 000000000000..e77c46fb6030 --- /dev/null +++ b/dev-ml/re2/re2-0.9.1.ebuild @@ -0,0 +1,24 @@ +# Copyright 1999-2017 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 + +EAPI=6 + +inherit opam + +DESCRIPTION="OCaml bindings for RE2" +HOMEPAGE="https://github.com/janestreet/re2" +SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="Apache-2.0" +SLOT="0/${PV}" +KEYWORDS="~amd64" +IUSE="" + +DEPEND=" + dev-ml/core_kernel:= + dev-ml/ppx_driver:= + dev-ml/ppx_jane:= + dev-ml/ocaml-migrate-parsetree:= +" +RDEPEND="${DEPEND}" +DEPEND="${DEPEND} dev-ml/jbuilder" |