* [Cocci] github update @ 2016-05-22 19:17 Julia Lawall 2016-05-23 16:37 ` Luis R. Rodriguez 0 siblings, 1 reply; 25+ messages in thread From: Julia Lawall @ 2016-05-22 19:17 UTC (permalink / raw) To: cocci A number of changes have been made to the github version of Coccinelle. See changes.txt. A new release will be available shortly. julia ^ permalink raw reply [flat|nested] 25+ messages in thread
* [Cocci] github update 2016-05-22 19:17 [Cocci] github update Julia Lawall @ 2016-05-23 16:37 ` Luis R. Rodriguez 2016-05-23 16:39 ` Julia Lawall 2016-05-23 20:31 ` Julia Lawall 0 siblings, 2 replies; 25+ messages in thread From: Luis R. Rodriguez @ 2016-05-23 16:37 UTC (permalink / raw) To: cocci On Sun, May 22, 2016 at 09:17:47PM +0200, Julia Lawall wrote: > A number of changes have been made to the github version of Coccinelle. > See changes.txt. A new release will be available shortly. I can't get it to compile yet with OpenSUSE. Without menhir: /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 installed: 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 ^A/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': (.text+0x1ceb): undefined reference to `pcre_exec_stub' /home/mcgrof/devel/coccinelle/bundles/pcre//pcre.a(pcre.o):(.text+0x1e58): more undefined references to `pcre_exec_stub' follow /home/mcgrof/devel/coccinelle/bundles/pcre//pcre.a(pcre.o): In function `camlPcre__fun_1956': (.text+0x2a4d): undefined reference to `pcre_get_stringnumber_stub' Luis ^ permalink raw reply [flat|nested] 25+ messages in thread
* [Cocci] github update 2016-05-23 16:37 ` Luis R. Rodriguez @ 2016-05-23 16:39 ` Julia Lawall 2016-05-23 20:31 ` Julia Lawall 1 sibling, 0 replies; 25+ messages in thread From: Julia Lawall @ 2016-05-23 16:39 UTC (permalink / raw) To: cocci On Mon, 23 May 2016, Luis R. Rodriguez wrote: > On Sun, May 22, 2016 at 09:17:47PM +0200, Julia Lawall wrote: > > A number of changes have been made to the github version of Coccinelle. > > See changes.txt. A new release will be available shortly. > > I can't get it to compile yet with OpenSUSE. > > Without menhir: > > /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. Menhir is needed. > With menhir installed: > > 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 sp! gen_config.ml spgen.ml spgen_test.ml main.ml > ^A/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': > (.text+0x1ceb): undefined reference to `pcre_exec_stub' > /home/mcgrof/devel/coccinelle/bundles/pcre//pcre.a(pcre.o):(.text+0x1e58): more undefined references to `pcre_exec_stub' follow > /home/mcgrof/devel/coccinelle/bundles/pcre//pcre.a(pcre.o): In function `camlPcre__fun_1956': > (.text+0x2a4d): undefined reference to `pcre_get_stringnumber_stub' OK, thanks. There were problems with PCRE in the past. I'll check on the status. julia ^ permalink raw reply [flat|nested] 25+ messages in thread
* [Cocci] github update 2016-05-23 16:37 ` Luis R. Rodriguez 2016-05-23 16:39 ` Julia Lawall @ 2016-05-23 20:31 ` Julia Lawall 2016-05-23 20:37 ` Luis R. Rodriguez 1 sibling, 1 reply; 25+ messages in thread From: Julia Lawall @ 2016-05-23 20:31 UTC (permalink / raw) To: cocci Could you see if OpenSuse has libpcre-ocaml-dev, and if so install it? thanks, julia ^ permalink raw reply [flat|nested] 25+ messages in thread
* [Cocci] github update 2016-05-23 20:31 ` Julia Lawall @ 2016-05-23 20:37 ` Luis R. Rodriguez 2016-05-23 20:49 ` Julia Lawall 0 siblings, 1 reply; 25+ messages in thread From: Luis R. Rodriguez @ 2016-05-23 20:37 UTC (permalink / raw) To: cocci On Mon, May 23, 2016 at 1:31 PM, Julia Lawall <julia.lawall@lip6.fr> wrote: > Could you see if OpenSuse has libpcre-ocaml-dev, and if so install it? It doesn't, and nothing quite like it either. Luis ^ permalink raw reply [flat|nested] 25+ messages in thread
* [Cocci] github update 2016-05-23 20:37 ` Luis R. Rodriguez @ 2016-05-23 20:49 ` Julia Lawall 2016-05-23 21:19 ` Luis R. Rodriguez 0 siblings, 1 reply; 25+ messages in thread From: Julia Lawall @ 2016-05-23 20:49 UTC (permalink / raw) To: cocci On Mon, 23 May 2016, Luis R. Rodriguez wrote: > On Mon, May 23, 2016 at 1:31 PM, Julia Lawall <julia.lawall@lip6.fr> wrote: > > Could you see if OpenSuse has libpcre-ocaml-dev, and if so install it? > > It doesn't, and nothing quite like it either. Oops :( I found this: http://rpm.pbone.net/index.php3/stat/4/idpl/33152402/dir/opensuse/com/ocaml-pcre-7.1.6-2.d_l_ocaml.3.x86_64.rpm.html julia ^ permalink raw reply [flat|nested] 25+ messages in thread
* [Cocci] github update 2016-05-23 20:49 ` Julia Lawall @ 2016-05-23 21:19 ` Luis R. Rodriguez 2016-05-23 21:25 ` Olaf Hering 2016-05-23 21:37 ` Julia Lawall 0 siblings, 2 replies; 25+ messages in thread From: Luis R. Rodriguez @ 2016-05-23 21:19 UTC (permalink / raw) To: cocci On Mon, May 23, 2016 at 10:49:43PM +0200, Julia Lawall wrote: > > > On Mon, 23 May 2016, Luis R. Rodriguez wrote: > > > On Mon, May 23, 2016 at 1:31 PM, Julia Lawall <julia.lawall@lip6.fr> wrote: > > > Could you see if OpenSuse has libpcre-ocaml-dev, and if so install it? > > > > It doesn't, and nothing quite like it either. > > Oops :( > > I found this: > > http://rpm.pbone.net/index.php3/stat/4/idpl/33152402/dir/opensuse/com/ocaml-pcre-7.1.6-2.d_l_ocaml.3.x86_64.rpm.html Thanks, that doesn't work on the latest opensuse, I modified the spec file from the SRPM [0] to use the latest release, which seems to be 7.2.3 [1] and installed ocaml-rpm-macros and ocaml-findlib-devel to be able to build it but it seems that requires an 'ocaml-oasis' [2], downloaded that, tried to configure and that seems to require ocamlmod, ocamlify, and some 'odn' thing... I give up. Are all these new dependencies really needed ? [0] http://rpm.pbone.net/index.php3/stat/26/dist/46/size/83289/name/ocaml-pcre-7.1.6-2.d_l_ocaml.3.src.rpm [1] https://opam.ocaml.org/packages/pcre/pcre.7.2.3/ [2] https://opam.ocaml.org/packages/oasis/oasis.0.4.6/ Luis ^ permalink raw reply [flat|nested] 25+ messages in thread
* [Cocci] github update 2016-05-23 21:19 ` Luis R. Rodriguez @ 2016-05-23 21:25 ` Olaf Hering 2016-05-23 21:37 ` Julia Lawall 2016-05-23 21:37 ` Julia Lawall 1 sibling, 1 reply; 25+ messages in thread From: Olaf Hering @ 2016-05-23 21:25 UTC (permalink / raw) To: cocci Hello, due to the update to ocaml-4.03 and the breakage caused by it, some packages do not yet build. Please check whats alreaday green and what still needs work: https://build.opensuse.org/project/monitor/devel:languages:ocaml The publishing might take some time, even if the given pkg is green. Olaf Am 23.05.2016 um 23:19 schrieb Luis R. Rodriguez: > On Mon, May 23, 2016 at 10:49:43PM +0200, Julia Lawall wrote: >> >> >> On Mon, 23 May 2016, Luis R. Rodriguez wrote: >> >>> On Mon, May 23, 2016 at 1:31 PM, Julia Lawall <julia.lawall@lip6.fr> wrote: >>>> Could you see if OpenSuse has libpcre-ocaml-dev, and if so install it? >>> >>> It doesn't, and nothing quite like it either. >> >> Oops :( >> >> I found this: >> >> http://rpm.pbone.net/index.php3/stat/4/idpl/33152402/dir/opensuse/com/ocaml-pcre-7.1.6-2.d_l_ocaml.3.x86_64.rpm.html > > Thanks, that doesn't work on the latest opensuse, I modified the spec > file from the SRPM [0] to use the latest release, which seems to be 7.2.3 [1] > and installed ocaml-rpm-macros and ocaml-findlib-devel to be able to build > it but it seems that requires an 'ocaml-oasis' [2], downloaded that, tried > to configure and that seems to require ocamlmod, ocamlify, and some 'odn' > thing... I give up. Are all these new dependencies really needed ? > > [0] http://rpm.pbone.net/index.php3/stat/26/dist/46/size/83289/name/ocaml-pcre-7.1.6-2.d_l_ocaml.3.src.rpm > [1] https://opam.ocaml.org/packages/pcre/pcre.7.2.3/ > [2] https://opam.ocaml.org/packages/oasis/oasis.0.4.6/ > > Luis > ^ permalink raw reply [flat|nested] 25+ messages in thread
* [Cocci] github update 2016-05-23 21:25 ` Olaf Hering @ 2016-05-23 21:37 ` Julia Lawall 0 siblings, 0 replies; 25+ messages in thread From: Julia Lawall @ 2016-05-23 21:37 UTC (permalink / raw) To: cocci On Mon, 23 May 2016, Olaf Hering wrote: > Hello, > > due to the update to ocaml-4.03 and the breakage caused by it, some > packages do not yet build. Please check whats alreaday green and what > still needs work: > > > https://build.opensuse.org/project/monitor/devel:languages:ocaml > > The publishing might take some time, even if the given pkg is green. Olaf, thanks very much for the quick feedback. julia > > Olaf > > Am 23.05.2016 um 23:19 schrieb Luis R. Rodriguez: > > On Mon, May 23, 2016 at 10:49:43PM +0200, Julia Lawall wrote: > >> > >> > >> On Mon, 23 May 2016, Luis R. Rodriguez wrote: > >> > >>> On Mon, May 23, 2016 at 1:31 PM, Julia Lawall <julia.lawall@lip6.fr> wrote: > >>>> Could you see if OpenSuse has libpcre-ocaml-dev, and if so install it? > >>> > >>> It doesn't, and nothing quite like it either. > >> > >> Oops :( > >> > >> I found this: > >> > >> http://rpm.pbone.net/index.php3/stat/4/idpl/33152402/dir/opensuse/com/ocaml-pcre-7.1.6-2.d_l_ocaml.3.x86_64.rpm.html > > > > Thanks, that doesn't work on the latest opensuse, I modified the spec > > file from the SRPM [0] to use the latest release, which seems to be 7.2.3 [1] > > and installed ocaml-rpm-macros and ocaml-findlib-devel to be able to build > > it but it seems that requires an 'ocaml-oasis' [2], downloaded that, tried > > to configure and that seems to require ocamlmod, ocamlify, and some 'odn' > > thing... I give up. Are all these new dependencies really needed ? > > > > [0] http://rpm.pbone.net/index.php3/stat/26/dist/46/size/83289/name/ocaml-pcre-7.1.6-2.d_l_ocaml.3.src.rpm > > [1] https://opam.ocaml.org/packages/pcre/pcre.7.2.3/ > > [2] https://opam.ocaml.org/packages/oasis/oasis.0.4.6/ > > > > Luis > > > ^ permalink raw reply [flat|nested] 25+ messages in thread
* [Cocci] github update 2016-05-23 21:19 ` Luis R. Rodriguez 2016-05-23 21:25 ` Olaf Hering @ 2016-05-23 21:37 ` Julia Lawall 2016-05-23 21:41 ` Luis R. Rodriguez 1 sibling, 1 reply; 25+ messages in thread From: Julia Lawall @ 2016-05-23 21:37 UTC (permalink / raw) To: cocci On Mon, 23 May 2016, Luis R. Rodriguez wrote: > On Mon, May 23, 2016 at 10:49:43PM +0200, Julia Lawall wrote: > > > > > > On Mon, 23 May 2016, Luis R. Rodriguez wrote: > > > > > On Mon, May 23, 2016 at 1:31 PM, Julia Lawall <julia.lawall@lip6.fr> wrote: > > > > Could you see if OpenSuse has libpcre-ocaml-dev, and if so install it? > > > > > > It doesn't, and nothing quite like it either. > > > > Oops :( > > > > I found this: > > > > http://rpm.pbone.net/index.php3/stat/4/idpl/33152402/dir/opensuse/com/ocaml-pcre-7.1.6-2.d_l_ocaml.3.x86_64.rpm.html > > Thanks, that doesn't work on the latest opensuse, I modified the spec > file from the SRPM [0] to use the latest release, which seems to be 7.2.3 [1] > and installed ocaml-rpm-macros and ocaml-findlib-devel to be able to build > it but it seems that requires an 'ocaml-oasis' [2], downloaded that, tried > to configure and that seems to require ocamlmod, ocamlify, and some 'odn' > thing... I give up. Are all these new dependencies really needed ? Ideally you can configure Coccinelle not to use pcre. You could try --disable-pcre. But at one point, that flag was not working, and I checked with Sebastien who said that he didn't get a chace to fix it, so I'm not optimistic. But maybe it is at least worth trying. Also, I'm not sure that what I found is going to help, because I see that the configure contains: pcre library: $HAVE_PCRE (requires the dev version of libpcre) And the one I suggested is not the dev version. julia > [0] http://rpm.pbone.net/index.php3/stat/26/dist/46/size/83289/name/ocaml-pcre-7.1.6-2.d_l_ocaml.3.src.rpm > [1] https://opam.ocaml.org/packages/pcre/pcre.7.2.3/ > [2] https://opam.ocaml.org/packages/oasis/oasis.0.4.6/ > > Luis > ^ permalink raw reply [flat|nested] 25+ messages in thread
* [Cocci] github update 2016-05-23 21:37 ` Julia Lawall @ 2016-05-23 21:41 ` Luis R. Rodriguez 2016-05-23 21:44 ` Julia Lawall 0 siblings, 1 reply; 25+ messages in thread From: Luis R. Rodriguez @ 2016-05-23 21:41 UTC (permalink / raw) To: cocci On Mon, May 23, 2016 at 2:37 PM, Julia Lawall <julia.lawall@lip6.fr> wrote: > > > On Mon, 23 May 2016, Luis R. Rodriguez wrote: > >> On Mon, May 23, 2016 at 10:49:43PM +0200, Julia Lawall wrote: >> > >> > >> > On Mon, 23 May 2016, Luis R. Rodriguez wrote: >> > >> > > On Mon, May 23, 2016 at 1:31 PM, Julia Lawall <julia.lawall@lip6.fr> wrote: >> > > > Could you see if OpenSuse has libpcre-ocaml-dev, and if so install it? >> > > >> > > It doesn't, and nothing quite like it either. >> > >> > Oops :( >> > >> > I found this: >> > >> > http://rpm.pbone.net/index.php3/stat/4/idpl/33152402/dir/opensuse/com/ocaml-pcre-7.1.6-2.d_l_ocaml.3.x86_64.rpm.html >> >> Thanks, that doesn't work on the latest opensuse, I modified the spec >> file from the SRPM [0] to use the latest release, which seems to be 7.2.3 [1] >> and installed ocaml-rpm-macros and ocaml-findlib-devel to be able to build >> it but it seems that requires an 'ocaml-oasis' [2], downloaded that, tried >> to configure and that seems to require ocamlmod, ocamlify, and some 'odn' >> thing... I give up. Are all these new dependencies really needed ? > > Ideally you can configure Coccinelle not to use pcre. You could try > --disable-pcre. But at one point, that flag was not working, and I > checked with Sebastien who said that he didn't get a chace to fix it, so > I'm not optimistic. But maybe it is at least worth trying. > > Also, I'm not sure that what I found is going to help, because I see that > the configure contains: > > pcre library: $HAVE_PCRE (requires the dev version of libpcre) > > And the one I suggested is not the dev version. Thanks, I tried --disable-pcre on both github repo and the gforge tree and compilation still fails on the pcre error as noted earlier. I'll have to live with testing only the latest coccinelle on debian. That works great. Luis ^ permalink raw reply [flat|nested] 25+ messages in thread
* [Cocci] github update 2016-05-23 21:41 ` Luis R. Rodriguez @ 2016-05-23 21:44 ` Julia Lawall 2016-05-23 21:49 ` Luis R. Rodriguez 0 siblings, 1 reply; 25+ messages in thread From: Julia Lawall @ 2016-05-23 21:44 UTC (permalink / raw) To: cocci On Mon, 23 May 2016, Luis R. Rodriguez wrote: > On Mon, May 23, 2016 at 2:37 PM, Julia Lawall <julia.lawall@lip6.fr> wrote: > > > > > > On Mon, 23 May 2016, Luis R. Rodriguez wrote: > > > >> On Mon, May 23, 2016 at 10:49:43PM +0200, Julia Lawall wrote: > >> > > >> > > >> > On Mon, 23 May 2016, Luis R. Rodriguez wrote: > >> > > >> > > On Mon, May 23, 2016 at 1:31 PM, Julia Lawall <julia.lawall@lip6.fr> wrote: > >> > > > Could you see if OpenSuse has libpcre-ocaml-dev, and if so install it? > >> > > > >> > > It doesn't, and nothing quite like it either. > >> > > >> > Oops :( > >> > > >> > I found this: > >> > > >> > http://rpm.pbone.net/index.php3/stat/4/idpl/33152402/dir/opensuse/com/ocaml-pcre-7.1.6-2.d_l_ocaml.3.x86_64.rpm.html > >> > >> Thanks, that doesn't work on the latest opensuse, I modified the spec > >> file from the SRPM [0] to use the latest release, which seems to be 7.2.3 [1] > >> and installed ocaml-rpm-macros and ocaml-findlib-devel to be able to build > >> it but it seems that requires an 'ocaml-oasis' [2], downloaded that, tried > >> to configure and that seems to require ocamlmod, ocamlify, and some 'odn' > >> thing... I give up. Are all these new dependencies really needed ? > > > > Ideally you can configure Coccinelle not to use pcre. You could try > > --disable-pcre. But at one point, that flag was not working, and I > > checked with Sebastien who said that he didn't get a chace to fix it, so > > I'm not optimistic. But maybe it is at least worth trying. > > > > Also, I'm not sure that what I found is going to help, because I see that > > the configure contains: > > > > pcre library: $HAVE_PCRE (requires the dev version of libpcre) > > > > And the one I suggested is not the dev version. > > Thanks, I tried --disable-pcre on both github repo and the gforge > tree and compilation still fails on the pcre error as noted earlier. > I'll have to live with testing only the latest coccinelle on debian. > That works great. OK, thanks. It looks like the relese notes for Coccinelle will have to discourage the use of 4.03... julia ^ permalink raw reply [flat|nested] 25+ messages in thread
* [Cocci] github update 2016-05-23 21:44 ` Julia Lawall @ 2016-05-23 21:49 ` Luis R. Rodriguez 2016-05-24 13:32 ` Olaf Hering 0 siblings, 1 reply; 25+ messages in thread From: Luis R. Rodriguez @ 2016-05-23 21:49 UTC (permalink / raw) To: cocci On Mon, May 23, 2016 at 11:44:10PM +0200, Julia Lawall wrote: > > > On Mon, 23 May 2016, Luis R. Rodriguez wrote: > > > On Mon, May 23, 2016 at 2:37 PM, Julia Lawall <julia.lawall@lip6.fr> wrote: > > > > > > > > > On Mon, 23 May 2016, Luis R. Rodriguez wrote: > > > > > >> On Mon, May 23, 2016 at 10:49:43PM +0200, Julia Lawall wrote: > > >> > > > >> > > > >> > On Mon, 23 May 2016, Luis R. Rodriguez wrote: > > >> > > > >> > > On Mon, May 23, 2016 at 1:31 PM, Julia Lawall <julia.lawall@lip6.fr> wrote: > > >> > > > Could you see if OpenSuse has libpcre-ocaml-dev, and if so install it? > > >> > > > > >> > > It doesn't, and nothing quite like it either. > > >> > > > >> > Oops :( > > >> > > > >> > I found this: > > >> > > > >> > http://rpm.pbone.net/index.php3/stat/4/idpl/33152402/dir/opensuse/com/ocaml-pcre-7.1.6-2.d_l_ocaml.3.x86_64.rpm.html > > >> > > >> Thanks, that doesn't work on the latest opensuse, I modified the spec > > >> file from the SRPM [0] to use the latest release, which seems to be 7.2.3 [1] > > >> and installed ocaml-rpm-macros and ocaml-findlib-devel to be able to build > > >> it but it seems that requires an 'ocaml-oasis' [2], downloaded that, tried > > >> to configure and that seems to require ocamlmod, ocamlify, and some 'odn' > > >> thing... I give up. Are all these new dependencies really needed ? > > > > > > Ideally you can configure Coccinelle not to use pcre. You could try > > > --disable-pcre. But at one point, that flag was not working, and I > > > checked with Sebastien who said that he didn't get a chace to fix it, so > > > I'm not optimistic. But maybe it is at least worth trying. > > > > > > Also, I'm not sure that what I found is going to help, because I see that > > > the configure contains: > > > > > > pcre library: $HAVE_PCRE (requires the dev version of libpcre) > > > > > > And the one I suggested is not the dev version. > > > > Thanks, I tried --disable-pcre on both github repo and the gforge > > tree and compilation still fails on the pcre error as noted earlier. > > I'll have to live with testing only the latest coccinelle on debian. > > That works great. > > OK, thanks. It looks like the relese notes for Coccinelle will have to > discourage the use of 4.03... FWIW I was on ocaml-4.02 though. I'm now upgrading my system. Luis ^ permalink raw reply [flat|nested] 25+ messages in thread
* [Cocci] github update 2016-05-23 21:49 ` Luis R. Rodriguez @ 2016-05-24 13:32 ` Olaf Hering 2016-05-24 20:00 ` [Cocci] Improvements for building the Coccinelle software SF Markus Elfring 0 siblings, 1 reply; 25+ messages in thread From: Olaf Hering @ 2016-05-24 13:32 UTC (permalink / raw) To: cocci On 23.05.2016 23:49, Luis R. Rodriguez wrote: > On Mon, May 23, 2016 at 11:44:10PM +0200, Julia Lawall wrote: >> OK, thanks. It looks like the relese notes for Coccinelle will have to >> discourage the use of 4.03... > > FWIW I was on ocaml-4.02 though. I'm now upgrading my system. There is now a pullrq to fix a bug in configure.ac, and also a new pkg named ocaml-parmap to replace the built-in copy. With this coccinelle compiles for me. Olaf ^ permalink raw reply [flat|nested] 25+ messages in thread
* [Cocci] Improvements for building the Coccinelle software 2016-05-24 13:32 ` Olaf Hering @ 2016-05-24 20:00 ` SF Markus Elfring 2016-05-24 20:08 ` Olaf Hering 0 siblings, 1 reply; 25+ messages in thread From: SF Markus Elfring @ 2016-05-24 20:00 UTC (permalink / raw) To: cocci > There is now a pullrq to fix a bug in configure.ac, I am curious when the script "setup/cocci.m4" will be updated. https://github.com/coccinelle/coccinelle/pull/70 Would you like to improve the involved build scripts any more? https://github.com/coccinelle/coccinelle/issues/42 > and also a new pkg named ocaml-parmap to replace the built-in copy. How much do you care for software bundling? Regards, Markus ^ permalink raw reply [flat|nested] 25+ messages in thread
* [Cocci] Improvements for building the Coccinelle software 2016-05-24 20:00 ` [Cocci] Improvements for building the Coccinelle software SF Markus Elfring @ 2016-05-24 20:08 ` Olaf Hering 2016-05-24 20:17 ` SF Markus Elfring 2016-05-24 20:23 ` Julia Lawall 0 siblings, 2 replies; 25+ messages in thread From: Olaf Hering @ 2016-05-24 20:08 UTC (permalink / raw) To: cocci On Tue, May 24, SF Markus Elfring wrote: > > > There is now a pullrq to fix a bug in configure.ac, > > I am curious when the script "setup/cocci.m4" will be updated. > https://github.com/coccinelle/coccinelle/pull/70 When a new release is cut the release manager runs autogen.sh. In an ideal world everyone runs autogen.sh because keeping automake/autoconf/.. uptodate is cheap. The world failed to do that. Thats why each and every pkg includes a configure script. Some store them even in the SCM. > Would you like to improve the involved build scripts any more? > https://github.com/coccinelle/coccinelle/issues/42 What improvements do you have in mind? > > and also a new pkg named ocaml-parmap to replace the built-in copy. > > How much do you care for software bundling? If certain software has dependencies its not the task of that software to provide them. So, drop the bundled stuff. Olaf ^ permalink raw reply [flat|nested] 25+ messages in thread
* [Cocci] Improvements for building the Coccinelle software 2016-05-24 20:08 ` Olaf Hering @ 2016-05-24 20:17 ` SF Markus Elfring 2016-05-24 20:59 ` Olaf Hering 2016-05-24 20:23 ` Julia Lawall 1 sibling, 1 reply; 25+ messages in thread From: SF Markus Elfring @ 2016-05-24 20:17 UTC (permalink / raw) To: cocci > What improvements do you have in mind? Would you like to take another look at my previous bug reports and corresponding update suggestions for the affected build scripts? How do you think about to share further ideas for this software area? Regards, Markus ^ permalink raw reply [flat|nested] 25+ messages in thread
* [Cocci] Improvements for building the Coccinelle software 2016-05-24 20:17 ` SF Markus Elfring @ 2016-05-24 20:59 ` Olaf Hering 2016-05-25 7:18 ` SF Markus Elfring 0 siblings, 1 reply; 25+ messages in thread From: Olaf Hering @ 2016-05-24 20:59 UTC (permalink / raw) To: cocci On Tue, May 24, SF Markus Elfring wrote: > > What improvements do you have in mind? > > Would you like to take another look at my previous bug reports and > corresponding update suggestions for the affected build scripts? The other usages of '[$]' (which seems to be some kind of escape) are fine. Its just the invocation of AC_COCCI_FINDTOOL with wrong arguments that needs fixing. Olaf ^ permalink raw reply [flat|nested] 25+ messages in thread
* [Cocci] Improvements for building the Coccinelle software 2016-05-24 20:59 ` Olaf Hering @ 2016-05-25 7:18 ` SF Markus Elfring 2016-05-25 7:45 ` Olaf Hering 0 siblings, 1 reply; 25+ messages in thread From: SF Markus Elfring @ 2016-05-25 7:18 UTC (permalink / raw) To: cocci > The other usages of '[$]' (which seems to be some kind of escape) are fine. Thanks for such a clarification. > Its just the invocation of AC_COCCI_FINDTOOL with wrong arguments > that needs fixing. Will it be interesting to look at the circumstances under which this update candidate was found? I would appreciate if more corrections can be achieved for the build scripts at other places. I am curious on further progress in this software area. https://github.com/coccinelle/coccinelle/issues Regards, Markus ^ permalink raw reply [flat|nested] 25+ messages in thread
* [Cocci] Improvements for building the Coccinelle software 2016-05-25 7:18 ` SF Markus Elfring @ 2016-05-25 7:45 ` Olaf Hering 2016-05-25 7:54 ` SF Markus Elfring 0 siblings, 1 reply; 25+ messages in thread From: Olaf Hering @ 2016-05-25 7:45 UTC (permalink / raw) To: cocci On 25.05.2016 09:18, SF Markus Elfring wrote: >> Its just the invocation of AC_COCCI_FINDTOOL with wrong arguments >> that needs fixing. > > Will it be interesting to look at the circumstances under which this > update candidate was found? Just read the configure output?! Olaf ^ permalink raw reply [flat|nested] 25+ messages in thread
* [Cocci] Improvements for building the Coccinelle software 2016-05-25 7:45 ` Olaf Hering @ 2016-05-25 7:54 ` SF Markus Elfring 2016-05-25 8:02 ` Olaf Hering 0 siblings, 1 reply; 25+ messages in thread From: SF Markus Elfring @ 2016-05-25 7:54 UTC (permalink / raw) To: cocci >> Will it be interesting to look at the circumstances under which this >> update candidate was found? > > Just read the configure output?! Did any other software builder stumble also on such an open issues in the years before? How will the build scripts evolve further? Regards, Markus ^ permalink raw reply [flat|nested] 25+ messages in thread
* [Cocci] Improvements for building the Coccinelle software 2016-05-25 7:54 ` SF Markus Elfring @ 2016-05-25 8:02 ` Olaf Hering 2016-05-25 8:15 ` SF Markus Elfring 0 siblings, 1 reply; 25+ messages in thread From: Olaf Hering @ 2016-05-25 8:02 UTC (permalink / raw) To: cocci On 25.05.2016 09:54, SF Markus Elfring wrote: >>> Will it be interesting to look at the circumstances under which this >>> update candidate was found? >> >> Just read the configure output?! > > Did any other software builder stumble also on such an open issues in > the years before? It just happend to work for them. > How will the build scripts evolve further? We will continue to send pull requests as needed. Olaf ^ permalink raw reply [flat|nested] 25+ messages in thread
* [Cocci] Improvements for building the Coccinelle software 2016-05-25 8:02 ` Olaf Hering @ 2016-05-25 8:15 ` SF Markus Elfring 0 siblings, 0 replies; 25+ messages in thread From: SF Markus Elfring @ 2016-05-25 8:15 UTC (permalink / raw) To: cocci >> How will the build scripts evolve further? > > We will continue to send pull requests as needed. Would you like to add any comments to remaining open issues? Regards, Markus ^ permalink raw reply [flat|nested] 25+ messages in thread
* [Cocci] Improvements for building the Coccinelle software 2016-05-24 20:08 ` Olaf Hering 2016-05-24 20:17 ` SF Markus Elfring @ 2016-05-24 20:23 ` Julia Lawall 2016-05-24 21:02 ` Olaf Hering 1 sibling, 1 reply; 25+ messages in thread From: Julia Lawall @ 2016-05-24 20:23 UTC (permalink / raw) To: cocci On Tue, 24 May 2016, Olaf Hering wrote: > On Tue, May 24, SF Markus Elfring wrote: > > > > > > There is now a pullrq to fix a bug in configure.ac, > > > > I am curious when the script "setup/cocci.m4" will be updated. > > https://github.com/coccinelle/coccinelle/pull/70 > > When a new release is cut the release manager runs autogen.sh. In an > ideal world everyone runs autogen.sh because keeping > automake/autoconf/.. uptodate is cheap. The world failed to do that. > Thats why each and every pkg includes a configure script. Some store > them even in the SCM. Sorry, but I'm not sure to understand what you are suggesting here (or if you are suggesting something). In any case, the releases of Coccinelle should contain a configure script, to my recollection. The github version does not. thanks, julia > > Would you like to improve the involved build scripts any more? > > https://github.com/coccinelle/coccinelle/issues/42 > > What improvements do you have in mind? > > > > and also a new pkg named ocaml-parmap to replace the built-in copy. > > > > How much do you care for software bundling? > > If certain software has dependencies its not the task of that software > to provide them. So, drop the bundled stuff. > > Olaf > _______________________________________________ > Cocci mailing list > Cocci at systeme.lip6.fr > https://systeme.lip6.fr/mailman/listinfo/cocci > ^ permalink raw reply [flat|nested] 25+ messages in thread
* [Cocci] Improvements for building the Coccinelle software 2016-05-24 20:23 ` Julia Lawall @ 2016-05-24 21:02 ` Olaf Hering 0 siblings, 0 replies; 25+ messages in thread From: Olaf Hering @ 2016-05-24 21:02 UTC (permalink / raw) To: cocci On Tue, May 24, Julia Lawall wrote: > In any case, the releases of Coccinelle should contain a configure > script, to my recollection. The github version does not. You are right, its just my copy of coccinelle-1.0.4.tgz which has the configure script. configure not in github. Olaf ^ permalink raw reply [flat|nested] 25+ messages in thread
end of thread, other threads:[~2016-05-25 8:15 UTC | newest] Thread overview: 25+ messages (download: mbox.gz follow: Atom feed -- links below jump to the message on this page -- 2016-05-22 19:17 [Cocci] github update Julia Lawall 2016-05-23 16:37 ` Luis R. Rodriguez 2016-05-23 16:39 ` Julia Lawall 2016-05-23 20:31 ` Julia Lawall 2016-05-23 20:37 ` Luis R. Rodriguez 2016-05-23 20:49 ` Julia Lawall 2016-05-23 21:19 ` Luis R. Rodriguez 2016-05-23 21:25 ` Olaf Hering 2016-05-23 21:37 ` Julia Lawall 2016-05-23 21:37 ` Julia Lawall 2016-05-23 21:41 ` Luis R. Rodriguez 2016-05-23 21:44 ` Julia Lawall 2016-05-23 21:49 ` Luis R. Rodriguez 2016-05-24 13:32 ` Olaf Hering 2016-05-24 20:00 ` [Cocci] Improvements for building the Coccinelle software SF Markus Elfring 2016-05-24 20:08 ` Olaf Hering 2016-05-24 20:17 ` SF Markus Elfring 2016-05-24 20:59 ` Olaf Hering 2016-05-25 7:18 ` SF Markus Elfring 2016-05-25 7:45 ` Olaf Hering 2016-05-25 7:54 ` SF Markus Elfring 2016-05-25 8:02 ` Olaf Hering 2016-05-25 8:15 ` SF Markus Elfring 2016-05-24 20:23 ` Julia Lawall 2016-05-24 21:02 ` Olaf Hering
This is an external index of several public inboxes, see mirroring instructions on how to clone and mirror all data and code used by this external index.