Dear Luis, Great you could finally compile coccinelle. And many thanks for having explained all the procedure to get docker working, it's really great and will be very helpful.
I won't be able to look into the two problems (menhir and Common.Union_set) before next week but will do it as soonas possible. Regarding your suggestion to distribute the files generated by Menhir: I don't think this will solve the problem; Indeed, the problem does not occur when generating these files but when compiling them. Actually, there are two things that are used from Menhir. First, Menhir is used as a commandline tool. It takes a .mly file as inputandproduces corresponding .ml and .mli files. Thisis roughtly speaking equivalentto what yacc or bison do: taking a .y file as input and producing a .c as output. Second, the .ml file that has been generated by Menhir uses a library whichis called MenhirLib and to which the .cmo or .cmx files obtained by compilin the .ml file will have to be linked. That is where the problem you described appears andthat's why I don't think including the generated .ml files woudlhelpin any way. I hope I managed to be clear. :) Sébastien. _______________________________________________ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci
