Bug 263860 - math/coq: Fails to run: missing math/ocaml-num runtime dependency
Summary: math/coq: Fails to run: missing math/ocaml-num runtime dependency
Status: Closed FIXED
Alias: None
Product: Ports & Packages
Classification: Unclassified
Component: Individual Port(s) (show other bugs)
Version: Latest
Hardware: Any Any
: --- Affects Many People
Assignee: Alexey Dokuchaev
Keywords: needs-patch, needs-qa
Depends on:
Reported: 2022-05-08 08:58 UTC by Jakub Šebek
Modified: 2022-05-09 11:09 UTC (History)
1 user (show)

See Also:
bugzilla: maintainer-feedback? (hrs)
koobs: maintainer-feedback? (danfe)


Note You need to log in before you can comment on or make changes to this bug.
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 freebsd_triage 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.