On Fri, Nov 07, 2003 at 10:00:26PM +0100, Stefano Zacchiroli wrote: > 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.
Well, the change was done back then when this was not yet decided, and i still may create a ocaml-snapshot package that is // installable, so . > 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. I will see what happens about this when i get time to remove bignum, probably next week, but i think it brings more trouble that it is worth, since i will then install in /usr/include/ocaml/3.07/caml, and symlink to both /usr/include/caml and /usr/lib/ocaml/3.07/caml. We need a policy update about this. Is the new XML policy already ok to look into ? BTW, Could you perhaps build a camlimage2 package ? It is currently not possible to have camlimages and lablgtk2 installed at the same time. Friendly, Sven Luther
