On Sun, Jan 30, 2011 at 12:54, Julia Lawall <[email protected]> wrote: > 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. > >> 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). -- J. _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
