Re: xstr e netclient deb packages
On Thu, Feb 15, 2001 at 17:04:16 +0100, Sven LUTHER wrote:
> sorry, i don't think that you cannot write easy makefiles without findlib.
????
As an example, without findlib you have to put something like that in
the makefile:
PXPLIBS = netstring.cma netmappings_iso.cmo netmappings_other.cmo \
pxp_types.cma \
pxp_lex_iso88591.cma pxp_lex_utf8.cma pxp_engine.cma \
pxp_utf8.cmo
Note that the order is not casual at all: the previous objects could
not be permutated in any way due to OCaml rules. How can I find out
the exact order? Well, either reading the README or trying the permutations
until I succeds.
With ocamlfind you simply say something as "use package PXP" (I don't
rember the actual syntax now) and it expands it to the above list
using the information in it's small database.
So I _believe_ that it allows to write Makefiles in an easier way.
> As i see it, the findlib stuff is just something to make the useage of
> non-integrated ocaml packages easier. In debian it should not be needed and
> even maybe a problem, unless it is debian-aware, which i think it is not, but
> then i didn't check.
I think you are missing the point. findlib is not useful to install
and uninstall packages, but to use them simplifing Makefiles.
> > 1) it gives back informations on packages installed using findlib
> ok, well, i can understand that this is a nice thing to have.
>
> But then, for debian packages, we have dependencies and build dependencies to
> handle exactly that.
No, debian dependencies are dependencies between packages and not
dependencies between .cmo/.cma inside packages.
> > 2) it allows to install packages
> nothing new there ...
I agree. This is the uninteresting functionality of findlib.
But if you don't pass informations to findlib, it won't be
able to create its database.
> Anyway, who are the authors of findlib, and how 'official' is the structure it
> uses to install packages ?
I spoke many times with Gerd Stolpmann, the author of findlib and he
seems very friendly ;-) What do you mean by official, anyway?
The Coq team is not willing to consider Gerd tools at all ;-(
[I have spent my last two monthes at INRIA Rocquencourt, so I
have some precise ideas]
> A better way for it, would be to simply use the standard install tools to
> install debian packages.
>
> And then we would make a debian package of findlib, with an additional tool
> that will just register installed packages with findlib, like it is done for
> info files and the menu packages.
I agree
>
> i don't think this would be a difficult thing to do, but we may need to see if
> findlib (whatever it is) can accept a -register or somethig option, or if we
> can isolate the registering code and write our own tool for it.
We can ask Gerd for this.
> This is more in concordance of the debian way of doing things, and could even
> go into policy later on.
OK
> Someone who as time to look into it please volunteer and contact the upstream
> authors about it, ccing this mailing list ?
Zack?
Cheers,
C.S.C.
--
----------------------------------------------------------------
Real name: Claudio Sacerdoti Coen
Graduate Computer Science Student at University of Bologna
Now at INRIA (Sophia-Antipolis, France)
E-mail: sacerdot@cs.unibo.it
http://caristudenti.cs.unibo.it/~sacerdot
----------------------------------------------------------------
Reply to: