On Sun, 30 Jan 2011, anish kumar wrote: > Hello, > > I am getting the below error when i am trying to install spatch. > > make[3]: Entering directory `/home/anish/Desktop/coccinelle-0.2.5-rc3/commons' > ocamlc.opt -I ocamlextra -I ocollection -I /usr/lib/ocaml/3.10.2/sexplib -I > ../ocamltarzan/lib-sexp -I ../../ocamltarzan/lib-sexp -c sexp_common.ml > File "sexp_common.ml", line 1, characters 0-1: > Error: /usr/lib/ocaml/3.10.2/sexplib/sexplib.cmi > is not a compiled interface > make[3]: *** [sexp_common.cmo] Error 2
Perhaps there is a version problem? What version of ocaml are you using to compile spatch? > 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. julia _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
