diff options
Diffstat (limited to 'dev-ml/bigarray-compat')
| -rw-r--r-- | dev-ml/bigarray-compat/Manifest | 1 | ||||
| -rw-r--r-- | dev-ml/bigarray-compat/bigarray-compat-1.0.0.ebuild | 19 | ||||
| -rw-r--r-- | dev-ml/bigarray-compat/metadata.xml | 11 |
3 files changed, 31 insertions, 0 deletions
diff --git a/dev-ml/bigarray-compat/Manifest b/dev-ml/bigarray-compat/Manifest new file mode 100644 index 000000000000..bec0a4b198b8 --- /dev/null +++ b/dev-ml/bigarray-compat/Manifest @@ -0,0 +1 @@ +DIST bigarray-compat-1.0.0.tar.gz 1385 BLAKE2B afa38fd206de8738db51742467b95df4aec3e4e713c946c2c1d041da7e19483bdb53dca440b50c9c1b3c3a5fd7ac71a63ccfe74a14a5743f10f35429838a1c14 SHA512 c365fee15582aca35d7b05268cde29e54774ad7df7be56762b4aad78ca1409d4326ad3b34af0f1cc2c7b872837290a9cd9ff43b47987c03bba7bba32fe8a030f diff --git a/dev-ml/bigarray-compat/bigarray-compat-1.0.0.ebuild b/dev-ml/bigarray-compat/bigarray-compat-1.0.0.ebuild new file mode 100644 index 000000000000..3ffba6aed6fb --- /dev/null +++ b/dev-ml/bigarray-compat/bigarray-compat-1.0.0.ebuild @@ -0,0 +1,19 @@ +# Copyright 2021 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +inherit dune + +DESCRIPTION="Compatibility library to use Stdlib.Bigarray when possible" +HOMEPAGE="https://github.com/mirage/bigarray-compat" +SRC_URI="https://github.com/mirage/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="ISC" +SLOT="0" +KEYWORDS="~amd64 ~x86" +IUSE="+ocamlopt" + +DEPEND="" +RDEPEND="${DEPEND}" +BDEPEND="" diff --git a/dev-ml/bigarray-compat/metadata.xml b/dev-ml/bigarray-compat/metadata.xml new file mode 100644 index 000000000000..f38a6788956b --- /dev/null +++ b/dev-ml/bigarray-compat/metadata.xml @@ -0,0 +1,11 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> +<pkgmetadata> + <maintainer type="project"> + <email>ml@gentoo.org</email> + <name>ML</name> + </maintainer> + <upstream> + <remote-id type="github">mirage/bigarray-compat</remote-id> + </upstream> +</pkgmetadata> |