Hello,

I recently altered my project's _tag file
to include the compilation of a native version
of an application so:

true: use_menhir, debug, profile
<cudd/**>: not_hygienic
<gmp/**>: not_hygienic
"src/ml_cudd.{d.byte,d.native}": use_cudd, use_gmp, use_bigarray

However this did not work. I had to change this to:

true: use_menhir, debug, profile
<cudd/**>: not_hygienic
<gmp/**>: not_hygienic
"src/ml_cudd.d.byte": use_cudd, use_gmp, use_bigarray
"src/ml_cudd.p.native": use_cudd, use_gmp, use_bigarray

Isn't

"src/ml_cudd.{d.byte,d.native}"

equivalent to:

"src/ml_cudd.d.byte": use_cudd, use_gmp, use_bigarray
"src/ml_cudd.p.native": use_cudd, use_gmp, use_bigarray

If not, why?

TIA,
Hugo F.