git: 1da2c6c114ec - main - math/coq: add missing run-time dependency on `math/ocaml-num'
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Mon, 09 May 2022 11:06:22 UTC
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