From b0b6fcb860a7af1593a468ca3801f99d7682fd34 Mon Sep 17 00:00:00 2001 From: Gabriel Date: Sat, 18 Jun 2022 15:32:30 +0200 Subject: [PATCH] Dependencies - universo depends on dedukti >= 2.7 - It is advised to use dune >= 2.7 to generate opam files (see linter of opam ci) - z3 >= 4.8.11 (a lower bound may exist) --- dedukti.opam | 5 +++-- dune-project | 6 +++--- universo.opam | 9 +++++---- 3 files changed, 11 insertions(+), 9 deletions(-) diff --git a/dedukti.opam b/dedukti.opam index d0f20ab9..6127b239 100644 --- a/dedukti.opam +++ b/dedukti.opam @@ -8,14 +8,15 @@ license: "CECILL-B" homepage: "https://github.com/Deducteam/Dedukti" bug-reports: "https://github.com/Deducteam/Dedukti/issues" depends: [ - "dune" {>= "2.0"} + "dune" {>= "2.7"} "ocaml" {>= "4.08"} "cmdliner" {>= "1.1.0"} "tezt" {with-test & >= "2.0"} "menhir" {>= "20180528"} + "odoc" {with-doc} ] build: [ - ["dune" "subst"] {pinned} + ["dune" "subst"] {dev} [ "dune" "build" diff --git a/dune-project b/dune-project index 7c2c9acb..03acc623 100644 --- a/dune-project +++ b/dune-project @@ -1,4 +1,4 @@ -(lang dune 2.0) +(lang dune 2.7) (name dedukti) (using menhir 2.0) @@ -25,6 +25,6 @@ (description "A tool for Dedukti to play with universes") (depends (ocaml (>= 4.08)) - (dedukti (>= version)) - z3 + (dedukti (>= 2.7)) + (z3 (>= 4.8.11)) (tezt (and :with-test (>= 2.0))))) diff --git a/universo.opam b/universo.opam index 1dee9dca..4d6afeee 100644 --- a/universo.opam +++ b/universo.opam @@ -8,14 +8,15 @@ license: "CECILL-B" homepage: "https://github.com/Deducteam/Dedukti" bug-reports: "https://github.com/Deducteam/Dedukti/issues" depends: [ - "dune" {>= "2.0"} + "dune" {>= "2.7"} "ocaml" {>= "4.08"} - "dedukti" {>= "version"} - "z3" + "dedukti" {>= "2.7"} + "z3" {>= "4.8.11"} "tezt" {with-test & >= "2.0"} + "odoc" {with-doc} ] build: [ - ["dune" "subst"] {pinned} + ["dune" "subst"] {dev} [ "dune" "build"