On Tue, Oct 13, 2015 at 11:18:12PM +0200, Julia Lawall wrote:
> On Tue, 13 Oct 2015, Luis R. Rodriguez wrote:
>
> > On Tue, Oct 13, 2015 at 10:58:27PM +0200, Julia Lawall wrote:
> > > I doubt it will help much, but you can get rid of the need to link with
> > > menhirLib by removing the option --table in parsing_cocci/Makefile. You
> > > will end up with a .ml file of over 100 000 lines, which may cause other
> > > problems for the ocaml compiler.
> >
> > OK so with:
> >
> > diff --git a/parsing_cocci/Makefile b/parsing_cocci/Makefile
> > index eeb249780ffd..190c0273923b 100644
> > --- a/parsing_cocci/Makefile
> > +++ b/parsing_cocci/Makefile
> > @@ -93,7 +93,7 @@ $(LEXER_SOURCES:.mll=.ml) : $(LEXER_SOURCES)
> > $(OCAMLLEX) $(LEXER_SOURCES)
> >
> > $(PARSER_SOURCES:.mly=.ml) $(PARSER_SOURCES:.mly=.mli) : $(PARSER_SOURCES)
> > - $(MENHIR) --ocamlc "${OCAMLC}" --ocamldep "${OCAMLDEP}" --table
> > --base parser_cocci_menhir $(PARSER_SOURCES)
> > + $(MENHIR) --ocamlc "${OCAMLC}" --ocamldep "${OCAMLDEP}" --base
> > parser_cocci_menhir $(PARSER_SOURCES)
> >
> > $(CLI_LEXER_SOURCES:.mll=.ml): $(CLI_LEXER_SOURCES)
> > $(OCAMLLEX) $(CLI_LEXER_SOURCES)
> >
> >
> > Note to readers: menhir is not required for github source compilation,
> > at the time of writing its required only for internal source builds
> > (as code gets prep'd for release on to github, so if you are debuggin
> > builds don't try iunstalling menhir
> >
> > Without menhir:
> >
> > /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I
> > ../globals -I /usr/lib64/ocaml/menhirLib -c function_prototypes.ml
> > skipped building semantic_cocci.cmo in optimizing mode: semantic_cocci.cmx
> > will be built instead.
> > skipped building flag_parsing_cocci.cmo in optimizing mode:
> > flag_parsing_cocci.cmx will be built instead.
> > skipped building parse_aux.cmo in optimizing mode: parse_aux.cmx will be
> > built instead.
> > /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I
> > ../globals -I /usr/lib64/ocaml/menhirLib -c parser_cocci_menhir.mli
> > /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I
> > ../globals -I /usr/lib64/ocaml/menhirLib -c parser_cocci_menhir.ml
> > File "parser_cocci_menhir.ml", line 1:
> > Error: The files /usr/lib64/ocaml/obj.cmi
> > and /usr/lib64/ocaml/menhirLib/menhirLib.cmi
> > make inconsistent assumptions over interface Obj
> > Makefile:90: recipe for target 'parser_cocci_menhir.cmx' failed
> >
> >
> > With menhir:
> >
> >
> > /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I
> > ../globals -I /usr/lib64/ocaml/menhirLib -I /usr/lib64/ocaml/menhirLib -a
> > -o cocci_parser.cmxa menhirLib.cmx flag_parsing_cocci.cmx type_cocci.cmx
> > ast_cocci.cmx ast0_cocci.cmx pretty_print_cocci.cmx unparse_ast0.cmx
> > visitor_ast0_types.cmx visitor_ast.cmx visitor_ast0.cmx compute_lines.cmx
> > comm_assoc.cmx iso_pattern.cmx iso_compile.cmx single_statement.cmx
> > simple_assignments.cmx get_metas.cmx ast0toast.cmx check_meta.cmx
> > top_level.cmx type_infer.cmx test_exps.cmx unitary_ast0.cmx arity.cmx
> > index.cmx context_neg.cmx adjust_pragmas.cmx insert_plus.cmx
> > function_prototypes.cmx unify_ast.cmx semantic_cocci.cmx data.cmx
> > free_vars.cmx safe_for_multi_decls.cmx parse_printf.cmx parse_aux.cmx
> > disjdistr.cmx lexer_cocci.cmx parser_cocci_menhir.cmx lexer_cli.cmx
> > lexer_script.cmx cocci_grep.cmx dpll.cmx get_constants2.cmx id_utils.cmx
> > git_grep.cmx adjacency.cmx commas_on_lists.cmx parse_cocci.cmx
> > command_line.cmx
> > File "_none_", line 1:
> > Error: Files flag_parsing_cocci.cmx and menhirLib.cmx
> > make inconsistent assumptions over interface CamlinternalFormatBasics
> > Makefile:68: recipe for target 'cocci_parser.cmxa' failed
>
> OK, so it looks like the problem is just postponed. If you feel
> adventurous, just remove all references to menhirLib in the Coccinelle
> makefiles. It should not be needed.
Not sure if I've done it right but:
http://drvbp1.linux-foundation.org/~mcgrof/coccinelle/hacks/remove-menhir.patch
Then I ./autogen
and
./configure --enable-release
This ends with:
make[6]: Leaving directory
'/sda3/home/mcgrof/devel/coccinelle/bundles/parmap/parmap-1.0-rc5-patched'
mv parmap-1.0-rc5-patched/_build/* .
make[5]: Leaving directory '/sda3/home/mcgrof/devel/coccinelle/bundles/parmap'
make[4]: Leaving directory '/sda3/home/mcgrof/devel/coccinelle'
make[4]: Entering directory '/sda3/home/mcgrof/devel/coccinelle'
make[5]: Entering directory '/sda3/home/mcgrof/devel/coccinelle/commons'
make[6]: Entering directory '/sda3/home/mcgrof/devel/coccinelle/commons'
/usr/bin/ocamlopt.opt -unsafe -I ocamlextra -I ocollection -c commands.ml
/usr/bin/ocamlopt.opt -unsafe -I ocamlextra -I ocollection -c common.ml
/usr/bin/ocamlopt.opt -unsafe -I ocamlextra -I ocollection -c interfaces.ml
/usr/bin/ocamlopt.opt -unsafe -I ocamlextra -I ocollection -c objet.ml
/usr/bin/ocamlopt.opt -unsafe -I ocamlextra -I ocollection -c ocollection.ml
/usr/bin/ocamlopt.opt -unsafe -I ocamlextra -I ocollection -c seti.ml
skipped building seti.cmo in optimizing mode: seti.cmx will be built instead.
skipped building ocamlextra/setPt.cmo in optimizing mode: ocamlextra/setPt.cmx
will be built instead.
/usr/bin/ocamlc.opt -unsafe -I ocamlextra -I ocollection -c oset.mli
/usr/bin/ocamlopt.opt -unsafe -I ocamlextra -I ocollection -c oset.ml
/usr/bin/ocamlopt.opt -unsafe -I ocamlextra -I ocollection -c oassoc.ml
/usr/bin/ocamlopt.opt -unsafe -I ocamlextra -I ocollection -c osequence.ml
/usr/bin/ocamlc.opt -unsafe -I ocamlextra -I ocollection -c ograph.mli
/usr/bin/ocamlopt.opt -unsafe -I ocamlextra -I ocollection -c ograph.ml
/usr/bin/ocamlopt.opt -unsafe -I ocamlextra -I ocollection -c
ocollection/osetb.ml
/usr/bin/ocamlopt.opt -unsafe -I ocamlextra -I ocollection -c
ocollection/oassocb.ml
/usr/bin/ocamlopt.opt -unsafe -I ocamlextra -I ocollection -c
ocollection/oassoch.ml
/usr/bin/ocamlopt.opt -unsafe -I ocamlextra -I ocollection -c
ocollection/oassoc_buffer.ml
/usr/bin/ocamlopt.opt -unsafe -I ocamlextra -I ocollection -c
ocollection/oassoc_cache.ml
/usr/bin/ocamlopt.opt -unsafe -I ocamlextra -I ocollection -c
ocollection/oassocid.ml
/usr/bin/ocamlopt.opt -unsafe -I ocamlextra -I ocollection -c oarray.ml
/usr/bin/ocamlc.opt -unsafe -I ocamlextra -I ocollection -c ograph_simple.mli
/usr/bin/ocamlopt.opt -unsafe -I ocamlextra -I ocollection -c ograph_simple.ml
/usr/bin/ocamlc.opt -unsafe -I ocamlextra -I ocollection -c
ograph_extended.mli
/usr/bin/ocamlopt.opt -unsafe -I ocamlextra -I ocollection -c
ograph_extended.ml
/usr/bin/ocamlopt.opt -unsafe -I ocamlextra -I ocollection -c glimpse.ml
/usr/bin/ocamlopt.opt -unsafe -I ocamlextra -I ocollection -c
parser_combinators.ml
/usr/bin/ocamlopt.opt -unsafe -I ocamlextra -I ocollection -a -o commons.cmxa
ocamlextra/dumper.cmx ocamlextra/setb.cmx ocamlextra/mapb.cmx
ocamlextra/setPt.cmx commands.cmx common.cmx interfaces.cmx objet.cmx
ocollection.cmx seti.cmx oset.cmx oassoc.cmx osequence.cmx ograph.cmx
ocollection/osetb.cmx ocollection/oassocb.cmx ocollection/oassoch.cmx
ocollection/oassoc_buffer.cmx ocollection/oassoc_cache.cmx
ocollection/oassocid.cmx oarray.cmx ograph_simple.cmx ograph_extended.cmx
glimpse.cmx parser_combinators.cmx ocamlextra/enum.cmx ocamlextra/dynArray.cmx
ocamlextra/suffix_tree.cmx ocamlextra/suffix_tree_ext.cmx
make[6]: Leaving directory '/sda3/home/mcgrof/devel/coccinelle/commons'
make[5]: Leaving directory '/sda3/home/mcgrof/devel/coccinelle/commons'
make[4]: Leaving directory '/sda3/home/mcgrof/devel/coccinelle'
make[4]: Entering directory '/sda3/home/mcgrof/devel/coccinelle'
make[5]: Entering directory '/sda3/home/mcgrof/devel/coccinelle/globals'
make[6]: Entering directory '/sda3/home/mcgrof/devel/coccinelle/globals'
/usr/bin/ocamlopt.opt -unsafe -I ../commons -I
/home/mcgrof/devel/coccinelle/bundles/pcre/ -c config.ml
/usr/bin/ocamlopt.opt -unsafe -I ../commons -I
/home/mcgrof/devel/coccinelle/bundles/pcre/ -c flag.ml
/usr/bin/ocamlopt.opt -unsafe -I ../commons -I
/home/mcgrof/devel/coccinelle/bundles/pcre/ -c iteration.ml
/usr/bin/ocamlopt.opt -unsafe -I ../commons -I
/home/mcgrof/devel/coccinelle/bundles/pcre/ -c regexp.ml
/usr/bin/ocamlopt.opt -unsafe -I ../commons -I
/home/mcgrof/devel/coccinelle/bundles/pcre/ -a -o globals.cmxa config.cmx
flag.cmx iteration.cmx regexp_pcre.cmx regexp.cmx
make[6]: Leaving directory '/sda3/home/mcgrof/devel/coccinelle/globals'
make[5]: Leaving directory '/sda3/home/mcgrof/devel/coccinelle/globals'
make[4]: Leaving directory '/sda3/home/mcgrof/devel/coccinelle'
make[4]: Entering directory '/sda3/home/mcgrof/devel/coccinelle'
make[5]: Entering directory '/sda3/home/mcgrof/devel/coccinelle/ctl'
make[6]: Entering directory '/sda3/home/mcgrof/devel/coccinelle/ctl'
skipped building ast_ctl.cmo in optimizing mode: ast_ctl.cmx will be built
instead.
/usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I
../globals -c pretty_print_ctl.mli
/usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I
../globals -c pretty_print_ctl.ml
/usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I
../globals -c ctl_engine.mli
/usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I
../globals -c ctl_engine.ml
/usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I
../globals -c wrapper_ctl.mli
/usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I
../globals -c wrapper_ctl.ml
/usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I
../globals -a -o ctl.cmxa flag_ctl.cmx ast_ctl.cmx pretty_print_ctl.cmx
ctl_engine.cmx wrapper_ctl.cmx
make[6]: Leaving directory '/sda3/home/mcgrof/devel/coccinelle/ctl'
make[5]: Leaving directory '/sda3/home/mcgrof/devel/coccinelle/ctl'
make[4]: Leaving directory '/sda3/home/mcgrof/devel/coccinelle'
make[4]: Entering directory '/sda3/home/mcgrof/devel/coccinelle'
make[5]: Entering directory '/sda3/home/mcgrof/devel/coccinelle/parsing_cocci'
make[6]: Entering directory '/sda3/home/mcgrof/devel/coccinelle/parsing_cocci'
skipped building visitor_ast0_types.cmo in optimizing mode:
visitor_ast0_types.cmx will be built instead.
/usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I
../globals -c visitor_ast0.mli
/usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I
../globals -c visitor_ast0.ml
/usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I
../globals -c comm_assoc.ml
/usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I
../globals -c iso_pattern.mli
/usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I
../globals -c iso_pattern.ml
/usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I
../globals -c iso_compile.mli
/usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I
../globals -c iso_compile.ml
/usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I
../globals -c single_statement.ml
/usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I
../globals -c simple_assignments.ml
/usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I
../globals -c get_metas.ml
/usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I
../globals -c ast0toast.ml
/usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I
../globals -c check_meta.ml
/usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I
../globals -c type_infer.ml
/usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I
../globals -c test_exps.ml
/usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I
../globals -c unitary_ast0.ml
/usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I
../globals -c context_neg.ml
/usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I
../globals -c adjust_pragmas.ml
/usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I
../globals -c insert_plus.ml
/usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I
../globals -c function_prototypes.ml
/usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I
../globals -c parse_aux.ml
/usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I
../globals -c lexer_cocci.ml
File "lexer_cocci.mll", line 152, characters 61-66:
Error: Unbound type constructor token
Makefile:85: recipe for target 'lexer_cocci.cmx' failed
make[6]: *** [lexer_cocci.cmx] Error 2
make[6]: Leaving directory '/sda3/home/mcgrof/devel/coccinelle/parsing_cocci'
Makefile:56: recipe for target 'all.opt' failed
make[5]: *** [all.opt] Error 2
make[5]: Leaving directory '/sda3/home/mcgrof/devel/coccinelle/parsing_cocci'
Makefile:202: recipe for target 'parsing_cocci.opt' failed
make[4]: *** [parsing_cocci.opt] Error 2
make[4]: Leaving directory '/sda3/home/mcgrof/devel/coccinelle'
Makefile:196: recipe for target 'subdirs.opt' failed
make[3]: *** [subdirs.opt] Error 1
make[3]: Leaving directory '/sda3/home/mcgrof/devel/coccinelle'
Makefile:167: recipe for target 'opt-compil' failed
make[2]: *** [opt-compil] Error 2
make[2]: Leaving directory '/sda3/home/mcgrof/devel/coccinelle'
Makefile:147: recipe for target 'all-release' failed
make[1]: *** [all-release] Error 2
make[1]: Leaving directory '/sda3/home/mcgrof/devel/coccinelle'
Makefile:125: recipe for target 'all' failed
make: *** [all] Error 2
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
