summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlfredo Tupone <tupone@gentoo.org>2024-07-13 09:50:36 +0200
committerAlfredo Tupone <tupone@gentoo.org>2024-07-13 09:51:04 +0200
commitf1f3aa6625f8ad058e97a1580105f85bebee8fcc (patch)
treec8c535505363c9f40c3112eebc392c6aae00b3d6 /dev-ml/odoc
parentdev-lang/ruby: avoid broken readline test on arm (diff)
downloadgentoo-f1f3aa6625f8ad058e97a1580105f85bebee8fcc.tar.gz
gentoo-f1f3aa6625f8ad058e97a1580105f85bebee8fcc.tar.bz2
gentoo-f1f3aa6625f8ad058e97a1580105f85bebee8fcc.zip
dev-ml/odoc: add 2.4.2
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml/odoc')
-rw-r--r--dev-ml/odoc/Manifest1
-rw-r--r--dev-ml/odoc/odoc-2.4.2.ebuild35
2 files changed, 36 insertions, 0 deletions
diff --git a/dev-ml/odoc/Manifest b/dev-ml/odoc/Manifest
index 798ea2e8dc4f..04e97d427fc0 100644
--- a/dev-ml/odoc/Manifest
+++ b/dev-ml/odoc/Manifest
@@ -1,2 +1,3 @@
DIST odoc-2.2.0.tbz 1548871 BLAKE2B 251c823e5f93e8080d52486e9d048a0c31651b6ea9d4bfdc3202488d7bcd750f9c2899189b943500253bf1e6041cf0283ed5e57c34d1a7d538c7c3710fb9a260 SHA512 9f8fc2ee6b25629474e8aa69dd460becab9277261578af0f7b97f7f779cc5f1056d1b5f14ab583b9b94ea097e5df2d6e35040f2a4887021209705486f9d44a22
DIST odoc-2.2.1.tbz 1548027 BLAKE2B 846890375debd70519879de261ab829b34dc4f7754ef9d32c2cf6fa07d86ed721a828987398549021ca7805a4e298fef516b5c6e0691e083f8849ccaa6d4184e SHA512 044e37eb3dcc77d9cc8124be558cce77a438723b90225273fb3401d3315c57c8c2f395a48ebd1b6aacc01b00cbfa4bd0be1923d2bd9bd3cc92d0604eadaabc4f
+DIST odoc-2.4.2.tbz 1761532 BLAKE2B d690b94eae406b66ec5bc6ea44d0bf006eea534861e8a457f0355cee50b3908173c249f69c59726b867ee38c21715c05217b409fb2d6a74d26c782e8357bc8ad SHA512 8d48c99e0c253791177dd65287ce5cee47e7c6805e33f3ae0cf6c8e7d349128f26eebbe36459c31429c11519ad5979dbe36fbcb9403a5fde199a69976a3fb3a6
diff --git a/dev-ml/odoc/odoc-2.4.2.ebuild b/dev-ml/odoc/odoc-2.4.2.ebuild
new file mode 100644
index 000000000000..084faf30fa68
--- /dev/null
+++ b/dev-ml/odoc/odoc-2.4.2.ebuild
@@ -0,0 +1,35 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="OCaml documentation generator"
+HOMEPAGE="http://github.com/ocaml/odoc/"
+SRC_URI="https://github.com/ocaml/${PN}/releases/download/${PV}/${P}.tbz"
+
+LICENSE="ISC"
+SLOT="0"
+KEYWORDS="~amd64"
+IUSE="+ocamlopt test"
+RESTRICT="test"
+
+RDEPEND="
+ dev-ml/astring:=
+ dev-ml/cmdliner:=[ocamlopt?]
+ ~dev-ml/odoc-parser-${PV}:=[ocamlopt?]
+ dev-ml/fmt:=[ocamlopt?]
+ dev-ml/fpath:=
+ dev-ml/ocaml-crunch:=[ocamlopt?]
+ dev-ml/result:=[ocamlopt?]
+ dev-ml/tyxml:=[ocamlopt?]
+"
+DEPEND="${RDEPEND}
+ dev-ml/cppo:=[ocamlopt?]
+"
+BDEPEND=">=dev-ml/dune-3.7"
+
+src_compile() {
+ dune-compile ${PN}
+}