summaryrefslogtreecommitdiff
path: root/dev-ml
diff options
context:
space:
mode:
authorAlfredo Tupone <tupone@gentoo.org>2021-07-14 22:53:26 +0200
committerAlfredo Tupone <tupone@gentoo.org>2021-07-14 22:53:26 +0200
commit121fe1ef2a7536970641a63ae26ca8c42dddbdd5 (patch)
treeefd592fe9c2677e89de1e6a7d32d14eab76035d3 /dev-ml
parentsys-kernel/linux-docs: Version bump (diff)
downloadgentoo-121fe1ef2a7536970641a63ae26ca8c42dddbdd5.tar.gz
gentoo-121fe1ef2a7536970641a63ae26ca8c42dddbdd5.tar.bz2
gentoo-121fe1ef2a7536970641a63ae26ca8c42dddbdd5.zip
dev-ml/labltk: fix build until dev-lang/ocaml:4.12
Closes: https://bugs.gentoo.org/795246 Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml')
-rw-r--r--dev-ml/labltk/files/labltk-8.06.10-this-expression-has-type.patch12
-rw-r--r--dev-ml/labltk/labltk-8.06.10.ebuild1
2 files changed, 13 insertions, 0 deletions
diff --git a/dev-ml/labltk/files/labltk-8.06.10-this-expression-has-type.patch b/dev-ml/labltk/files/labltk-8.06.10-this-expression-has-type.patch
new file mode 100644
index 000000000000..8f9fde6bdd79
--- /dev/null
+++ b/dev-ml/labltk/files/labltk-8.06.10-this-expression-has-type.patch
@@ -0,0 +1,12 @@
+diff -urNp labltk-8.06.10-orig/browser/typecheck.ml labltk-8.06.10-dwok/browser/typecheck.ml
+--- labltk-8.06.10-orig/browser/typecheck.ml 2020-08-25 07:50:47.000000000 +0200
++++ labltk-8.06.10-dwok/browser/typecheck.ml 2021-02-26 01:55:00.000000000 +0100
+@@ -116,7 +116,7 @@ let f txt =
+ List.iter psl ~f:
+ begin function
+ Ptop_def pstr ->
+- let str, sign, _names, env' = Typemod.type_structure !env pstr in
++ let str, sign, _names, env' = Typemod.type_structure !env pstr Location.none in
+ txt.structure <- txt.structure @ str.str_items;
+ txt.signature <- txt.signature @ sign;
+ env := env'
diff --git a/dev-ml/labltk/labltk-8.06.10.ebuild b/dev-ml/labltk/labltk-8.06.10.ebuild
index 10d78bc548ad..6acd06b500f4 100644
--- a/dev-ml/labltk/labltk-8.06.10.ebuild
+++ b/dev-ml/labltk/labltk-8.06.10.ebuild
@@ -22,6 +22,7 @@ DEPEND="${RDEPEND}
PATCHES=(
"${FILESDIR}/findlib.patch"
+ "${FILESDIR}"/${P}-this-expression-has-type.patch
)
src_configure() {