forked from OCamlPro/alt-ergo
-
Notifications
You must be signed in to change notification settings - Fork 0
/
dune-project
110 lines (89 loc) · 2.64 KB
/
dune-project
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
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
(lang dune 2.0)
; Since we want to generate opam files we need to provide informations ;
(generate_opam_files true)
(name alt-ergo)
(version dev)
(authors "Alt-Ergo developers")
(maintainers "Alt-Ergo developers")
(source (github OCamlPro/alt-ergo))
; Not specifying bug_reports since it defaults to the github issue page
(homepage "https://alt-ergo.ocamlpro.com/")
(documentation "https://ocamlpro.github.io/alt-ergo/dev/")
(using menhir 2.0)
; First package, the alt-ergo binary
(package
(name alt-ergo)
(synopsis "The Alt-Ergo SMT prover")
(description "\
Alt-Ergo is an automatic theorem prover of mathematical formulas. It was developed at LRI, and is now maintained at OCamlPro.
See more details on https://alt-ergo.ocamlpro.com/")
(depends
(ocaml (>= 4.04.0))
(dune (>= 2.0))
(alt-ergo-lib (= :version))
(alt-ergo-parsers (= :version))
menhir
cmdliner
)
)
; Second package, the alt-ergo gui binary
(package
(name altgr-ergo)
(synopsis "The GUI for the Alt-Ergo SMT prover")
(description "\
Altgr-Ergo is the graphical interface for the Alt-Ergo SMT prover.
Alt-Ergo is an automatic theorem prover of mathematical formulas. It was developed at LRI, and is now maintained at OCamlPro.
See more details on https://alt-ergo.ocamlpro.com/"
)
(license "OCamlPro Non-Commercial Purpose License, version 1")
(depends
(ocaml (>= 4.04.0))
(dune (>= 2.0))
(alt-ergo-lib (= :version))
(alt-ergo-parsers (= :version))
lablgtk
conf-gtksourceview
cmdliner
)
)
; Third package, the alt-ergo parsers library
(package
(name alt-ergo-parsers)
(synopsis "The Alt-Ergo SMT prover parser library")
(description "\
This is the parser library used in the Alt-Ergo SMT solver.
Alt-Ergo is an automatic theorem prover of mathematical formulas. It was developed at LRI, and is now maintained at OCamlPro.
See more details on http://alt-ergo.ocamlpro.com/"
)
(license "OCamlPro Non-Commercial Purpose License, version 1")
(depends
(ocaml (>= 4.04.0))
(dune (>= 2.0))
(alt-ergo-lib (= :version))
(psmt2-frontend (>= 0.2))
(camlzip (>= 1.07))
menhir
stdlib-shims
)
)
; Fourth package, the alt-ergo library
(package
(name alt-ergo-lib)
(synopsis "The Alt-Ergo SMT prover library")
(description "\
This is the core library used in the Alt-Ergo SMT solver.
Alt-Ergo is an automatic theorem prover of mathematical formulas. It was developed at LRI, and is now maintained at OCamlPro.
See more details on http://alt-ergo.ocamlpro.com/"
)
(license "OCamlPro Non-Commercial Purpose License, version 1")
(depends
(ocaml (>= 4.04.0))
(dune (>= 2.0))
dune-configurator
num
(ocplib-simplex (>= 0.4))
zarith
seq
stdlib-shims
)
)