diff options
Diffstat (limited to 'dev-ml/ppx_tydi')
-rw-r--r-- | dev-ml/ppx_tydi/Manifest | 3 | ||||
-rw-r--r-- | dev-ml/ppx_tydi/metadata.xml | 11 | ||||
-rw-r--r-- | dev-ml/ppx_tydi/ppx_tydi-0.16.0.ebuild | 23 |
3 files changed, 37 insertions, 0 deletions
diff --git a/dev-ml/ppx_tydi/Manifest b/dev-ml/ppx_tydi/Manifest new file mode 100644 index 000000000000..5f11d558abfc --- /dev/null +++ b/dev-ml/ppx_tydi/Manifest @@ -0,0 +1,3 @@ +DIST ppx_tydi-0.16.0.tar.gz 4583 BLAKE2B b0390da844dacdbe0492dcf9141ae4356ed8b08af328b51a8f6bd7190b58dd4590606f2375338ce5f799ed140b4652e400c5e68ea2dee8a939a464fe9d681513 SHA512 83e72699901af6dfb786f1f0a381f4a2eec6c5d51c98ec2ab76f0f107d87da7c406278a9e71c09fc7a43b8cd19cd97f87f3ba7adea2efe55fb882cd65b81d60b +EBUILD ppx_tydi-0.16.0.ebuild 548 BLAKE2B f95ac469d9500b507b0c629f0f64fe4b3619d801e4a25d75baa31f743760d2985dcaba0482e82bd42e37494c2bac45bf0ca7f59b8f7447916ee52d4791057929 SHA512 319e2bc2b86d49ae501400676236da5722ebc8301894e7f18330d9497cdaeacfa93553d0b3fc0e06013090d37ad7005dd8ba6f047a62c79ecb3f32d065f52111 +MISC metadata.xml 317 BLAKE2B bd48a90743a10aaa29983000229f110c8fc645726305eb1264e38c296cdfb5e88977919d27df10012074ccc6a42b3f182cce2b6b5f1b4cda265a0ec7118d34ef SHA512 00dce33034a79ce1f4386b21f00f480f97818f7319d760def1cc05927f3fc893b5a590465928fcf94a43e3d1a139026b7a8b09111e94422cf85a2958fb3ac8a9 diff --git a/dev-ml/ppx_tydi/metadata.xml b/dev-ml/ppx_tydi/metadata.xml new file mode 100644 index 000000000000..0b17f6b4c3ea --- /dev/null +++ b/dev-ml/ppx_tydi/metadata.xml @@ -0,0 +1,11 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> +<pkgmetadata> + <maintainer type="project"> + <email>ml@gentoo.org</email> + <name>ML</name> + </maintainer> + <upstream> + <remote-id type="github">janestreet/ppx_tydi</remote-id> + </upstream> +</pkgmetadata> diff --git a/dev-ml/ppx_tydi/ppx_tydi-0.16.0.ebuild b/dev-ml/ppx_tydi/ppx_tydi-0.16.0.ebuild new file mode 100644 index 000000000000..0ff29936db4c --- /dev/null +++ b/dev-ml/ppx_tydi/ppx_tydi-0.16.0.ebuild @@ -0,0 +1,23 @@ +# Copyright 1999-2023 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune + +DESCRIPTION="Let expressions, inferring pattern type from expression" +HOMEPAGE="https://github.com/janestreet/ppx_tydi" +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" + +DEPEND=" + >=dev-lang/ocaml-4.14 + dev-ml/base:${SLOT} + >=dev-ml/ppxlib-0.28:= +" +RDEPEND="${DEPEND}" |