coccinelle 1.1.1 build failure against ocaml 5.0.0

[chenrui333]

while trying to ocaml to 5.0.0, found an issue while regression build coccinelle 1.1.1

ocamlfind ocamlopt -c  -bin-annot -no-alias-deps -I . -alert -deprecated stdcompat__native.mli -o stdcompat__native.cmi
ocamlfind ocamlopt -c  -bin-annot -no-alias-deps -I . -alert -deprecated stdcompat__init.mli -o stdcompat__init.cmi
File "stdcompat__init.mli", line 45, characters 9-26:
45 | ('a, 'b) Pervasives.result =
              ^^^^^^^^^^^^^^^^^
Error: Unbound module Pervasives

[JuliaLawall]

On Sun, 19 Feb 2023, Rui Chen wrote: while trying to ocaml to 5.0.0, found an issue while regression build coccinelle 1.1.1 ocamlfind ocamlopt -c -bin-annot -no-alias-deps -I . -alert -deprecated std compat__native.mli -o stdcompat__native.cmi ocamlfind ocamlopt -c -bin-annot -no-alias-deps -I . -alert -deprecated std compat__init.mli -o stdcompat__init.cmi File "stdcompat__init.mli", line 45, characters 9-26: 45 | ('a, 'b) Pervasives.result = ^^^^^^^^^^^^^^^^^ Error: Unbound module Pervasives

Thanks for the report. I just pushed some changes to github that includes a change related to OCaml 5.0. However, I'm not sure that the issue is the same as the one that you have reported. julia

…

— Reply to this email directly, view it on GitHub, or unsubscribe. You are receiving this because you are subscribed to thisthread.[AAD2ZGSCXTLGCT7SBSK5ME3WYJRVHA5CNFSM6AAAAAAVBDL4YSWGG33NNVSW45C7OR4 XAZNFJFZXG5LFVJRW63LNMVXHIX3JMTHF5UN5UA.gif] Message ID: ***@***.***>

[chenrui333]

happy to try out the changes.

[chenrui333]

Any build patches for me to try?

[JuliaLawall]

On Thu, 23 Feb 2023, Rui Chen wrote: Any build patches for me to try?

To my recollection, you made the report, and then I said that I had pushed new changes that should help with OCaml 5.0. I just checked on github, and the changes are there: https://github.com/coccinelle/coccinelle/commits?author=thierry-martinez Did you try that version already? thanks, julia

[vgambier]

I am marking this issue as closed as it's been over a year since it's been inactive, and OCaml 5.0.0 should work fine with Coccinelle now. If you are still having issues, feel free to comment and I will re-open the issue. Thank you!