From 541ea6df4e37d136287cfad02508149c4c8010ed Mon Sep 17 00:00:00 2001 From: Dmitry Marakasov Date: Thu, 29 Apr 2021 20:07:04 +0300 Subject: [PATCH] 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