Bug#1014979: Please ship z3_tptp

[julien.puydt at gmail.com]

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