diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2024-10-20 19:18:50 +0200 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2024-10-20 19:48:34 +0200 |
| commit | dcf5ceaf1217d3ed2378fba5c622ebac57aaf84e (patch) | |
| tree | 9bfa2fcd98d52729c4460eca5b9416256b2b505c /dev-ml/hmap | |
| parent | dev-util/yacc: fix modern C (diff) | |
| download | gentoo-dcf5ceaf1217d3ed2378fba5c622ebac57aaf84e.tar.gz gentoo-dcf5ceaf1217d3ed2378fba5c622ebac57aaf84e.tar.bz2 gentoo-dcf5ceaf1217d3ed2378fba5c622ebac57aaf84e.zip | |
dev-ml/hmap: new package, add 0.8.1
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml/hmap')
| -rw-r--r-- | dev-ml/hmap/Manifest | 1 | ||||
| -rw-r--r-- | dev-ml/hmap/hmap-0.8.1.ebuild | 24 | ||||
| -rw-r--r-- | dev-ml/hmap/metadata.xml | 8 |
3 files changed, 33 insertions, 0 deletions
diff --git a/dev-ml/hmap/Manifest b/dev-ml/hmap/Manifest new file mode 100644 index 000000000000..39e8b062c162 --- /dev/null +++ b/dev-ml/hmap/Manifest @@ -0,0 +1 @@ +DIST hmap-0.8.1.tbz 4801 BLAKE2B bded8b87eb6ec922dcc8192f4c4ae6a650c72d14814b29504f3f4d93c46f09009d5c62fd940f3132a4d93b95e2325cd8c776157767f63c48180c536c409350a2 SHA512 9c476d9cf4acc16332e646ed67086d680d14dad76b1e7d3bfbbe22ddb96c55469efba1e2f006f89ef4816b26b68a9aa8094308967bda44283ed4384554fa9bb5 diff --git a/dev-ml/hmap/hmap-0.8.1.ebuild b/dev-ml/hmap/hmap-0.8.1.ebuild new file mode 100644 index 000000000000..8d3c9b525462 --- /dev/null +++ b/dev-ml/hmap/hmap-0.8.1.ebuild @@ -0,0 +1,24 @@ +# Copyright 2024 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit opam + +DESCRIPTION="Heterogeneous value maps for OCaml" +HOMEPAGE="http://erratique.ch/software/hmap" +SRC_URI="http://erratique.ch/software/${PN}/releases/${P}.tbz" + +LICENSE="ISC" +SLOT="0" +KEYWORDS="~amd64" + +BDEPEND=" + dev-ml/ocamlbuild + dev-ml/findlib + dev-ml/topkg +" + +src_compile() { + ocaml pkg/pkg.ml build || die +} diff --git a/dev-ml/hmap/metadata.xml b/dev-ml/hmap/metadata.xml new file mode 100644 index 000000000000..ff5a0cd1ae3d --- /dev/null +++ b/dev-ml/hmap/metadata.xml @@ -0,0 +1,8 @@ +<?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> +</pkgmetadata> |