On Fri, 24 May 2019, Markus Elfring wrote:
> > You can do whatever you want in the ocaml code.
>
> How will the following software situation be resolved?
make distclean
./autogen
./configure
make
>
> 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?
There is no dependency on any particular system compiler version. You
just seem to have compiled some of your code, then upgraded your ocaml,
then tried to compile the rest.
julia
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
