Version française
Home     About     Download     Resources     Contact us    
Browse thread
ocamlbuild: inconsistent globbing?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Hugo Ferreira <hmf@i...>
Subject: Re: [Caml-list] ocamlbuild: inconsistent globbing?
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
>