summaryrefslogtreecommitdiff
path: root/dev-ml
diff options
context:
space:
mode:
authorAlfredo Tupone <tupone@gentoo.org>2023-02-09 22:03:50 +0100
committerAlfredo Tupone <tupone@gentoo.org>2023-02-09 22:04:25 +0100
commit04fdfae2d6ebd2a3a3b40be041d3db9eda6a1a98 (patch)
tree0576138f85ad4ec5e3f4ca4df06fe071929f4ca3 /dev-ml
parentdev-ml/ppx_sexp_message: add ppxlib deps (diff)
downloadgentoo-04fdfae2d6ebd2a3a3b40be041d3db9eda6a1a98.tar.gz
gentoo-04fdfae2d6ebd2a3a3b40be041d3db9eda6a1a98.tar.bz2
gentoo-04fdfae2d6ebd2a3a3b40be041d3db9eda6a1a98.zip
dev-ml/ppx_bench: fix for ppxlib-0.29.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml')
-rw-r--r--dev-ml/ppx_bench/files/ppx_bench-0.15.0-ppxlib0.29.0.patch23
-rw-r--r--dev-ml/ppx_bench/ppx_bench-0.15.0-r1.ebuild (renamed from dev-ml/ppx_bench/ppx_bench-0.15.0.ebuild)9
2 files changed, 30 insertions, 2 deletions
diff --git a/dev-ml/ppx_bench/files/ppx_bench-0.15.0-ppxlib0.29.0.patch b/dev-ml/ppx_bench/files/ppx_bench-0.15.0-ppxlib0.29.0.patch
new file mode 100644
index 000000000000..580af9eb4b76
--- /dev/null
+++ b/dev-ml/ppx_bench/files/ppx_bench-0.15.0-ppxlib0.29.0.patch
@@ -0,0 +1,23 @@
+From ce7bcca13aff40dd667e231fc0892c8753d0fc94 Mon Sep 17 00:00:00 2001
+From: Carl Eastlund <ceastlund@janestreet.com>
+Date: Thu, 19 Jan 2023 12:20:01 -0500
+Subject: [PATCH] Stop using [Ppxlib.File_path].
+
+Signed-off-by: Carl Eastlund <ceastlund@janestreet.com>
+---
+ src/ppx_bench.ml | 2 +-
+ 1 file changed, 1 insertion(+), 1 deletion(-)
+
+diff --git a/src/ppx_bench.ml b/src/ppx_bench.ml
+index 0c027e8..b825997 100644
+--- a/src/ppx_bench.ml
++++ b/src/ppx_bench.ml
+@@ -49,7 +49,7 @@ let maybe_drop loc code =
+ ;;
+
+ let descr (loc : Location.t) ?(inner_loc = loc) () =
+- let filename = File_path.get_default_path loc in
++ let filename = loc.loc_start.pos_fname in
+ let line = loc.loc_start.pos_lnum in
+ let start_pos = loc.loc_start.pos_cnum - loc.loc_start.pos_bol in
+ let end_pos = inner_loc.Location.loc_end.pos_cnum - loc.loc_start.pos_bol in
diff --git a/dev-ml/ppx_bench/ppx_bench-0.15.0.ebuild b/dev-ml/ppx_bench/ppx_bench-0.15.0-r1.ebuild
index a286901987c3..3f92979b1d2f 100644
--- a/dev-ml/ppx_bench/ppx_bench-0.15.0.ebuild
+++ b/dev-ml/ppx_bench/ppx_bench-0.15.0-r1.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2022 Gentoo Authors
+# Copyright 1999-2023 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
@@ -14,5 +14,10 @@ SLOT="0/$(ver_cut 1-2)"
KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
IUSE="+ocamlopt"
-DEPEND="dev-ml/ppx_inline_test:${SLOT}"
+DEPEND="
+ dev-ml/ppx_inline_test:${SLOT}
+ >=dev-ml/ppxlib-0.23.0:=
+"
RDEPEND="${DEPEND}"
+
+PATCHES=( "${FILESDIR}"/${P}-ppxlib0.29.0.patch )