cpet/freebsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

math/coq: add missing run-time dependency on `math/ocaml-num'

Browse Source 
This was missed in commit 317aa0442c when Num library was split
off the core OCaml distribution.

PR:	263860
This commit is contained in:
Alexey Dokuchaev 2022-05-09 11:05:54 +00:00
parent d82f8cc4f0
commit 1da2c6c114
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
math/coq/Makefile
View File

@ -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