summaryrefslogtreecommitdiff
path: root/dev-ml
diff options
context:
space:
mode:
authorAlfredo Tupone <tupone@gentoo.org>2021-11-09 08:59:43 +0100
committerAlfredo Tupone <tupone@gentoo.org>2021-11-09 09:00:37 +0100
commit0bbab67618878c722b28078be463a66491d8c495 (patch)
tree9e9ae254e5e0781ad3295eb1cf5ef4ee403344c5 /dev-ml
parentmedia-sound/picard: removed obsolete 2.6.3 (diff)
downloadgentoo-0bbab67618878c722b28078be463a66491d8c495.tar.gz
gentoo-0bbab67618878c722b28078be463a66491d8c495.tar.bz2
gentoo-0bbab67618878c722b28078be463a66491d8c495.zip
dev-ml/xmlm: new package
Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml')
-rw-r--r--dev-ml/xmlm/Manifest1
-rw-r--r--dev-ml/xmlm/metadata.xml8
-rw-r--r--dev-ml/xmlm/xmlm-1.3.0.ebuild25
3 files changed, 34 insertions, 0 deletions
diff --git a/dev-ml/xmlm/Manifest b/dev-ml/xmlm/Manifest
new file mode 100644
index 000000000000..e96019c4d802
--- /dev/null
+++ b/dev-ml/xmlm/Manifest
@@ -0,0 +1 @@
+DIST xmlm-1.3.0.tbz 25176 BLAKE2B 546f433386101c2460b0a8cadf94e383269e81792d068fa4c85d78117a5e65a64bd5e2fac0a5857d6bdefc7c511ae98cc77410b276ecb0300baf73d70ccb2251 SHA512 fd3b9ba8cd12321fd8d56e9ce829a7c8b121bff11cbf7ede58fa0280302fe0ba64f510360ff5b5182591faef660792db66db36e45f6355e3d22bb521f8e308fe
diff --git a/dev-ml/xmlm/metadata.xml b/dev-ml/xmlm/metadata.xml
new file mode 100644
index 000000000000..ff5a0cd1ae3d
--- /dev/null
+++ b/dev-ml/xmlm/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>
diff --git a/dev-ml/xmlm/xmlm-1.3.0.ebuild b/dev-ml/xmlm/xmlm-1.3.0.ebuild
new file mode 100644
index 000000000000..ee8d7ff76699
--- /dev/null
+++ b/dev-ml/xmlm/xmlm-1.3.0.ebuild
@@ -0,0 +1,25 @@
+# Copyright 2021 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+inherit opam
+
+DESCRIPTION="Streaming XML codec for OCaml"
+HOMEPAGE="http://erratique.ch/software/xmlm"
+SRC_URI="http://erratique.ch/software/xmlm/releases/xmlm-1.3.0.tbz"
+
+LICENSE="ISC"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~x86"
+IUSE="+ocamlopt"
+
+BDEPEND="
+ dev-ml/findlib[ocamlopt=]
+ dev-ml/ocamlbuild[ocamlopt=]
+ dev-ml/topkg
+"
+
+src_compile() {
+ ocaml pkg/pkg.ml build || die
+}