I switched my dune project version from (lang dune 1.1)
to (lang dune 2.0)
which produced an error for the handling of alternate dependencies.
I had the foolowing in my dune file which worked with dune 1.1:
(select vpl_domain.ml from
(vpl -> domains/numeric/vpl_domain.ok.ml)
(!vpl -> domains/numeric/vpl_domain.ko.ml))
But produces with dune 2.0 the error
The format for files in this select branch must be
vpl_domain.{name}.ml
I've tried to remove the path before the filename like this:
(select vpl_domain.ml from
(vpl -> vpl_domain.ok.ml)
(!vpl -> vpl_domain.ko.ml)))
which seems to make dune happy about the format but gives the error
No rule found for vpl_domain.ko.ml
Am I doing something wrong, is this a bug of dune or did they voluntarily make breaking changes?
question from:
https://stackoverflow.com/questions/65642525/alternative-dependencies-error-when-switch-from-dune-1-1-to-dune-2-0 与恶龙缠斗过久,自身亦成为恶龙;凝视深渊过久,深渊将回以凝视…