* [Cocci] compiling latest coccinelle on opensuse
@ 2016-05-17 17:20 Luis R. Rodriguez
2016-05-17 20:52 ` Julia Lawall
0 siblings, 1 reply; 9+ messages in thread
From: Luis R. Rodriguez @ 2016-05-17 17:20 UTC (permalink / raw)
To: cocci
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
^ permalink raw reply [flat|nested] 9+ messages in thread* [Cocci] compiling latest coccinelle on opensuse
2016-05-17 17:20 [Cocci] compiling latest coccinelle on opensuse Luis R. Rodriguez
@ 2016-05-17 20:52 ` Julia Lawall
2016-05-17 22:44 ` Luis R. Rodriguez
0 siblings, 1 reply; 9+ messages in thread
From: Julia Lawall @ 2016-05-17 20:52 UTC (permalink / raw)
To: cocci
On Tue, 17 May 2016, Luis R. Rodriguez wrote:
> 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?
Once you do make distclean, you need to have menhir installed. But I
think that if you do a git checkout -- . you would return to a viable
state.
julia
>
> 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
> Cocci at systeme.lip6.fr
> https://systeme.lip6.fr/mailman/listinfo/cocci
>
^ permalink raw reply [flat|nested] 9+ messages in thread
* [Cocci] compiling latest coccinelle on opensuse
2016-05-17 20:52 ` Julia Lawall
@ 2016-05-17 22:44 ` Luis R. Rodriguez
2016-05-18 5:12 ` Julia Lawall
0 siblings, 1 reply; 9+ messages in thread
From: Luis R. Rodriguez @ 2016-05-17 22:44 UTC (permalink / raw)
To: cocci
On Tue, May 17, 2016 at 1:52 PM, Julia Lawall <julia.lawall@lip6.fr> wrote:
> On Tue, 17 May 2016, Luis R. Rodriguez wrote:
>> 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?
>
> Once you do make distclean, you need to have menhir installed. But I
> think that if you do a git checkout -- . you would return to a viable
> state.
Thanks, I tried 'git checkout -f' after 'git clean -f -x -d' and prior
to moving forward made sure to rm -rf menhir. I ended up in the same
place with github:
make[2]: Entering directory '/sda3/home/mcgrof/devel/coccinelle/parsing_cocci'
/usr/bin/ocamllex.opt lexer_cocci.mll
/usr/bin/ocamllex.opt lexer_cli.mll
/usr/bin/ocamllex.opt lexer_script.mll
/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.
Luis
^ permalink raw reply [flat|nested] 9+ messages in thread
* [Cocci] compiling latest coccinelle on opensuse
2016-05-17 22:44 ` Luis R. Rodriguez
@ 2016-05-18 5:12 ` Julia Lawall
2016-05-18 8:28 ` [Cocci] Build configuration challenges around "Menhir" SF Markus Elfring
0 siblings, 1 reply; 9+ messages in thread
From: Julia Lawall @ 2016-05-18 5:12 UTC (permalink / raw)
To: cocci
On Tue, 17 May 2016, Luis R. Rodriguez wrote:
> On Tue, May 17, 2016 at 1:52 PM, Julia Lawall <julia.lawall@lip6.fr> wrote:
> > On Tue, 17 May 2016, Luis R. Rodriguez wrote:
> >> 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?
> >
> > Once you do make distclean, you need to have menhir installed. But I
> > think that if you do a git checkout -- . you would return to a viable
> > state.
>
> Thanks, I tried 'git checkout -f' after 'git clean -f -x -d' and prior
> to moving forward made sure to rm -rf menhir. I ended up in the same
> place with github:
>
> make[2]: Entering directory '/sda3/home/mcgrof/devel/coccinelle/parsing_cocci'
> /usr/bin/ocamllex.opt lexer_cocci.mll
> /usr/bin/ocamllex.opt lexer_cli.mll
> /usr/bin/ocamllex.opt lexer_script.mll
> /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.
Indeed, it is not there. I guess it was decided that people who use
github should have the capability to generate everything from scratch.
But I don't really know... Will check.
julia
^ permalink raw reply [flat|nested] 9+ messages in thread
* [Cocci] Build configuration challenges around "Menhir"
2016-05-18 5:12 ` Julia Lawall
@ 2016-05-18 8:28 ` SF Markus Elfring
2016-05-18 8:43 ` Julia Lawall
0 siblings, 1 reply; 9+ messages in thread
From: SF Markus Elfring @ 2016-05-18 8:28 UTC (permalink / raw)
To: cocci
>> 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.
>
> Indeed, it is not there. I guess it was decided that people who use
> github should have the capability to generate everything from scratch.
> But I don't really know... Will check.
Are there a few build challenges left over for proper configuration checks
around the bundling (or other source) of this software library?
https://github.com/coccinelle/coccinelle/blob/cd539cd12ad0674d5a8f4c33f6c21ae00aec8e57/configure.ac#L152
https://github.com/coccinelle/coccinelle/blob/db45d7549bdde52f95bf2885ef652a42862854bb/setup/fake-menhir.sh#L5
Regards,
Markus
^ permalink raw reply [flat|nested] 9+ messages in thread
* [Cocci] Build configuration challenges around "Menhir"
2016-05-18 8:28 ` [Cocci] Build configuration challenges around "Menhir" SF Markus Elfring
@ 2016-05-18 8:43 ` Julia Lawall
2016-05-18 8:48 ` SF Markus Elfring
0 siblings, 1 reply; 9+ messages in thread
From: Julia Lawall @ 2016-05-18 8:43 UTC (permalink / raw)
To: cocci
On Wed, 18 May 2016, SF Markus Elfring wrote:
> >> 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.
> >
> > Indeed, it is not there. I guess it was decided that people who use
> > github should have the capability to generate everything from scratch.
> > But I don't really know... Will check.
>
> Are there a few build challenges left over for proper configuration checks
> around the bundling (or other source) of this software library?
Please find them and report on them rather than making vague questions.
julia
>
> https://github.com/coccinelle/coccinelle/blob/cd539cd12ad0674d5a8f4c33f6c21ae00aec8e57/configure.ac#L152
> https://github.com/coccinelle/coccinelle/blob/db45d7549bdde52f95bf2885ef652a42862854bb/setup/fake-menhir.sh#L5
>
> Regards,
> Markus
> _______________________________________________
> Cocci mailing list
> Cocci at systeme.lip6.fr
> https://systeme.lip6.fr/mailman/listinfo/cocci
>
^ permalink raw reply [flat|nested] 9+ messages in thread
* [Cocci] Build configuration challenges around "Menhir"
2016-05-18 8:43 ` Julia Lawall
@ 2016-05-18 8:48 ` SF Markus Elfring
2016-05-18 9:08 ` Julia Lawall
0 siblings, 1 reply; 9+ messages in thread
From: SF Markus Elfring @ 2016-05-18 8:48 UTC (permalink / raw)
To: cocci
>> Are there a few build challenges left over for proper configuration checks
>> around the bundling (or other source) of this software library?
>
> Please find them and report on them rather than making vague questions.
I am waiting for improvements of the affected build scripts for years.
Who will dare to tackle open issues there a bit more?
Regards,
Markus
^ permalink raw reply [flat|nested] 9+ messages in thread
* [Cocci] Build configuration challenges around "Menhir"
2016-05-18 8:48 ` SF Markus Elfring
@ 2016-05-18 9:08 ` Julia Lawall
2016-05-18 9:22 ` SF Markus Elfring
0 siblings, 1 reply; 9+ messages in thread
From: Julia Lawall @ 2016-05-18 9:08 UTC (permalink / raw)
To: cocci
On Wed, 18 May 2016, SF Markus Elfring wrote:
> >> Are there a few build challenges left over for proper configuration checks
> >> around the bundling (or other source) of this software library?
> >
> > Please find them and report on them rather than making vague questions.
>
> I am waiting for improvements of the affected build scripts for years.
> Who will dare to tackle open issues there a bit more?
In a general sense, perhaps no one. If you have a specific issue in mind
that is causing problems in practice (not just offending your sense of how
things should be done), then you can report it with detailed information
about your build environment, and we will look at it.
Alternatively, you are welcome to propose the code for what you consider
to be the perfect build system. The only requirement is to keep the
dependencies on external software to an absolute minimum. There are also
various developer-friendly make targets such as --testall that should be
preserved. And the ability to run make in the subdirectories without
remaking the whole project.
julia
^ permalink raw reply [flat|nested] 9+ messages in thread
* [Cocci] Build configuration challenges around "Menhir"
2016-05-18 9:08 ` Julia Lawall
@ 2016-05-18 9:22 ` SF Markus Elfring
0 siblings, 0 replies; 9+ messages in thread
From: SF Markus Elfring @ 2016-05-18 9:22 UTC (permalink / raw)
To: cocci
>> Who will dare to tackle open issues there a bit more?
>
> In a general sense, perhaps no one.
I tried several times to improve corresponding software development challenges.
I am curious when more ideas will be picked up also by other contributors.
> If you have a specific issue in mind that is causing problems in practice
> (not just offending your sense of how things should be done), then you can report it
> with detailed information about your build environment,
This happened already over the mailing list and the GitHub issue tracker.
> and we will look at it.
How are the chances that source code review will evolve more?
> Alternatively, you are welcome to propose the code for what you consider
> to be the perfect build system.
I hope that expertise evolution will make it possible to fix remaining open issues.
How do you think about try any fine-tuning for the bundling (or other source determination)
of the involved software libraries?
Regards,
Markus
^ permalink raw reply [flat|nested] 9+ messages in thread
end of thread, other threads:[~2016-05-18 9:22 UTC | newest]
Thread overview: 9+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2016-05-17 17:20 [Cocci] compiling latest coccinelle on opensuse Luis R. Rodriguez
2016-05-17 20:52 ` Julia Lawall
2016-05-17 22:44 ` Luis R. Rodriguez
2016-05-18 5:12 ` Julia Lawall
2016-05-18 8:28 ` [Cocci] Build configuration challenges around "Menhir" SF Markus Elfring
2016-05-18 8:43 ` Julia Lawall
2016-05-18 8:48 ` SF Markus Elfring
2016-05-18 9:08 ` Julia Lawall
2016-05-18 9:22 ` SF Markus Elfring
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.