From b31c3812c988fe5070125f9ba048723a7ff8047b Mon Sep 17 00:00:00 2001 From: Ulrik Date: Mon, 20 Jan 2020 14:41:24 +0100 Subject: [PATCH] Use dune-configurator to allow dune 2.0 --- config/dune | 2 +- nocrypto.opam | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/config/dune b/config/dune index 1f05c58..2ca4ccd 100644 --- a/config/dune +++ b/config/dune @@ -1,3 +1,3 @@ (executables (names cfg) - (libraries dune.configurator result cpuid)) + (libraries dune-configurator result cpuid)) diff --git a/nocrypto.opam b/nocrypto.opam index bff5b29..e962f17 100644 --- a/nocrypto.opam +++ b/nocrypto.opam @@ -15,6 +15,7 @@ build: [ ["dune" "subst"] {pinned} depends: [ "ocaml" {>= "4.03.0"} "dune" {build & >= "1.7"} + "dune-configurator" {build} "cpuid" {build} "ounit" {with-test} "cstruct" {>="3.0.0"}