bug-reports: "mailto:claudio.sacerdoticoen@unibo.it"
depends: [
"dune" {>= "3.6"}
- "ocamlnet" {= "4.1.9.git"}
- "ulex-camlp5" {= "1.3"}
- "ocaml-expat" {= "1.1.0"}
- "lablgtk3-sourceview3" {= "3.1.3"}
- "camlp5" {= "8.00.04"}
+ "ocaml" {>= "4.14.1"}
+ "ulex-camlp5" {>= "1.3"}
+ "ocaml-expat" {>= "1.1.0"}
+ "pcre" {>= "7.5.0"}
+ "camlzip" {>= "1.11"}
+ "lablgtk3-sourceview3" {>= "3.1.3"}
+ "dune-build-info"
+ "dune-site"
+ "camlp5" {>= "8.00.04"}
"odoc" {with-doc}
]
build: [
name
"-j"
jobs
+ "--promote-install-files=false"
"@install"
"@runtest" {with-test}
"@doc" {with-doc}
]
+ ["dune" "install" "-p" name "--create-install-files" name]
]
dev-repo: "git://matita.cs.unibo.it/git/helm"