git: 541ea6df4e37 - main - math/alt-ergo: fix build

[Dmitry Marakasov]

The branch main has been updated by amdmi3:

URL: https://cgit.FreeBSD.org/ports/commit/?id=541ea6df4e37d136287cfad02508149c4c8010ed

commit 541ea6df4e37d136287cfad02508149c4c8010ed
Author:     Dmitry Marakasov <amdmi3 at FreeBSD.org>
AuthorDate: 2021-04-29 17:07:04 +0000
Commit:     Dmitry Marakasov <amdmi3 at FreeBSD.org>
CommitDate: 2021-04-29 20:15:20 +0000

    math/alt-ergo: fix build
---
 math/alt-ergo/Makefile  | 6 ++++--
 math/alt-ergo/pkg-plist | 1 -
 2 files changed, 4 insertions(+), 3 deletions(-)

diff --git a/math/alt-ergo/Makefile b/math/alt-ergo/Makefile
index c0b42f383623..96c5c477b7e5 100644
--- a/math/alt-ergo/Makefile
+++ b/math/alt-ergo/Makefile
@@ -17,8 +17,10 @@ LICENSE_PERMS=	dist-mirror dist-sell pkg-mirror pkg-sell auto-accept
 BROKEN_powerpc64=	fails to compile: Assembler messages: /tmp/camlasm2822e8.s:10348: Error: operand out of range
 
 BUILD_DEPENDS=	ocaml-zarith>1.2:math/ocaml-zarith \
-		ocaml-ocamlgraph>1.8:math/ocaml-ocamlgraph
-RUN_DEPENDS=	ocaml-ocamlgraph>1.8:math/ocaml-ocamlgraph
+		ocaml-ocamlgraph>1.8:math/ocaml-ocamlgraph \
+		ocaml-lablgtk2>=0:x11-toolkits/ocaml-lablgtk2
+RUN_DEPENDS=	ocaml-ocamlgraph>1.8:math/ocaml-ocamlgraph \
+		ocaml-lablgtk2>=0:x11-toolkits/ocaml-lablgtk2
 
 GNU_CONFIGURE=	yes
 USES=		gmake
diff --git a/math/alt-ergo/pkg-plist b/math/alt-ergo/pkg-plist
index b8335ee4735e..bf0cd1a27feb 100644
--- a/math/alt-ergo/pkg-plist
+++ b/math/alt-ergo/pkg-plist
@@ -5,4 +5,3 @@ lib/ocaml/alt-ergo/altErgo.cmo
 lib/ocaml/alt-ergo/altErgo.cmx
 lib/ocaml/alt-ergo/altErgo.o
 man/man1/alt-ergo.1.gz
-share/gtksourceview-2.0/language-specs/alt-ergo.lang