From eaac9bd2b497698f287dfe28eabe8fefec99b257 Mon Sep 17 00:00:00 2001 From: Boning Date: Wed, 26 May 2021 04:18:33 +0100 Subject: [PATCH] Update dune version --- dune-project | 6 +++--- ppx_make.opam | 5 +++-- 2 files changed, 6 insertions(+), 5 deletions(-) diff --git a/dune-project b/dune-project index 6aca04b..4163967 100644 --- a/dune-project +++ b/dune-project @@ -1,6 +1,6 @@ -(lang dune 2.0) +(lang dune 2.7) (name ppx_make) -(version "0.2.0") +(version "0.2.1") (generate_opam_files true) @@ -14,6 +14,6 @@ (name ppx_make) (synopsis "Ppxlib based make deriver") (depends - (dune (>= 2.0.0)) + (dune (>= 2.7.0)) (ppxlib (>= 0.10.0)) (ounit2 :with-test))) diff --git a/ppx_make.opam b/ppx_make.opam index 94a52f5..fbb9353 100644 --- a/ppx_make.opam +++ b/ppx_make.opam @@ -9,12 +9,13 @@ homepage: "https://github.com/erebuxy/ppx_make" doc: "https://github.com/erebuxy/ppx_make" bug-reports: "https://github.com/erebuxy/ppx_make/issues" depends: [ - "dune" {>= "2.0.0"} + "dune" {>= "2.7" & >= "2.7.0"} "ppxlib" {>= "0.10.0"} "ounit2" {with-test} + "odoc" {with-doc} ] build: [ - ["dune" "subst"] {pinned} + ["dune" "subst"] {dev} [ "dune" "build"