From e3cd096962bea84b68d25f48688e27d5eea8f1f4 Mon Sep 17 00:00:00 2001 From: Steven de Oliveira Date: Thu, 28 Jul 2022 15:33:51 +0200 Subject: [PATCH] Adding compaitibility with dune3 --- alt-ergo-lib.opam | 2 +- alt-ergo-parsers.opam | 2 +- alt-ergo.opam | 2 +- altgr-ergo.opam | 2 +- dune-project | 8 ++++---- 5 files changed, 8 insertions(+), 8 deletions(-) diff --git a/alt-ergo-lib.opam b/alt-ergo-lib.opam index 7bfdd7a1e..e90d5eced 100644 --- a/alt-ergo-lib.opam +++ b/alt-ergo-lib.opam @@ -15,7 +15,7 @@ doc: "https://ocamlpro.github.io/alt-ergo" bug-reports: "https://github.com/OCamlPro/alt-ergo/issues" depends: [ "ocaml" {>= "4.05.0"} - "dune" {>= "2.0" & < "3.0"} + "dune" {>= "2.0"} "dune-configurator" "num" "ocplib-simplex" {>= "0.4"} diff --git a/alt-ergo-parsers.opam b/alt-ergo-parsers.opam index 2f4153ba0..295a78d12 100644 --- a/alt-ergo-parsers.opam +++ b/alt-ergo-parsers.opam @@ -15,7 +15,7 @@ doc: "https://ocamlpro.github.io/alt-ergo" bug-reports: "https://github.com/OCamlPro/alt-ergo/issues" depends: [ "ocaml" {>= "4.05.0"} - "dune" {>= "2.0" & < "3.0"} + "dune" {>= "2.0"} "alt-ergo-lib" {= version} "psmt2-frontend" {>= "0.3"} "camlzip" {>= "1.07"} diff --git a/alt-ergo.opam b/alt-ergo.opam index df6375b0c..f32a4eb31 100644 --- a/alt-ergo.opam +++ b/alt-ergo.opam @@ -13,7 +13,7 @@ doc: "https://ocamlpro.github.io/alt-ergo" bug-reports: "https://github.com/OCamlPro/alt-ergo/issues" depends: [ "ocaml" {>= "4.05.0"} - "dune" {>= "2.0" & < "3.0"} + "dune" {>= "2.0"} "alt-ergo-lib" {= version} "alt-ergo-parsers" {= version} "menhir" diff --git a/altgr-ergo.opam b/altgr-ergo.opam index f6e0353c5..6574ccd3b 100644 --- a/altgr-ergo.opam +++ b/altgr-ergo.opam @@ -15,7 +15,7 @@ doc: "https://ocamlpro.github.io/alt-ergo" bug-reports: "https://github.com/OCamlPro/alt-ergo/issues" depends: [ "ocaml" {>= "4.05.0"} - "dune" {>= "2.0" & < "3.0"} + "dune" {>= "2.0"} "alt-ergo-lib" {= version} "alt-ergo-parsers" {= version} "lablgtk3" diff --git a/dune-project b/dune-project index b97ad3a67..ecb144523 100644 --- a/dune-project +++ b/dune-project @@ -26,7 +26,7 @@ Alt-Ergo is an automatic theorem prover of mathematical formulas. It was develop See more details on https://alt-ergo.ocamlpro.com/") (depends (ocaml (>= 4.05.0)) - (dune (and (>= 2.0) (< 3.0))) + (dune (and (>= 2.0))) (alt-ergo-lib (= :version)) (alt-ergo-parsers (= :version)) menhir @@ -51,7 +51,7 @@ See more details on https://alt-ergo.ocamlpro.com/" (depends (ocaml (>= 4.05.0)) - (dune (and (>= 2.0) (< 3.0))) + (dune (and (>= 2.0))) (alt-ergo-lib (= :version)) (alt-ergo-parsers (= :version)) lablgtk3 @@ -78,7 +78,7 @@ See more details on http://alt-ergo.ocamlpro.com/" (depends (ocaml (>= 4.05.0)) - (dune (and (>= 2.0) (< 3.0))) + (dune (and (>= 2.0))) (alt-ergo-lib (= :version)) (psmt2-frontend (>= 0.3)) (camlzip (>= 1.07)) @@ -104,7 +104,7 @@ See more details on http://alt-ergo.ocamlpro.com/" (depends (ocaml (>= 4.05.0)) - (dune (and (>= 2.0) (< 3.0))) + (dune (and (>= 2.0))) dune-configurator num (ocplib-simplex (>= 0.4))