Bug 263860

Summary:	math/coq: Fails to run: missing math/ocaml-num runtime dependency
Product:	Ports & Packages	Reporter:	Jakub Šebek <jamertwo>
Component:	Individual Port(s)	Assignee:	Alexey Dokuchaev <danfe>
Status:	Closed FIXED
Severity:	Affects Many People	CC:	danfe
Priority:	---	Keywords:	needs-patch, needs-qa
Version:	Latest	Flags:	bugzilla: maintainer-feedback? (hrs) koobs: maintainer-feedback? (danfe)
Hardware:	Any
OS:	Any
See Also:	https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=250408 https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=262781

Description Jakub Šebek 2022-05-08 08:58:19 UTC

On latest, Coq cannot function properly without the ocaml-num dynamic library for arbitrary-precision arithmetic (it complains about a missing dllnums.so). However, that is only listed as a build dependency.

Comment 1 Kubilay Kocak freebsd_committer

2022-05-08 23:22:40 UTC

@Reporter Can you include the runtime failure log as an attachment please

^Triage: Request feedback from danfe@ (ocaml-num maintainer) and re ports 317aa0442c99 (see also bug 250408 and bug 262781)

Comment 2 commit-hook freebsd_committer

2022-05-09 11:07:17 UTC

A commit in branch main references this bug:

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(+)

Comment 3 Alexey Dokuchaev freebsd_committer

2022-05-09 11:09:04 UTC

Thank you Jakub, no need to provide the failure log, it is easily reproducible and should be fixed now.