]> matita.cs.unibo.it Git - helm.git/blob - matita/dune-project
revert from camlp5o to standard syntax
[helm.git] / matita / dune-project
1 (lang dune 3.6)
2 (using dune_site 0.1)
3
4 (name matita)
5
6 ; Remember to change manually also matita/help/C/version.txt.in
7 (version 0.99.5)
8
9 (generate_opam_files true)
10
11 (source
12  (uri git://matita.cs.unibo.it/git/helm))
13
14 (authors "HELM Team (Andrea Asperti, Ferruccio Guidi, Luca Padovani, Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli et alt.)")
15
16 (maintainers "Claudio Sacerdoti Coen")
17
18 (license GPL-2.0-or-later)
19
20
21 (bug_reports "mailto:claudio.sacerdoticoen@unibo.it")
22
23 (homepage http://matita.cs.unibo.it)
24
25 (documentation http://matita.cs.unibo.it)
26
27 (package
28  (name matita)
29  (synopsis "An experimental, interactive theorem prover")
30  (description "Matita (that means pencil in italian) is an experimental, interactive theorem prover under development at the Computer Science Department of the University of Bologna.")
31  (depends
32    (ocaml (>= "4.14.1"))
33    (ulex-camlp5 (>= 1.3))
34    (ocaml-expat (>= 1.1.0))
35    (pcre (>= 7.5.0))
36    ;(ocamlnet (>= 4.1.9.git)) ; used only by ocaml-http
37    ;(ocaml-http (>= 0.1.6))   ; no longer really used, replaced by failing stubs
38                               ; in components/ocaml_http_stubs
39    (camlzip (>= 1.11))
40    (lablgtk3-sourceview3 (>= 3.1.3))
41    dune-build-info
42    dune-site
43    (camlp5 (>= 8.00.04)))
44  (tags
45   ("interactive theorem proving" "calculus of constructions"))
46  (sites (share myshare)))
47
48 ; See the complete stanza docs at https://dune.readthedocs.io/en/stable/dune-files.html#dune-project