ocamlbuild: inconsistent globbing?

ocamlbuild: inconsistent globbing?

[Hugo Ferreira]

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.

Re: [Caml-list] ocamlbuild: inconsistent globbing?

[Hugo Ferreira]

Hi,

Hugo Ferreira wrote:
> 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
>

Someone has just pointed out (thank you) that the
above is wrong. Apologies but that, but it is a typo
on my part.

With the "correct":

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

I still get:

+ /home/hugof/ocaml/godi/bin/ocamlc.opt -g src/ml_cudd.d.cmo -o 
src/ml_cudd.d.byte
Error while linking src/ml_cudd.d.cmo:
The external function `camlidl_cudd_manager_make' is not available
Command exited with code 2.

Sorry about that,
H.F.


> 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.
> 
> 
> _______________________________________________
> Caml-list mailing list. Subscription management:
> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
> Archives: http://caml.inria.fr
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
> 

Re: [Caml-list] ocamlbuild: inconsistent globbing?

[Nicolas Pouillard]

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

Re: [Caml-list] ocamlbuild: inconsistent globbing?

[Hugo Ferreira]

Nicolas Pouillard wrote:
> Excerpts from Hugo Ferreira's message of Fri Nov 14 09:12:44 +0100 2008:
>> Hello,
>...
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}>
> 

Thank you.

H,.F.

> Best regards,
>