Date: Mon, 9 May 2022 11:06:22 GMT From: Alexey Dokuchaev <danfe@FreeBSD.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org Subject: git: 1da2c6c114ec - main - math/coq: add missing run-time dependency on `math/ocaml-num' Message-ID: <202205091106.249B6MYg011448@gitrepo.freebsd.org>
next in thread | raw e-mail | index | archive | help
The branch main has been updated by danfe: URL: https://cgit.FreeBSD.org/ports/commit/?id=1da2c6c114ec1c5d279f42eb55287f3c60a5546c commit 1da2c6c114ec1c5d279f42eb55287f3c60a5546c Author: Alexey Dokuchaev <danfe@FreeBSD.org> AuthorDate: 2022-05-09 11:05:54 +0000 Commit: Alexey Dokuchaev <danfe@FreeBSD.org> CommitDate: 2022-05-09 11:05:54 +0000 math/coq: add missing run-time dependency on `math/ocaml-num' This was missed in commit 317aa0442c99 when Num library was split off the core OCaml distribution. PR: 263860 --- math/coq/Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/math/coq/Makefile b/math/coq/Makefile index 8ffcfd5e51ff..42df3d5a63e3 100644 --- a/math/coq/Makefile +++ b/math/coq/Makefile @@ -21,6 +21,7 @@ BUILD_DEPENDS= camlp5:devel/ocaml-camlp5 \ ${LOCALBASE}/${OCAML_SITELIBDIR}/num/META:math/ocaml-num LIB_DEPENDS= libfontconfig.so:x11-fonts/fontconfig \ libfreetype.so:print/freetype2 +RUN_DEPENDS= ${LOCALBASE}/lib/ocaml/stublibs/dllnums.so:math/ocaml-num USES= emacs gettext-runtime gmake gnome USE_GNOME= atk cairo gdkpixbuf2 glib20 gtk20 gtksourceview2 pango
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202205091106.249B6MYg011448>