On Thu, Nov 06, 2003 at 01:05:27AM +0100, Sylvain LE GALL wrote: > I was just recompiling some of my libs, when i have seen that > camlidlruntime.h is now standing in /usr/include/ocaml/3.07/camlidl. > > I think it is the right place, however, caml install his header in > /usr/lib/ocaml... I realized only not the exact nature of this bug, sorry. Ocaml install in /usr/lib/ocaml and has a link /usr/include/caml -> /usr/lib/ocaml. camlidl installs in /usr/include/ocaml/3.07/caml/ but there's no link pointing at it. The result is that there's not /usr/include/caml/camlidlruntime.h at all! This is definitely BAD, because #include "caml/camlidlruntime.h" wont work. It is definitely supposed to work! The reason, Sven, is that you moved ocaml headers to /usr/lib/... and I hadn't noticed it ... What about the solution. Uhm ... I actually think that is an ocaml bug to have headers installed there. They should be installed in /usr/include/caml without any link. That simlink moreover is useless, since we decided not to support more that one ocaml version at a time. There is no need to have simlink, headers can be directly installed in /usr/include/caml. Both ocaml headers and camlidl headers. I think you, Sven, can add a symlink from /usr/lib/ocaml/3.07/caml/ to /usr/include/caml if you think someone is looking for headers there, but definitely not the other way round. Sorry again for my overlooking the bug. Cheers. -- ^Stefano Zacchiroli -- Master in Computer Science @ Uni. Bologna, Italy$ ^zack@{cs.unibo.it,debian.org,bononia.it} -- http://www.bononia.it/zack$ ^Frequentando il mio maestro mi ero reso conto [.] che la logica poteva$ ^servire a molto a condizione di entrarci dentro e poi di uscirne -Adso$
Attachment:
signature.asc
Description: Digital signature