Commit d7676540 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Add an optional dependency on Flocq and clean the opam file a bit.

parent 5c581cf2
......@@ -24,8 +24,6 @@ tags: [
available: [ ocaml-version >= "4.02.3" ]
build: [
["autoconf"]
["dash" "-c" "automake --add-missing || true"]
["./configure"
"--prefix" prefix
"--disable-why3-lib"
......@@ -44,10 +42,14 @@ flags: [ light-uninstall ]
depends: [
"ocamlfind" {build}
"why3"
"coq"
"coq" {>= "8.4" & < "8.8~"}
]
depopts: [
"coq-flocq"
]
conflicts: [
"coq" {< "8.4"}
"coq" {>= "8.8"}
"coq-flocq" {< "2.5"}
"coq-flocq" {>= "3.0~"}
]
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment