Hello, I'm trying to compile the latest coccinelle with OpenSUSE and
it fails as follows. I tired both the github tree and also gforge
tree, without menhir and then with menhir.
To be sure I clean my trees from previous things -- I typically do:
'git clean -f -x -d' prior to a new build, this wipes all files that
are not checked in to git (careful: this may delete temporary patches,
etc locally, its as if I git clone fresh from a repo), but just to be
sure I also ran 'make distclean' as well). I've tried building on
github and gforge without menhir and then with menhir installed and it
still fails on both.
$ rpm -qa | grep ocaml
ocaml-findlib-1.5.5-1.7.x86_64
ocaml-runtime-4.02.3-2.2.x86_64
ocaml-camlp4-devel-4.02.1-2.1.x86_64
ocaml-facile-1.1-193.6.x86_64
ocaml-4.02.3-2.2.x86_64
ocaml-compiler-libs-4.02.3-2.2.x86_64
ocaml-camlp4-4.02.1-2.1.x86_64
ocaml-ocamldoc-4.02.3-2.2.x86_64
To remove menhir I do:
sudo rm -rf /usr/local/share/menhir
sudo rm -rf /usr/local/bin/menhir
sudo rm -rf /usr/local/share/doc/menhir
sudo rm -rf /usr/local/share/man/man1/menhi*
sudo rm -rf /usr/lib64/ocaml/menhirLib
sudo ldconfig
For github without menhir I do:
./autogen
./configure
make
...
make[3]: Entering directory '/sda3/home/mcgrof/devel/coccinelle/parsing_cocci'
/home/mcgrof/devel/coccinelle/setup/fake-menhir.sh menhir --ocamlc
"/usr/bin/ocamlc.opt" --ocamldep "/usr/bin/ocamldep" --table --base
parser_cocci_menhir parser_cocci_menhir.mly
error: the file parser_cocci_menhir.ml is needed, which requires
preprocessing by menhir to obtain it from parser_cocci_menhir.mly.
However, menhir is not enabled.
Its my understanding that if I don't have parser_cocci_menhir.ml then
I need menhir -- but I also was under the impression that menhir would
not be required for github users? Can someone confirm?
With gforge without menhir (same error):
make[3]: Entering directory '/sda3/home/mcgrof/devel/coccinelle/parsing_cocci'
/home/mcgrof/devel/coccinelle/setup/fake-menhir.sh menhir --ocamlc
"/usr/bin/ocamlc.opt" --ocamldep "/usr/bin/ocamldep" --table --base
parser_cocci_menhir parser_cocci_menhir.mly
error: the file parser_cocci_menhir.ml is needed, which requires
preprocessing by menhir to obtain it from parser_cocci_menhir.mly.
However, menhir is not enabled.
******
With menhir-20140422 installed it gets further but ends up failing at
the same but different place for both...:
On github
make -C source all.opt
make[6]: Entering directory '/sda3/home/mcgrof/devel/coccinelle/tools/spgen'
make[6]: warning: jobserver unavailable: using -j1. Add '+' to parent
make rule.
/usr/bin/ocamlopt.opt -g -I ../../../commons -I
../../../commons/ocamlextra -I ../../../globals -I
../../../parsing_cocci -I ../../../parsing_c -I
/home/mcgrof/devel/coccinelle/bundles/pcre/ -o spgen.opt str.cmxa
unix.cmxa bigarray.cmxa nums.cmxa
/home/mcgrof/devel/coccinelle/bundles/pcre//pcre.cmxa
/usr/lib64/ocaml/dynlink.cmxa ../../../commons/commons.cmxa
../../../globals/globals.cmxa ../../../parsing_cocci/cocci_parser.cmxa
../../../parsing_c/parsing_c.cmxa spgen_lexer.ml globals.mli
ast_tostring.mli detect_patch.mli meta_variable.mli snapshot.mli
user_input.mli position_generator.mli disj_generator.mli rule_body.mli
rule_header.mli context_rule.mli script_rule.mli file_transform.mli
spgen_interactive.mli spgen_config.mli spgen.mli spgen_test.mli
globals.ml ast_tostring.ml detect_patch.ml meta_variable.ml
snapshot.ml user_input.ml position_generator.ml disj_generator.ml
rule_body.ml rule_header.ml context_rule.ml script_rule.ml
file_transform.ml spgen_interactive.ml spgen_config.ml spgen.ml
spgen_test.ml main.ml
/home/mcgrof/devel/coccinelle/bundles/pcre//pcre.a(pcre.o): In
function `camlPcre__loop_1424':
(.text+0xf47): undefined reference to `pcre_exec_stub'
/home/mcgrof/devel/coccinelle/bundles/pcre//pcre.a(pcre.o): In
function `camlPcre__loop_1475':
(.text+0x1317): undefined reference to `pcre_exec_stub'
/home/mcgrof/devel/coccinelle/bundles/pcre//pcre.a(pcre.o): In
function `camlPcre__loop_1517':
(.text+0x1667): undefined reference to `pcre_exec_stub'
/home/mcgrof/devel/coccinelle/bundles/pcre//pcre.a(pcre.o): In
function `camlPcre__loop_1683':
(.text+0x1ba3): undefined reference to `pcre_exec_stub'
/home/mcgrof/devel/coccinelle/bundles/pcre//pcre.a(pcre.o): In
function `camlPcre__loop_1683':
etc
On gforge:
make[5]: Entering directory '/sda3/home/mcgrof/devel/coccinelle/tools/spgen'
Compiling spgen in native code...
make -C source all.opt
make[6]: Entering directory
'/sda3/home/mcgrof/devel/coccinelle/tools/spgen/source'
/usr/bin/ocamlopt.opt -g -I ../../../commons -I
../../../commons/ocamlextra -I ../../../globals -I
../../../parsing_cocci -I ../../../parsing_c -I
/home/mcgrof/devel/coccinelle/bundles/pcre/ -o spgen.opt str.cmxa
unix.cmxa bigarray.cmxa nums.cmxa
/home/mcgrof/devel/coccinelle/bundles/pcre//pcre.cmxa
/usr/lib64/ocaml/dynlink.cmxa ../../../commons/commons.cmxa
../../../globals/globals.cmxa ../../../parsing_cocci/cocci_parser.cmxa
../../../parsing_c/parsing_c.cmxa spgen_lexer.ml globals.mli
ast_tostring.mli detect_patch.mli meta_variable.mli snapshot.mli
user_input.mli position_generator.mli disj_generator.mli rule_body.mli
rule_header.mli context_rule.mli script_rule.mli file_transform.mli
spgen_interactive.mli spgen_config.mli spgen.mli spgen_test.mli
globals.ml ast_tostring.ml detect_patch.ml meta_variable.ml
snapshot.ml user_input.ml position_generator.ml disj_generator.ml
rule_body.ml rule_header.ml context_rule.ml script_rule.ml
file_transform.ml spgen_interactive.ml spgen_config.ml spgen.ml
spgen_test.ml main.ml
/home/mcgrof/devel/coccinelle/bundles/pcre//pcre.a(pcre.o): In
function `camlPcre__loop_1424':
(.text+0xf47): undefined reference to `pcre_exec_stub'
/home/mcgrof/devel/coccinelle/bundles/pcre//pcre.a(pcre.o): In
function `camlPcre__loop_1475':
(.text+0x1317): undefined reference to `pcre_exec_stub'
/home/mcgrof/devel/coccinelle/bundles/pcre//pcre.a(pcre.o): In
function `camlPcre__loop_1517':
etc
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
