chore: require dune configurator

This commit is contained in:
Simon Cruanes 2019-12-03 08:24:49 -06:00
parent 936d5912e6
commit 8ddc3de490

View file

@ -10,7 +10,8 @@ build: [
["dune" "runtest" "-p" name "-j" jobs] {with-test} ["dune" "runtest" "-p" name "-j" jobs] {with-test}
] ]
depends: [ depends: [
"dune" "dune" { >= "1.1" }
"dune-configurator"
"result" "result"
"uchar" "uchar"
"seq" "seq"