Re: pgocaml package seems OK.

[Stéphane Glondu <steph@glondu.net>]

Guillaume Yziquel a écrit :
>> I would say it depends on how it is used, and its size. This is a
>> debugging tool, isn't it? So it could be put in the -dev package. Is it
>> 100 times bigger that the library itself? Then, maybe it is worth
>> putting it in a separate binary package... I would probably put it in
>> -dev first, and wait for someone to give a good reason to put it apart.
> 
> OK. I'll keep it in the same package for now. But in which folder should
> I install it? /usr/bin?

If it is very specific (which seems to be the case), you can install it
in `ocamlfind query pgocaml`, so that it is accessible with "ocamlfind
pgocaml/pgocaml_prof".

-- 
Stéphane