-
Notifications
You must be signed in to change notification settings - Fork 1.1k
/
opam
38 lines (38 loc) · 1.19 KB
/
opam
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
opam-version: "2.0"
maintainer: "7895506+MSoegtropIMC@users.noreply.github.com"
authors: "MSR"
homepage: "https://github.com/Z3prover/z3"
bug-reports: "https://github.com/Z3prover/z3/issues"
license: "MIT"
dev-repo: "git+https://github.com/Z3prover/z3.git"
# OK, this is really ugly, but it is quite hard to do this via z3's make system
# using an already installed opam z3.
# Also this should be quite robust with just source 2 files and opam knowns the
# library folder better than any configure script.
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"
"-Wl,-rpath"
"-Wl,%{lib}%/stublibs"
]
]
install: [ "cp" "z3_tptp" "%{bin}%/z3_tptp" ]
depends: [
"z3" { = "4.11.0" }
"conf-g++" {build}
]
synopsis: "TPTP front end for Z3 solver"
url {
src:
"https://github.com/Z3Prover/z3/archive/refs/tags/z3-4.11.0.tar.gz"
checksum: [
"sha256=afa761ee2c00b66afcf7f77ccf3f9820f97142bba988040ba56ed876443b811c"
"sha512=a3fd7e013948de6683b16aca03641bb845d02187152bebdee8c62c2a3f80a7710a1d3b9aef9c1490c2340571bb225f457928ac57a2ed28c0084ced34bcf3e905"
]
}