> You can do whatever you want in the ocaml code.
How will the following software situation be resolved?
elfring@Sonne:~/Projekte/Coccinelle/20160205> COCCINELLE_HOME=$(pwd)
/usr/local/bin/opam config exec --switch 4.07.1 ./spatch demos/comments.cocci
demos/comments.c
init_defs_builtins: /home/elfring/Projekte/Coccinelle/20160205/standard.h
Using native version of ocamlc/ocamlopt/ocamldep
ocamlc.opt -c /tmp/ocaml_cocci_bbc38d.cmo -g -I
/home/elfring/Projekte/Coccinelle/20160205/ocaml -I /usr/lib64/ocaml
/tmp/ocaml_cocci_bbc38d.ml
File "/tmp/ocaml_cocci_bbc38d.ml", line 1:
Error: /usr/lib64/ocaml/list.cmi
is not a compiled interface for this version of OCaml.
It seems to be for an older version of OCaml.
Fatal error: exception
Coccinelle_modules.Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_bbc38d.ml")
Can the dependency on the system compiler version be avoided here?
Regards,
Markus
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
