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

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Nicolas Pouillard <nicolas.pouillard@g...>
Subject: Re: [Caml-list] ocamlbuild and packs
Excerpts from Romain Bardou's message of Thu Jan 31 14:42:30 +0100 2008:
> Thanks for your help!
> 
> Now it still doesn't compile, but the error is different and shows that 
> I'm getting closer.
> 
> What I didn't tell you is that I actually have several directories 
> "bla", so it is more like this:
> 
>     module A
>     module C
>     module bla/A
>     module bla/B
>     module bli/C
>     module Main
> 
> You can view the "bla" and "bli" directories as the "parsing" and 
> "utils" directories of the OCaml source.
> 
> The module bla/A depends on the module bli/C. There is no clash between 
> names in the directories bla and bli, and I want to pack bla and bli 
> together in a big module Blabli so Main can access Blabli.A, Blabli.B 
> and Blabli.C. So I have a file blabli.mlpack:
> 
>     bla/A
>     bla/B
>     bli/C

If there is no name clash due to bli/ you can expose it (-I bli).
If not, your last option is fine-grained directory scoping using a plugin.

[...]

> However, the following command doesn't work:
> 
>     ocamlbuild bla.cmx
> 
> Because the files aren't compiled with the -for-pack option. I have to 
> add "-cflags -for-pack,Bla". I guess it shouldn't be hard to use the 
> _tags file to make it use the flag only on the files of bla, so I'll try 
> and investigate that (couldn't it be automatic though?).

Using  -for-pack  is  a pain. If your project is not too complex, I can advise
to use your _tags that way:

$ cat _tags
<bl{a,i}/**/*.ml>: for-pack(Blabli)
# This is to avoid -I bli
"bli": include

If you need more precise scoping, plugin is your last option.

> Nicolas Pouillard a écrit :
> > Excerpts from Romain Bardou's message of Thu Jan 31 12:55:20 +0100 2008:
> >> Hello,
> > Hello,
> > 
> >> I have this big project I work on, which could be summarized like this:
> >>
> >>     module A
> >>     module bla/A
> >>     module bla/B
> >>     module Main
> >>
> >> The module B in the bla directory depends on the module A of the bla 
> >> directory. The module Main depends on both modules A and on module B. 
> >> For some reasons I cannot rename either of the modules.
> >>
> >> So what I do is pack A and B in a Bla module, so I can write Bla.A and 
> >> Bla.B, using the -pack command line option. It works with my Makefile.
> >>
> >> Now I try to use ocamlbuild, because I really like its approach (I come 
> >> from the Pascal world where no makefile is needed). So I made this file 
> >> bla.mlpack containing the lines:
> >>
> >>     A
> >>     B
> > 
> > bla.mlpack should not be in the bla/ directory, and should contain:
> > 
> > bla/A
> > bla/B
> > 
> > Because you don't want to expose bla to all your modules since you have a name clash.
> > 
> >> Now if I compile using:
> >>
> >>     ocamlbuild Main.byte
> > 
> > Does it works now?
> > 
> > [...]
> > 
> >> I can't compile using:
> >>
> >>     ocamlbuild -I bla Main.byte
> >>
> >> Because now the module A is defined twice.
> > 
> > Yes
> > 
> >> So I tried to compile using two steps: first, compile bla.cmo, and then, 
> >> compile Main.byte, but ocamlbuild doesn't seem to be good at that (and 
> >> actually that's not a bad thing imo). Indeed, if I do:
> >>
> >>     ocamlbuild bla.cmo
> > 
> > You  won't  trick  ocamlbuild  with  this  technique,  but  it's a good way to
> > specifically found what's should be buildable and is not.
> > 
> > [...]
> > 
> >> Now for the questions:
> >> 1) What is the best way to compile my project? By "best" I mean: with no 
> >> plugin if possible, with a small _tags file, and as few command line 
> >> options as possible, while still keeping the spirit of ocamlbuild (for 
> >> instance, compiling everything in one single call to ocamlbuild if 
> >> possible).
> > 
> > In  most of cases it will works. However precise directory scopes and packages
> > contents and scope can be done in a plugin.
> > 
> >> 2) Why doesn't ocamlbuild compile my file bla.mlpack into bla.cmo? In 
> >> the manual I can read that "%.mlpack" has target "%.cmo".
> > 
> > Yes there is such a rule.
> > 
> >> 3) If ocamlbuild actually did compile bla.cmo, could it use it to 
> >> compile main.byte or must I build a library bla.cma first?
> > 
> > Yes it will use it.
> > 
> >> Thanks. I would be glad to contribute to the wiki, but I have to 
> >> understand ocamlbuild first ;)
> > 
> > I would be thankful.
> > 
> > 
> > 
> > ------------------------------------------------------------------------
> > 
> > _______________________________________________
> > 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

-- 
Nicolas Pouillard aka Ertai