From e7f2b2fc1a58b8d1642ae55471cbb22a231d2efc Mon Sep 17 00:00:00 2001 From: Alfredo Tupone Date: Fri, 10 Mar 2023 21:26:12 +0100 Subject: [PATCH] dev-ml/lablgtk: fix Makefile Closes: https://bugs.gentoo.org/888607 Signed-off-by: Alfredo Tupone --- dev-ml/lablgtk/files/lablgtk-2.18.12-Makefile.patch | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/dev-ml/lablgtk/files/lablgtk-2.18.12-Makefile.patch b/dev-ml/lablgtk/files/lablgtk-2.18.12-Makefile.patch index a77455afa8efe..eccbf30a3ea8c 100644 --- a/dev-ml/lablgtk/files/lablgtk-2.18.12-Makefile.patch +++ b/dev-ml/lablgtk/files/lablgtk-2.18.12-Makefile.patch @@ -1,5 +1,14 @@ --- a/src/Makefile 2022-12-23 21:39:09.743150707 +0100 +++ b/src/Makefile 2022-12-23 21:39:40.219667855 +0100 +@@ -23,7 +23,7 @@ + TARGETS = varcc$(XE) lablgtktop$(XE) lablgtk2$(XB) gdk_pixbuf_mlsource$(XE) \ + $(THINITOBJS) build.ml + +-all: dist byte ++all: dist byte sourceView2Enums.ml + world: dist byte $(CAMLBEST) + install: findlib-install + uninstall: findlib-uninstall @@ -617,7 +617,7 @@ gtk_tags.h gdk_tags.h ml_gtktext.h sourceView_tags.h wrappers.h