Package: z3 Version: 4.8.12-1 Severity: wishlist I would need z3_tptp for the Coq ecosystem ; I now the opam distribution builds it without upstream's make system with the following code, in case that helps:
build: [ [ "g++" "-I./src/api/c++" "-I./src/api" "-std=c++11" "-L%{lib}%/stublibs" "-o" "z3_tptp" "examples/tptp/tptp5.cpp" "examples/tptp/tptp5.lex.cpp" "-lz3" ] ] Thanks, J.Puydt