Hi,
I am trying to build Coccinelle from the latest Github version (commit
163d2058). My OCaml version is 4.05.0 on an Ubuntu 18.10.
I do the following from a clean repo checkout:
./autogen
./configure
make
and get the error:
ocamlfind ocamlc -c -no-alias-deps -I . stdcompat__pervasives.ml -o
stdcompat__pervasives.cmo
File "stdcompat__pervasives.ml", line 1:
Error: The implementation stdcompat__pervasives.ml
does not match the interface stdcompat__pervasives.cmi:
Type declarations do not match:
type ('a, 'b) result = ('a, 'b) result = Ok of 'a | Error of 'b
is not included in
type ('a, 'b) result =
('a, 'b) Stdcompat__init.result =
Ok of 'a
| Error of 'b
make[2]: *** [Makefile:1370: stdcompat__pervasives.cmo] Error 2
make[2]: Leaving directory '/v/coccinelle/bundles/stdcompat/stdcompat-7'
make[1]: *** [Makefile:3: all] Error 2
make[1]: Leaving directory '/v/coccinelle/bundles/stdcompat'
Apparently this issues appeared after the upgrade of stdcompat to
version 7. The last commit that builds on my system is 890e385a, being
the last commit before the update.
Do you have any suggestion for a workaround?
Cheers,
Oliver
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
