diff --git a/bopkit.opam b/bopkit.opam index d4f06bc..53917c9 100644 --- a/bopkit.opam +++ b/bopkit.opam @@ -21,6 +21,7 @@ depends: [ "cmdliner" {>= "1.3.0"} "comments-parser" {>= "0.2.2"} "core" {>= "v0.17" & < "v0.18"} + "core_kernel" {>= "v0.17" & < "v0.18"} "core_unix" {>= "v0.17" & < "v0.18"} "dune-site" {>= "3.16"} "fpath" {>= "0.7.3"} diff --git a/dune-project b/dune-project index 0bbda6c..ba0c917 100644 --- a/dune-project +++ b/dune-project @@ -61,6 +61,10 @@ (and (>= v0.17) (< v0.18))) + (core_kernel + (and + (>= v0.17) + (< v0.18))) (core_unix (and (>= v0.17)