summaryrefslogtreecommitdiff
path: root/dev-ml
diff options
context:
space:
mode:
authorMaciej Barć <xgqt@gentoo.org>2022-10-26 23:59:16 +0200
committerMaciej Barć <xgqt@gentoo.org>2022-10-27 00:04:34 +0200
commit2ab6fbb44dd6b2f49180e4494140400da3f4aa94 (patch)
tree9dc816c87661c5c52342ac0deb1854ae7a27cce7 /dev-ml
parentsci-mathematics/coq-serapi: remove seq dependency (diff)
downloadgentoo-2ab6fbb44dd6b2f49180e4494140400da3f4aa94.tar.gz
gentoo-2ab6fbb44dd6b2f49180e4494140400da3f4aa94.tar.bz2
gentoo-2ab6fbb44dd6b2f49180e4494140400da3f4aa94.zip
dev-ml/yojson: patch dune/META seq dependency
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-ml')
-rw-r--r--dev-ml/yojson/files/yojson-2.0.2-dune-seq.patch8
-rw-r--r--dev-ml/yojson/yojson-2.0.2-r3.ebuild (renamed from dev-ml/yojson/yojson-2.0.2-r2.ebuild)5
2 files changed, 12 insertions, 1 deletions
diff --git a/dev-ml/yojson/files/yojson-2.0.2-dune-seq.patch b/dev-ml/yojson/files/yojson-2.0.2-dune-seq.patch
new file mode 100644
index 000000000000..e4783220b822
--- /dev/null
+++ b/dev-ml/yojson/files/yojson-2.0.2-dune-seq.patch
@@ -0,0 +1,8 @@
+--- a/lib/dune
++++ b/lib/dune_
+@@ -34,5 +34,4 @@
+ (public_name yojson)
+ (modules yojson)
+ (synopsis "JSON parsing and printing")
+- (libraries seq)
+ (flags (-safe-string)))
diff --git a/dev-ml/yojson/yojson-2.0.2-r2.ebuild b/dev-ml/yojson/yojson-2.0.2-r3.ebuild
index b2c26c811dab..0b46df9f89c7 100644
--- a/dev-ml/yojson/yojson-2.0.2-r2.ebuild
+++ b/dev-ml/yojson/yojson-2.0.2-r3.ebuild
@@ -7,7 +7,8 @@ inherit dune
DESCRIPTION="JSON parsing and pretty-printing library for OCaml"
HOMEPAGE="https://github.com/ocaml-community/yojson"
-SRC_URI="https://github.com/ocaml-community/yojson/archive/${PV}.tar.gz -> ${P}.tar.gz"
+SRC_URI="https://github.com/ocaml-community/${PN}/archive/${PV}.tar.gz
+ -> ${P}.tar.gz"
LICENSE="BSD"
SLOT="0/${PV}"
@@ -25,6 +26,8 @@ BDEPEND="
test? ( dev-ml/alcotest )
"
+PATCHES=( "${FILESDIR}"/${P}-dune-seq.patch )
+
src_prepare() {
default
# let's not build this