> > On Sun, 30 Jan 2011, anish kumar wrote: > >> > >> I am getting the below error when i am trying to install spatch. > >> > [..] > > > > Perhaps there is a version problem? What version of ocaml are you using > > to compile spatch? > > This would be my first guess as well. Ocaml 3.10.2 is pretty old. The file > > /usr/lib/ocaml/3.10.2/sexplib/sexplib.cmi > > seems to be the particular problem here. I would expect Coccinelle to > compile with Ocaml 3.11.2 and probably also with 3.12.0 (The latest). > > Another possibility that may hit you later is that you are missing > some package you need to install on the system first. Usually one with > -dev as a suffix to get the correct include files for compilation. > Personally, I find it unfortunate that these extra things are not > bundled by default - it is not that it is taking up a lot of space > these days. > thanks both Julia and you for providing the right inputs.I will first update the ocaml version and will see if this problem goes off.
> > > > >> With the pre-compiled versions i am getting below error: > >> ./spatch: /lib/tls/i686/cmov/libc.so.6: version `GLIBC_2.11' not found > (required by ./spatch) > >> > >> I can see libc.so.6 is already present in my library.Below is the > > output to locate lib.so.6 on my system. > >> > >> coccinelle-0.2.5-rc3$ locate libc.so.6 > >> /lib/libc.so.6 > >> /lib/tls/i686/cmov/libc.so.6 > > > > Do you know what is the /lib/tls thing? It looks like it is finding the > > wrong library. I only have /lib/libc.so.6. > > /lib/tls is/was the place where the threaded (reentrant) versions of > the libc was placed. The right one to link with depends on the C-parts > and if they use threads or not. > > Another option is to try Nicolas Palix' > https://launchpad.net/~npalix/+archive/coccinelle Ubuntu PPA. There > seem to be one for Jaunty (9.04). > > if the updation of ocaml doesn't work i will check this as well.Thanks for the speedy response. > -- > J. >
_______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
