On Thu, Dec 13, 2018 at 06:06:28PM +0000, Flykt, Patrik wrote: > On Mon, 2018-12-10 at 23:12 +0530, Himanshu Jha wrote: > > On Mon, Dec 10, 2018 at 04:42:05PM +0100, Oliver Schwahn wrote: > > > > > Do you have any suggestion for a workaround? > > > > > > > > Can you upgrade to 4.06? I also have this problem with 4.05. > > > > > > Thanks for the suggestion. OCaml 4.05 was indeed the problem. I > > > upgraded to 4.07 and that worked fine. > > > I also had the chance to check on configurations with OCaml 4.01.0 > > > and 4.02.3, which also work as expected. > > > > FYI Patrik & Flavio, > > > > You too need to Upgrade and try again. > > > > https://lore.kernel.org/cocci/[email protected]/ > > Debian testing with ocaml from stable, i.e. ocaml 4.02.3-9, stops with: > > OCAMLOPT parsing_c/ast_c.ml > OCAMLOPT parsing_c/includes.ml > File "parsing_c/includes.ml", line 159, characters 9-22: > Error: Unbound module Parmap > make: *** [Makefile:424: parsing_c/includes.cmx] Error 2 > rm parsing_cocci/parser_cocci_menhir.ml.d parsing_cocci/lexer_script.ml > parsing_cocci/lexer_cocci.ml
Timur Tabi had exactly the same error and disabling parmap helped him. But disabling parmap isn't recommmended AFAIK it supports parallelism in coccinelle. https://lore.kernel.org/cocci/CAOZdJXVDqxHBsOKK=+m_oazwo5hc3ur7esgaceg+2h3qwcw...@mail.gmail.com/ In future for any other issues, you can try to search the archives like https://lore.kernel.org/cocci/?q=includes.cmx first and perhaps there maybe someone who hit the same issue as observed above :) > Here Ubuntu OCaml seems to have a difference against Debian. Ocaml > 4.05.0-10+b1 is unfortunately the latest in Debian testing and > unstable. It seems I have to sit and wait until also Debian gets > updated. Debian, heh.. Then probably you would need to wait for more time since TSC decided to raise the min CMake level 3.13 as well ;) Thanks for the effort though Patrik and hopefully updated PPA will soon be available. -- Himanshu Jha Undergraduate Student Department of Electronics & Communication Guru Tegh Bahadur Institute of Technology _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
