modules_flags for multiple modules #12638
Description
I'm trying the modules_flags for a coq.theory to specify different warning flags for different modules however I'm not able to add more than one module. For example:
(coq.theory
(name test)
(theories Stdlib)
(modules a b)
(modules_flags (a (-w -deprecated-from-Coq)
b (-w -deprecated-since-9.0))))Results in:
File "dune", lines 1-6, characters 0-152:
1 | (coq.theory
2 | (name test)
3 | (theories Stdlib)
4 | (modules a b)
5 | (modules_flags (a (-w -deprecated-from-Coq)
6 | b (-w -deprecated-since-9.0))))
Error: More than one file to compile: ./b and a.v