Excerpts from Hugo Ferreira's message of Fri Nov 14 09:12:44 +0100 2008:
> 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?

"..." are for constants and <...> are for globbings.

So "src/ml_cudd.{d.byte,p.native}" should be written
<src/ml_cudd.{d.byte,p.native}>

Best regards,

-- 
Nicolas Pouillard aka Ertai