diff options
Diffstat (limited to 'dev-ml')
| -rw-r--r-- | dev-ml/ppx_bin_prot/Manifest | 1 | ||||
| -rw-r--r-- | dev-ml/ppx_bin_prot/ppx_bin_prot-0.15.0.ebuild | 25 |
2 files changed, 26 insertions, 0 deletions
diff --git a/dev-ml/ppx_bin_prot/Manifest b/dev-ml/ppx_bin_prot/Manifest index 8a9a08861fb4..2438fb8a4604 100644 --- a/dev-ml/ppx_bin_prot/Manifest +++ b/dev-ml/ppx_bin_prot/Manifest @@ -1 +1,2 @@ DIST ppx_bin_prot-0.14.0.tar.gz 36642 BLAKE2B 6a80f574fad5e3ba2bb1adad8e6af86a9bd463ab7ed8976901234694a56f9e17c04ccc74f0bd4a18c75f1a4ccd81848218078bb387f8ff2f5df337c5f2492226 SHA512 7d61624d18fd76daed5a5d60d16ac0a3fd658ef650ee6ae4b65346e96d1718a044deb3ca6fbb63c69176505f64d0d1b6becd8419061cfb69466d45e16964329b +DIST ppx_bin_prot-0.15.0.tar.gz 37045 BLAKE2B 6ec039c1b18c759a676c1da30f02d70799e93d77dcd530844b2a448e4f2a58fbdf9c88f0d4a802a34070959586e7b9c7b1be1b51de9d29d34ea57fba9c7938cf SHA512 3fdc7e9431458b752d553f093762e3ed3c96af3a789eceeb94895284de961a887e358d137c21da372cadf6c0e6329628f6c698499581f672e0e1913b3274cc14 diff --git a/dev-ml/ppx_bin_prot/ppx_bin_prot-0.15.0.ebuild b/dev-ml/ppx_bin_prot/ppx_bin_prot-0.15.0.ebuild new file mode 100644 index 000000000000..b58e50d24335 --- /dev/null +++ b/dev-ml/ppx_bin_prot/ppx_bin_prot-0.15.0.ebuild @@ -0,0 +1,25 @@ +# Copyright 1999-2022 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune + +DESCRIPTION="Generation of bin_prot readers and writers from types" +HOMEPAGE="https://github.com/janestreet/ppx_bin_prot" +SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="Apache-2.0" +SLOT="0/$(ver_cut 1-2)" +KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86" +IUSE="+ocamlopt test" +RESTRICT="!test? ( test )" + +RDEPEND=" + dev-ml/bin_prot:${SLOT} + dev-ml/ppx_here:${SLOT} + " +DEPEND="${RDEPEND} + test? ( + dev-ml/ppx_jane + )" |