Date: Sun, 26 May 2024 20:52:44 +0000 From: bugzilla-noreply@freebsd.org To: ports-bugs@FreeBSD.org Subject: [Bug 279337] math/alt-ergo: missing dependency on ocaml-zarith Message-ID: <bug-279337-7788@https.bugs.freebsd.org/bugzilla/>
next in thread | raw e-mail | index | archive | help
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=3D279337 Bug ID: 279337 Summary: math/alt-ergo: missing dependency on ocaml-zarith Product: Ports & Packages Version: Latest Hardware: Any OS: Any Status: New Severity: Affects Only Me Priority: --- Component: Individual Port(s) Assignee: ports-bugs@FreeBSD.org Reporter: freebsd@dev.thsi.be Created attachment 251000 --> https://bugs.freebsd.org/bugzilla/attachment.cgi?id=3D251000&action= =3Dedit alt-ergo.patch Using the altErgo library with ocamlfind fails due to missing a dependency = on Zarith. OCaml version 4.14.2 Enter #help;; for help. # #use "topfind";; - : unit =3D () Findlib has been successfully loaded. Additional directives: #require "package";; to load a package #list;; to list the available packages #camlp4o;; to load camlp4 (standard syntax) #camlp4r;; to load camlp4 (revised syntax) #predicates "p,q,...";; to set these predicates Topfind.reset();; to force that packages will be reloaded #thread;; to enable threads - : unit =3D () # #require "alt-ergo";; /usr/local/lib/ocaml/unix.cma: loaded /usr/local/lib/ocaml/nums.cma: loaded /usr/local/lib/ocaml/site-lib/num-top: added to search path /usr/local/lib/ocaml/site-lib/num-top/num_top.cma: loaded /usr/local/lib/ocaml/site-lib/num: added to search path /usr/local/lib/ocaml/site-lib/ocamlgraph: added to search path /usr/local/lib/ocaml/site-lib/ocamlgraph/graph.cma: loaded /usr/local/lib/ocaml/alt-ergo: added to search path # #require "alt-ergo";;t-ergo/altErgo.cmo: loaded Error: The external function `ml_z_pow' is not available $ ocamlobjinfo /usr/local/lib/ocaml/alt-ergo/altErgo.cmo | head -5 File /usr/local/lib/ocaml/alt-ergo/altErgo.cmo Unit name: AltErgo Interfaces imported: 0ef7aa8d9fbb9958a11d71eacb5ac636 AltErgo 517131d07104355def6a245e005d213c Z ... The attached patch fixes the META file, and adds the missing RUN_DEPENDS and LIB_DEPENDS to the alt-ergo package. While at it, the alt-ergo binary gets stripped. --=20 You are receiving this mail because: You are the assignee for the bug.=
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?bug-279337-7788>