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

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

Am i missing something???

Regards,
anish
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)

Reply via email to