diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2022-10-26 23:59:16 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2022-10-27 00:04:34 +0200 |
| commit | 2ab6fbb44dd6b2f49180e4494140400da3f4aa94 (patch) | |
| tree | 9dc816c87661c5c52342ac0deb1854ae7a27cce7 | |
| parent | sci-mathematics/coq-serapi: remove seq dependency (diff) | |
| download | gentoo-2ab6fbb4.tar.gz gentoo-2ab6fbb4.tar.bz2 gentoo-2ab6fbb4.zip | |
dev-ml/yojson: patch dune/META seq dependency
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
| -rw-r--r-- | dev-ml/yojson/files/yojson-2.0.2-dune-seq.patch | 8 | ||||
| -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 |