Date: Thu, 29 Apr 2021 20:16:53 GMT From: Dmitry Marakasov <amdmi3@FreeBSD.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org Subject: git: 541ea6df4e37 - main - math/alt-ergo: fix build Message-ID: <202104292016.13TKGrUQ098576@gitrepo.freebsd.org>
next in thread | raw e-mail | index | archive | help
The branch main has been updated by amdmi3: URL: https://cgit.FreeBSD.org/ports/commit/?id=541ea6df4e37d136287cfad02508149c4c8010ed commit 541ea6df4e37d136287cfad02508149c4c8010ed Author: Dmitry Marakasov <amdmi3@FreeBSD.org> AuthorDate: 2021-04-29 17:07:04 +0000 Commit: Dmitry Marakasov <amdmi3@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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202104292016.13TKGrUQ098576>