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 -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
