[Bug 279337] math/alt-ergo: missing dependency on ocaml-zarith

https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=279337

            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=251000&action=edit
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 = ()
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 = ()
# #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.

-- 
You are receiving this mail because:
You are the assignee for the bug.