* [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: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: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: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: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: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: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
* [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
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.