* [Cocci] 1.0.0-rc16: Further fine-tuning for the build system? @ 2013-03-02 21:02 SF Markus Elfring 2013-03-02 21:18 ` Julia Lawall 0 siblings, 1 reply; 38+ messages in thread From: SF Markus Elfring @ 2013-03-02 21:02 UTC (permalink / raw) To: cocci Hello, I try to regenerate your current software from the Git repository on my openSUSE system. I stumble on the following issue. elfring at Sonne:~/Projekte/Coccinelle/Bau> ../lokal/configure --enable-opt --enable-ocaml --enable-python --enable-release configure: loading site script /usr/share/site/x86_64-unknown-linux-gnu configure: configuring coccinelle 1.0.0-rc15 in /home/elfring/Projekte/Coccinelle/Bau ... configure: configuring package menhirLib checking for OCaml findlib package menhirLib... not found configure: OCaml package menhirLib is not available checking for a bundled substitute of menhirLib... not available configure: error: OCaml package menhirLib is required. Please make sure it is available. This library is installed under the directory "/usr/local/share/menhir" and is found if I let the configuration script run while the source "lokal" is also the working directory. Would you like to adjust any configuration checks to support an "out-of-source-tree build"? (How do you think about to store generated files in a separate directory hierarchy here?) https://github.com/coccinelle/coccinelle/blob/abad11c5570b7b9bbae5ff92b3050cf68fe3fd14/configure.ac#L146 Regards, Markus ^ permalink raw reply [flat|nested] 38+ messages in thread
* [Cocci] 1.0.0-rc16: Further fine-tuning for the build system? 2013-03-02 21:02 [Cocci] 1.0.0-rc16: Further fine-tuning for the build system? SF Markus Elfring @ 2013-03-02 21:18 ` Julia Lawall 2013-03-04 11:35 ` SF Markus Elfring 0 siblings, 1 reply; 38+ messages in thread From: Julia Lawall @ 2013-03-02 21:18 UTC (permalink / raw) To: cocci On Sat, 2 Mar 2013, SF Markus Elfring wrote: > Hello, > > I try to regenerate your current software from the Git repository on my openSUSE > system. I stumble on the following issue. > > elfring at Sonne:~/Projekte/Coccinelle/Bau> ../lokal/configure --enable-opt > --enable-ocaml --enable-python --enable-release > configure: loading site script /usr/share/site/x86_64-unknown-linux-gnu > configure: configuring coccinelle 1.0.0-rc15 in > /home/elfring/Projekte/Coccinelle/Bau > ... > configure: configuring package menhirLib > checking for OCaml findlib package menhirLib... not found > configure: OCaml package menhirLib is not available > checking for a bundled substitute of menhirLib... not available > configure: error: OCaml package menhirLib is required. Please make sure it is > available. > > > This library is installed under the directory "/usr/local/share/menhir" and is > found if I let the configuration script run while the source "lokal" is also the > working directory. > Would you like to adjust any configuration checks to support an > "out-of-source-tree build"? (How do you think about to store generated files in > a separate directory hierarchy here?) > https://github.com/coccinelle/coccinelle/blob/abad11c5570b7b9bbae5ff92b3050cf68fe3fd14/configure.ac#L146 I'm not completely sure what you are proposing. Perhaps you could just make a patch that does what you want? julia ^ permalink raw reply [flat|nested] 38+ messages in thread
* [Cocci] 1.0.0-rc16: Further fine-tuning for the build system? 2013-03-02 21:18 ` Julia Lawall @ 2013-03-04 11:35 ` SF Markus Elfring 2013-03-04 12:36 ` Julia Lawall 0 siblings, 1 reply; 38+ messages in thread From: SF Markus Elfring @ 2013-03-04 11:35 UTC (permalink / raw) To: cocci > I'm not completely sure what you are proposing. Have you got any idea why I get a result like the following? elfring at Sonne:~/Projekte/Coccinelle/Bau> ocamlfind query camlp4 && ocamlfind query menhirLib /usr/lib64/ocaml/camlp4 ocamlfind: Package `menhirLib' not found Are there any configuration challenges to consider with the use of a locally installed variant in comparison to the version for this library which you also bundle with your software? Regards, Markus ^ permalink raw reply [flat|nested] 38+ messages in thread
* [Cocci] 1.0.0-rc16: Further fine-tuning for the build system? 2013-03-04 11:35 ` SF Markus Elfring @ 2013-03-04 12:36 ` Julia Lawall 2013-03-04 12:37 ` Julia Lawall ` (2 more replies) 0 siblings, 3 replies; 38+ messages in thread From: Julia Lawall @ 2013-03-04 12:36 UTC (permalink / raw) To: cocci On Mon, 4 Mar 2013, SF Markus Elfring wrote: > > I'm not completely sure what you are proposing. > > Have you got any idea why I get a result like the following? > > elfring at Sonne:~/Projekte/Coccinelle/Bau> ocamlfind query camlp4 && ocamlfind > query menhirLib > /usr/lib64/ocaml/camlp4 > ocamlfind: Package `menhirLib' not found > > > Are there any configuration challenges to consider with the use of a locally > installed variant in comparison to the version for this library which you also > bundle with your software? I don't know what strategy ocamlfind follows, in detail. Perhaps it would be more reasonable to take up the problem with them, since it is a general problem? I'm not sure to understand the relevance of the fact that we bundle the library. The problem is that ocamlfind is not finding what you expect it to find. julia ^ permalink raw reply [flat|nested] 38+ messages in thread
* [Cocci] 1.0.0-rc16: Further fine-tuning for the build system? 2013-03-04 12:36 ` Julia Lawall @ 2013-03-04 12:37 ` Julia Lawall 2013-03-04 12:43 ` SF Markus Elfring 2013-03-04 15:40 ` SF Markus Elfring 2 siblings, 0 replies; 38+ messages in thread From: Julia Lawall @ 2013-03-04 12:37 UTC (permalink / raw) To: cocci On Mon, 4 Mar 2013, Julia Lawall wrote: > On Mon, 4 Mar 2013, SF Markus Elfring wrote: > > > > I'm not completely sure what you are proposing. > > > > Have you got any idea why I get a result like the following? > > > > elfring at Sonne:~/Projekte/Coccinelle/Bau> ocamlfind query camlp4 && ocamlfind > > query menhirLib > > /usr/lib64/ocaml/camlp4 > > ocamlfind: Package `menhirLib' not found > > > > > > Are there any configuration challenges to consider with the use of a locally > > installed variant in comparison to the version for this library which you also > > bundle with your software? > > I don't know what strategy ocamlfind follows, in detail. Perhaps it would > be more reasonable to take up the problem with them, since it is a general > problem? If they say that it is not their problem, then I guess we could do something. But it seems strange for every piece of software that uses ocamlfind to have to repeat the same piece of code. julia ^ permalink raw reply [flat|nested] 38+ messages in thread
* [Cocci] 1.0.0-rc16: Further fine-tuning for the build system? 2013-03-04 12:36 ` Julia Lawall 2013-03-04 12:37 ` Julia Lawall @ 2013-03-04 12:43 ` SF Markus Elfring 2013-03-04 12:48 ` Julia Lawall 2013-03-04 15:40 ` SF Markus Elfring 2 siblings, 1 reply; 38+ messages in thread From: SF Markus Elfring @ 2013-03-04 12:43 UTC (permalink / raw) To: cocci > I'm not sure to understand the relevance of the fact that we bundle the > library. The problem is that ocamlfind is not finding what you expect it > to find. Is the OCaml package "menhirLib" generally found in your configuration even if you try out a different build directory? Regards, Markus ^ permalink raw reply [flat|nested] 38+ messages in thread
* [Cocci] 1.0.0-rc16: Further fine-tuning for the build system? 2013-03-04 12:43 ` SF Markus Elfring @ 2013-03-04 12:48 ` Julia Lawall 2013-03-04 13:14 ` SF Markus Elfring 2013-03-04 13:54 ` SF Markus Elfring 0 siblings, 2 replies; 38+ messages in thread From: Julia Lawall @ 2013-03-04 12:48 UTC (permalink / raw) To: cocci On Mon, 4 Mar 2013, SF Markus Elfring wrote: > > I'm not sure to understand the relevance of the fact that we bundle the > > library. The problem is that ocamlfind is not finding what you expect it > > to find. > > Is the OCaml package "menhirLib" generally found in your configuration even if > you try out a different build directory? I have one machine where it is not installed and one machine where it is installed in the standard place. I'm not sure to understand "try different build directory". You mean you want to put the executable in a place that is different than the source code? julia ^ permalink raw reply [flat|nested] 38+ messages in thread
* [Cocci] 1.0.0-rc16: Further fine-tuning for the build system? 2013-03-04 12:48 ` Julia Lawall @ 2013-03-04 13:14 ` SF Markus Elfring 2013-03-04 13:54 ` SF Markus Elfring 1 sibling, 0 replies; 38+ messages in thread From: SF Markus Elfring @ 2013-03-04 13:14 UTC (permalink / raw) To: cocci > I'm not sure to understand "try different build directory". You mean you > want to put the executable in a place that is different than the source > code? Yes. - It is the purpose to store such generated files by an "out-of-source-tree build" separately. http://programmers.stackexchange.com/questions/88792/automake-how-to-keep-the-source-tree-clean http://stackoverflow.com/questions/1783111/fix-source-file-search-path-when-doing-out-of-source-autotools-build-within-emac Regards, Markus ^ permalink raw reply [flat|nested] 38+ messages in thread
* [Cocci] 1.0.0-rc16: Further fine-tuning for the build system? 2013-03-04 12:48 ` Julia Lawall 2013-03-04 13:14 ` SF Markus Elfring @ 2013-03-04 13:54 ` SF Markus Elfring 1 sibling, 0 replies; 38+ messages in thread From: SF Markus Elfring @ 2013-03-04 13:54 UTC (permalink / raw) To: cocci > I'm not sure to understand "try different build directory". You mean you > want to put the executable in a place that is different than the source code? Yes. - Which file organisation do you prefer? How do you think about the wording "parallel (or VPATH) build" instead of "out-of-source build"? http://www.gnu.org/software/automake/manual/html_node/VPATH-Builds.html Regards, Markus ^ permalink raw reply [flat|nested] 38+ messages in thread
* [Cocci] 1.0.0-rc16: Further fine-tuning for the build system? 2013-03-04 12:36 ` Julia Lawall 2013-03-04 12:37 ` Julia Lawall 2013-03-04 12:43 ` SF Markus Elfring @ 2013-03-04 15:40 ` SF Markus Elfring 2013-03-04 15:47 ` Julia Lawall 2 siblings, 1 reply; 38+ messages in thread From: SF Markus Elfring @ 2013-03-04 15:40 UTC (permalink / raw) To: cocci > I don't know what strategy ocamlfind follows, in detail. Perhaps it would be > more reasonable to take up the problem with them, since it is a general problem? I have repeated the following command once more. Sonne:/home/elfring/Projekte/Menhir/20130116 # make -j6 PREFIX=/usr/local install Now I get an expected result. elfring at Sonne:~/Projekte/Coccinelle/Bau> ocamlfind query menhirLib /usr/lib64/ocaml/site-lib/menhirLib It seems that I was affected by a "questionable" installation order. I am curious on improvements also for this software library. http://pauillac.inria.fr/~fpottier/menhir/ Does it eventually need better configuration checks? But I notice another surprise. elfring at Sonne:~/Projekte/Coccinelle/Bau> ../lokal/configure --enable-opt --enable-ocaml --enable-python --enable-release configure: loading site script /usr/share/site/x86_64-unknown-linux-gnu configure: configuring coccinelle 1.0.0-rc15 in /home/elfring/Projekte/Coccinelle/Bau ... checking for OCaml findlib package menhirLib... found configure: verifying optional features checking for menhir... /usr/local/bin/menhir ... checking python version... 2.7 found configure: python major version: 2 configure: looking for the corresponding python library checking for PYTHON... no ../lokal/configure: line 15081: /home/elfring/Projekte/Coccinelle/Bau/setup/fake-subst.sh: No such file or directory configure: error: the python scripts feature is enabled but the pkg-config python library is not found How should this error message be resolved? https://github.com/coccinelle/coccinelle/issues/9 Regards, Markus ^ permalink raw reply [flat|nested] 38+ messages in thread
* [Cocci] 1.0.0-rc16: Further fine-tuning for the build system? 2013-03-04 15:40 ` SF Markus Elfring @ 2013-03-04 15:47 ` Julia Lawall 2013-03-04 16:05 ` SF Markus Elfring 0 siblings, 1 reply; 38+ messages in thread From: Julia Lawall @ 2013-03-04 15:47 UTC (permalink / raw) To: cocci On Mon, 4 Mar 2013, SF Markus Elfring wrote: > > I don't know what strategy ocamlfind follows, in detail. Perhaps it would be > > more reasonable to take up the problem with them, since it is a general problem? > > I have repeated the following command once more. > > Sonne:/home/elfring/Projekte/Menhir/20130116 # make -j6 PREFIX=/usr/local install > > > Now I get an expected result. > > elfring at Sonne:~/Projekte/Coccinelle/Bau> ocamlfind query menhirLib > /usr/lib64/ocaml/site-lib/menhirLib > > > It seems that I was affected by a "questionable" installation order. I am > curious on improvements also for this software library. > http://pauillac.inria.fr/~fpottier/menhir/ > > Does it eventually need better configuration checks? My impression is that the menhir developers have very few or no resources to devote to the project now, so probably they are not interested in making any improvements in this direction. > But I notice another surprise. > > elfring at Sonne:~/Projekte/Coccinelle/Bau> ../lokal/configure --enable-opt > --enable-ocaml --enable-python --enable-release > configure: loading site script /usr/share/site/x86_64-unknown-linux-gnu > configure: configuring coccinelle 1.0.0-rc15 in > /home/elfring/Projekte/Coccinelle/Bau > ... > checking for OCaml findlib package menhirLib... found > configure: verifying optional features > checking for menhir... /usr/local/bin/menhir > ... > checking python version... 2.7 found > configure: python major version: 2 > configure: looking for the corresponding python library > checking for PYTHON... no > ../lokal/configure: line 15081: > /home/elfring/Projekte/Coccinelle/Bau/setup/fake-subst.sh: No such file or directory > configure: error: the python scripts feature is enabled but the pkg-config > python library is not found > > > How should this error message be resolved? > https://github.com/coccinelle/coccinelle/issues/9 Maybe you have python but not the developer libraries? julia ^ permalink raw reply [flat|nested] 38+ messages in thread
* [Cocci] 1.0.0-rc16: Further fine-tuning for the build system? 2013-03-04 15:47 ` Julia Lawall @ 2013-03-04 16:05 ` SF Markus Elfring 2013-03-05 8:36 ` Arie Middelkoop 0 siblings, 1 reply; 38+ messages in thread From: SF Markus Elfring @ 2013-03-04 16:05 UTC (permalink / raw) To: cocci >> https://github.com/coccinelle/coccinelle/issues/9 > > Maybe you have python but not the developer libraries? The package "python-devel 2.7.3-3.6.1" is installed at the moment. I do not get the mentioned error message if I repeat the command from within the source directory. elfring at Sonne:~/Projekte/Coccinelle/lokal> make distclean && ./configure --enable-opt --enable-ocaml --enable-python --enable-release Regards, Markus ^ permalink raw reply [flat|nested] 38+ messages in thread
* [Cocci] 1.0.0-rc16: Further fine-tuning for the build system? 2013-03-04 16:05 ` SF Markus Elfring @ 2013-03-05 8:36 ` Arie Middelkoop 2013-03-07 15:54 ` SF Markus Elfring 0 siblings, 1 reply; 38+ messages in thread From: Arie Middelkoop @ 2013-03-05 8:36 UTC (permalink / raw) To: cocci There is something else than you can try, although I cannot guarantee that it (still) works. If it does not work, then you should forget about it. In a fresh checkout(!), configure with an extra configuration parameter: --enable-ocamlbuild This will configure the project to use ocamlbuild to resolve dependencies and invoke the ocaml tools. The makefiles are still used to invoke ocamlbuild with the appropriate parameters. Ocamlbuild puts build outputs in a separate directory, thus it is doing an out-of-source build. You can probably make it also output ocamldoc files of all the source files, although that is speculation. Understanding of ocamlbuild would be required in that case. Arie 2013/3/4 SF Markus Elfring <elfring@users.sourceforge.net>: >>> https://github.com/coccinelle/coccinelle/issues/9 >> >> Maybe you have python but not the developer libraries? > > The package "python-devel 2.7.3-3.6.1" is installed at the moment. > > I do not get the mentioned error message if I repeat the command from within the > source directory. > > elfring at Sonne:~/Projekte/Coccinelle/lokal> make distclean && ./configure > --enable-opt --enable-ocaml --enable-python --enable-release > > > Regards, > Markus ^ permalink raw reply [flat|nested] 38+ messages in thread
* [Cocci] 1.0.0-rc16: Further fine-tuning for the build system? 2013-03-05 8:36 ` Arie Middelkoop @ 2013-03-07 15:54 ` SF Markus Elfring 2013-03-07 16:27 ` Arie Middelkoop 0 siblings, 1 reply; 38+ messages in thread From: SF Markus Elfring @ 2013-03-07 15:54 UTC (permalink / raw) To: cocci > There is something else than you can try, although I cannot guarantee > that it (still) works. I see two references to the script "fake-subst.sh" in your current build specification "configure.ac". Do they need any adjustments so that the dependency on the python programming language can also be resolved during an out-of-source build? Regards, Markus ^ permalink raw reply [flat|nested] 38+ messages in thread
* [Cocci] 1.0.0-rc16: Further fine-tuning for the build system? 2013-03-07 15:54 ` SF Markus Elfring @ 2013-03-07 16:27 ` Arie Middelkoop 2013-03-07 17:07 ` SF Markus Elfring 0 siblings, 1 reply; 38+ messages in thread From: Arie Middelkoop @ 2013-03-07 16:27 UTC (permalink / raw) To: cocci Does it work as it is supposed to be? 2013/3/7 SF Markus Elfring <elfring@users.sourceforge.net>: >> There is something else than you can try, although I cannot guarantee >> that it (still) works. > > I see two references to the script "fake-subst.sh" in your current build > specification "configure.ac". Do they need any adjustments so that the > dependency on the python programming language can also be resolved during an > out-of-source build? > > Regards, > Markus ^ permalink raw reply [flat|nested] 38+ messages in thread
* [Cocci] 1.0.0-rc16: Further fine-tuning for the build system? 2013-03-07 16:27 ` Arie Middelkoop @ 2013-03-07 17:07 ` SF Markus Elfring 2013-03-16 20:07 ` SF Markus Elfring 0 siblings, 1 reply; 38+ messages in thread From: SF Markus Elfring @ 2013-03-07 17:07 UTC (permalink / raw) To: cocci > Does it work as it is supposed to be? It seems that the desired build configuration works also as expected on my system with an out-of-source build after a small adjustment for a variable. www.gnu.org/savannah-checkouts/gnu/autoconf/manual/autoconf-2.69/html_node/Build-Directories.html diff --git a/configure.ac b/configure.ac index 2f0f682..4905af0 100644 --- a/configure.ac +++ b/configure.ac @@ -8,7 +8,7 @@ AC_CONFIG_MACRO_DIR([setup]) AC_CONFIG_AUX_DIR([setup]) AC_SUBST([CONFIGURE_FLAGS], ["$*"]) AC_SUBST([COCCI_VERSION], ["$PACKAGE_VERSION"]) -AC_SUBST([COCCI_SRCDIR], ["$(pwd)"]) +AC_SUBST([COCCI_SRCDIR], ["$srcdir"]) AC_MSG_NOTICE([configuring coccinelle $COCCI_VERSION in $COCCI_SRCDIR]) AM_INIT_AUTOMAKE I have got the impression that there are more update candidates to consider since the macro call "AM_INIT_AUTOMAKE" was added. https://github.com/coccinelle/coccinelle/blob/abad11c5570b7b9bbae5ff92b3050cf68fe3fd14/configure.ac#L13 - Would you like to drop the variable "COCCI_SRCDIR" eventually (because there is a standard one available)? - How do you think about to change comments in files like "Makefile.am"? Regards, Markus ^ permalink raw reply related [flat|nested] 38+ messages in thread
* [Cocci] 1.0.0-rc16: Further fine-tuning for the build system? 2013-03-07 17:07 ` SF Markus Elfring @ 2013-03-16 20:07 ` SF Markus Elfring 2013-03-17 12:18 ` Arie Middelkoop 2013-04-26 8:14 ` [Cocci] 1.0.0-rc16: " Richard W.M. Jones 0 siblings, 2 replies; 38+ messages in thread From: SF Markus Elfring @ 2013-03-16 20:07 UTC (permalink / raw) To: cocci > I have got the impression that there are more update candidates to consider > since the macro call "AM_INIT_AUTOMAKE" was added. Are you going to update and complete any components from your build specification and corresponding configuration scripts? Regards, Markus ^ permalink raw reply [flat|nested] 38+ messages in thread
* [Cocci] 1.0.0-rc16: Further fine-tuning for the build system? 2013-03-16 20:07 ` SF Markus Elfring @ 2013-03-17 12:18 ` Arie Middelkoop 2013-03-18 9:50 ` SF Markus Elfring 2013-04-07 10:51 ` [Cocci] 1.0.0-rc17: " SF Markus Elfring 2013-04-26 8:14 ` [Cocci] 1.0.0-rc16: " Richard W.M. Jones 1 sibling, 2 replies; 38+ messages in thread From: Arie Middelkoop @ 2013-03-17 12:18 UTC (permalink / raw) To: cocci Unlikely, unless there is a clear need to do so. 2013/3/16 SF Markus Elfring <elfring@users.sourceforge.net>: >> I have got the impression that there are more update candidates to consider >> since the macro call "AM_INIT_AUTOMAKE" was added. > > Are you going to update and complete any components from your build > specification and corresponding configuration scripts? > > Regards, > Markus ^ permalink raw reply [flat|nested] 38+ messages in thread
* [Cocci] 1.0.0-rc16: Further fine-tuning for the build system? 2013-03-17 12:18 ` Arie Middelkoop @ 2013-03-18 9:50 ` SF Markus Elfring 2013-04-07 10:51 ` [Cocci] 1.0.0-rc17: " SF Markus Elfring 1 sibling, 0 replies; 38+ messages in thread From: SF Markus Elfring @ 2013-03-18 9:50 UTC (permalink / raw) To: cocci > Unlikely, unless there is a clear need to do so. I wonder why you do not see the need for corrections in your current build specification and corresponding configuration scripts so far. https://github.com/coccinelle/coccinelle/blob/abad11c5570b7b9bbae5ff92b3050cf68fe3fd14/configure.ac I recommend adjustments for places like the following. 1. A "working directory" should not be referenced by the macro call 'AC_SUBST([COCCI_SRCDIR], ["$(pwd)"])'. 2. I find it strange that OCaml source files are passed in the macro call 'AC_CONFIG_FILES([...])'. http://www.gnu.org/savannah-checkouts/gnu/autoconf/manual/autoconf-2.69/html_node/Configuration-Files.html 3. How do you think about to rename the extension for the "top level Makefile" to ".mk"? 4. How would you like to fix the following error message? elfring at Sonne:~/Projekte/Coccinelle/Bau> LANG=C make -j6 -f Makefile.config make: *** No targets. Stop. 5. I find that your "Makefile.am" files became inappropriate. - outdated comments - Which subdirectories should be used? http://www.gnu.org/software/automake/manual/html_node/Conditional-Subdirectories.html - Which source files should be assigned to the variable "spatch_SOURCES"? http://www.gnu.org/software/automake/manual/html_node/Program-Sources.html - When will the OCaml compiler and linker be called there? Regards, Markus ^ permalink raw reply [flat|nested] 38+ messages in thread
* [Cocci] 1.0.0-rc17: Further fine-tuning for the build system? 2013-03-17 12:18 ` Arie Middelkoop 2013-03-18 9:50 ` SF Markus Elfring @ 2013-04-07 10:51 ` SF Markus Elfring 2013-04-07 11:05 ` Julia Lawall 1 sibling, 1 reply; 38+ messages in thread From: SF Markus Elfring @ 2013-04-07 10:51 UTC (permalink / raw) To: cocci > Unlikely, unless there is a clear need to do so. How would you like to fix open issues from your build specification and corresponding configuration scripts? Regards, Markus ^ permalink raw reply [flat|nested] 38+ messages in thread
* [Cocci] 1.0.0-rc17: Further fine-tuning for the build system? 2013-04-07 10:51 ` [Cocci] 1.0.0-rc17: " SF Markus Elfring @ 2013-04-07 11:05 ` Julia Lawall 2013-04-07 11:14 ` SF Markus Elfring 0 siblings, 1 reply; 38+ messages in thread From: Julia Lawall @ 2013-04-07 11:05 UTC (permalink / raw) To: cocci On Sun, 7 Apr 2013, SF Markus Elfring wrote: > > Unlikely, unless there is a clear need to do so. > > How would you like to fix open issues from your build specification and > corresponding configuration scripts? Arie does not work for the project any more. I don't think that it is within the goals of Coccinelle as a research project to have a bulletproof build system. If you have a real need for Coccinelle and you have a real system in which it is impossible to build it or use an existing executable, then we can look into that. julia ^ permalink raw reply [flat|nested] 38+ messages in thread
* [Cocci] 1.0.0-rc17: Further fine-tuning for the build system? 2013-04-07 11:05 ` Julia Lawall @ 2013-04-07 11:14 ` SF Markus Elfring 2013-04-07 11:20 ` Julia Lawall 0 siblings, 1 reply; 38+ messages in thread From: SF Markus Elfring @ 2013-04-07 11:14 UTC (permalink / raw) To: cocci > Arie does not work for the project any more. Thanks for this information. Who does maintain the affected build specification and corresponding configuration scripts now? > I don't think that it is within the goals of Coccinelle as a research project > to have a bulletproof build system. I would prefer a system with less mistakes. > If you have a real need for Coccinelle and you have a real system in which > it is impossible to build it or use an existing executable, then we can > look into that. I reported a few open issues for further consideration. Regards, Markus ^ permalink raw reply [flat|nested] 38+ messages in thread
* [Cocci] 1.0.0-rc17: Further fine-tuning for the build system? 2013-04-07 11:14 ` SF Markus Elfring @ 2013-04-07 11:20 ` Julia Lawall 2013-04-07 11:30 ` SF Markus Elfring 0 siblings, 1 reply; 38+ messages in thread From: Julia Lawall @ 2013-04-07 11:20 UTC (permalink / raw) To: cocci On Sun, 7 Apr 2013, SF Markus Elfring wrote: > > Arie does not work for the project any more. > > Thanks for this information. > > Who does maintain the affected build specification and corresponding > configuration scripts now? No one. julia ^ permalink raw reply [flat|nested] 38+ messages in thread
* [Cocci] 1.0.0-rc17: Further fine-tuning for the build system? 2013-04-07 11:20 ` Julia Lawall @ 2013-04-07 11:30 ` SF Markus Elfring 2013-04-07 11:43 ` Julia Lawall 0 siblings, 1 reply; 38+ messages in thread From: SF Markus Elfring @ 2013-04-07 11:30 UTC (permalink / raw) To: cocci >> Who does maintain the affected build specification and corresponding >> configuration scripts now? > > No one. Your answer surprises me. Are you the project leader for this software? Would you like to integrate any update suggestions for this area from me into your source code repository? Regards, Markus ^ permalink raw reply [flat|nested] 38+ messages in thread
* [Cocci] 1.0.0-rc17: Further fine-tuning for the build system? 2013-04-07 11:30 ` SF Markus Elfring @ 2013-04-07 11:43 ` Julia Lawall 2013-04-07 12:07 ` SF Markus Elfring 0 siblings, 1 reply; 38+ messages in thread From: Julia Lawall @ 2013-04-07 11:43 UTC (permalink / raw) To: cocci On Sun, 7 Apr 2013, SF Markus Elfring wrote: > >> Who does maintain the affected build specification and corresponding > >> configuration scripts now? > > > > No one. > > Your answer surprises me. Are you the project leader for this software? Yes, but build systems are very tricky and entirely out of my expertise. As long as the system builds in some way, I don't see the need for supporting every possible exotic combination. Notably, building the software from some directory other than the one in which the software is located seems completely unnecessary, as far as I can see. > Would you like to integrate any update suggestions for this area from me into > your source code repository? Perhaps, but perhaps not. I don't want to make changes that are inessential and that I don't understand. Any thing that one person proposes would have to be reviewed by someone else. julia ^ permalink raw reply [flat|nested] 38+ messages in thread
* [Cocci] 1.0.0-rc17: Further fine-tuning for the build system? 2013-04-07 11:43 ` Julia Lawall @ 2013-04-07 12:07 ` SF Markus Elfring 2013-04-07 12:11 ` Julia Lawall 0 siblings, 1 reply; 38+ messages in thread From: SF Markus Elfring @ 2013-04-07 12:07 UTC (permalink / raw) To: cocci >> Are you the project leader for this software? > > Yes, but build systems are very tricky and entirely out of my expertise. I can eventually help to become used to the usual software development in this application area. > As long as the system builds in some way, I don't see the need for > supporting every possible exotic combination. I hope that mistakes will be fixed in the near future. > Notably, building the software from some directory other than the one > in which the software is located seems completely unnecessary, as far > as I can see. If you want to improve the Autotools setup, you will get this feature easily. The usefulness of "out-of-source builds / parallel build trees" might become obvious if more configuration variants will be considered for the software generation. > I don't want to make changes that are inessential and that I don't understand. Would you like adjust Automake details? How do you think about to start corrections with the selection of corresponding make file names? > Any thing that one person proposes would have to be reviewed by someone else. Would Rene perform such review tasks eventually since he was involved as a Github committer? Regards, Markus ^ permalink raw reply [flat|nested] 38+ messages in thread
* [Cocci] 1.0.0-rc17: Further fine-tuning for the build system? 2013-04-07 12:07 ` SF Markus Elfring @ 2013-04-07 12:11 ` Julia Lawall 2013-04-07 12:13 ` SF Markus Elfring 0 siblings, 1 reply; 38+ messages in thread From: Julia Lawall @ 2013-04-07 12:11 UTC (permalink / raw) To: cocci On Sun, 7 Apr 2013, SF Markus Elfring wrote: > >> Are you the project leader for this software? > > > > Yes, but build systems are very tricky and entirely out of my expertise. > > I can eventually help to become used to the usual software development in this > application area. > > > > As long as the system builds in some way, I don't see the need for > > supporting every possible exotic combination. > > I hope that mistakes will be fixed in the near future. > > > > Notably, building the software from some directory other than the one > > in which the software is located seems completely unnecessary, as far > > as I can see. > > If you want to improve the Autotools setup, you will get this feature easily. > The usefulness of "out-of-source builds / parallel build trees" might become > obvious if more configuration variants will be considered for the software > generation. > > > > I don't want to make changes that are inessential and that I don't understand. > > Would you like adjust Automake details? > > How do you think about to start corrections with the selection of corresponding > make file names? > > > > Any thing that one person proposes would have to be reviewed by someone else. > > Would Rene perform such review tasks eventually since he was involved as a > Github committer? I don't think so. The required expertises are quite different. julia ^ permalink raw reply [flat|nested] 38+ messages in thread
* [Cocci] 1.0.0-rc17: Further fine-tuning for the build system? 2013-04-07 12:11 ` Julia Lawall @ 2013-04-07 12:13 ` SF Markus Elfring 0 siblings, 0 replies; 38+ messages in thread From: SF Markus Elfring @ 2013-04-07 12:13 UTC (permalink / raw) To: cocci >>> I don't want to make changes that are inessential and that I don't understand. >> >> Would you like adjust Automake details? Which update candidate would you like to improve next here? Regards, Markus ^ permalink raw reply [flat|nested] 38+ messages in thread
* [Cocci] 1.0.0-rc16: Further fine-tuning for the build system? 2013-03-16 20:07 ` SF Markus Elfring 2013-03-17 12:18 ` Arie Middelkoop @ 2013-04-26 8:14 ` Richard W.M. Jones 2013-04-26 9:10 ` SF Markus Elfring 1 sibling, 1 reply; 38+ messages in thread From: Richard W.M. Jones @ 2013-04-26 8:14 UTC (permalink / raw) To: cocci On Sat, Mar 16, 2013 at 09:07:20PM +0100, SF Markus Elfring wrote: > > I have got the impression that there are more update candidates to consider > > since the macro call "AM_INIT_AUTOMAKE" was added. > > Are you going to update and complete any components from your build > specification and corresponding configuration scripts? [Since you asked me in private email to contribute to this discussion ...] I think you're being unreasonable asking the Coccinelle developers to fix things, and hardly specifying what the problem is (from what I can gather it's something to do with separated builds not working?). In any case, supply patches, with clear explanations behind each one. So far I see one patch, probably incomplete, and no clear explanation for it. http://people.redhat.com/rjones/how-to-supply-code-to-open-source-projects/ Rich. -- Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones virt-top is 'top' for virtual machines. Tiny program with many powerful monitoring features, net stats, disk stats, logging, etc. http://people.redhat.com/~rjones/virt-top ^ permalink raw reply [flat|nested] 38+ messages in thread
* [Cocci] 1.0.0-rc16: Further fine-tuning for the build system? 2013-04-26 8:14 ` [Cocci] 1.0.0-rc16: " Richard W.M. Jones @ 2013-04-26 9:10 ` SF Markus Elfring 2013-04-26 9:16 ` Richard W.M. Jones 0 siblings, 1 reply; 38+ messages in thread From: SF Markus Elfring @ 2013-04-26 9:10 UTC (permalink / raw) To: cocci > [Since you asked me in private email to contribute to this discussion ...] I am trying to find more software developers and packagers who know the Autotools good enough. I hope that corresponding updates can be reviewed in a constructive way then. > I think you're being unreasonable asking the Coccinelle developers to > fix things, and hardly specifying what the problem is (from what I can > gather it's something to do with separated builds not working?). Are you used to conditions which should be considered for the topic "out-of-source builds / parallel build trees"? I pointed out some open issues to make the build configuration consistent again. https://systeme.lip6.fr/pipermail/cocci/2013-March/000220.html http://article.gmane.org/gmane.comp.version-control.coccinelle/3054 > In any case, supply patches, with clear explanations behind each one. I got responses from Julia that she is not in the mood for the integration of fixes for the current build setup so far. Regards, Markus ^ permalink raw reply [flat|nested] 38+ messages in thread
* [Cocci] 1.0.0-rc16: Further fine-tuning for the build system? 2013-04-26 9:10 ` SF Markus Elfring @ 2013-04-26 9:16 ` Richard W.M. Jones 2013-04-26 9:36 ` SF Markus Elfring 0 siblings, 1 reply; 38+ messages in thread From: Richard W.M. Jones @ 2013-04-26 9:16 UTC (permalink / raw) To: cocci On Fri, Apr 26, 2013 at 11:10:45AM +0200, SF Markus Elfring wrote: > I got responses from Julia that she is not in the mood for the > integration of fixes for the current build setup so far. >From what I can tell, there aren't any fixes (ie. proper patches fully explained) for her to consider yet. Rich. -- Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones Read my programming blog: http://rwmj.wordpress.com Fedora now supports 80 OCaml packages (the OPEN alternative to F#) ^ permalink raw reply [flat|nested] 38+ messages in thread
* [Cocci] 1.0.0-rc16: Further fine-tuning for the build system? 2013-04-26 9:16 ` Richard W.M. Jones @ 2013-04-26 9:36 ` SF Markus Elfring 2013-04-26 9:52 ` Richard W.M. Jones 0 siblings, 1 reply; 38+ messages in thread From: SF Markus Elfring @ 2013-04-26 9:36 UTC (permalink / raw) To: cocci > From what I can tell, there aren't any fixes (ie. proper patches fully > explained) for her to consider yet. I will not provide long explanations and concrete patches if I get clear responses from the project leader that she does not want to decide on them so far. When will any pull request become acceptable from an other Git repository? Regards, Markus ^ permalink raw reply [flat|nested] 38+ messages in thread
* [Cocci] 1.0.0-rc16: Further fine-tuning for the build system? 2013-04-26 9:36 ` SF Markus Elfring @ 2013-04-26 9:52 ` Richard W.M. Jones 2013-04-26 10:15 ` SF Markus Elfring 2013-04-29 9:52 ` [Cocci] 1.0.0-rc17: " SF Markus Elfring 0 siblings, 2 replies; 38+ messages in thread From: Richard W.M. Jones @ 2013-04-26 9:52 UTC (permalink / raw) To: cocci On Fri, Apr 26, 2013 at 11:36:19AM +0200, SF Markus Elfring wrote: > > >From what I can tell, there aren't any fixes (ie. proper patches > >fully explained) for her to consider yet. > > I will not provide long explanations and concrete patches if I get > clear responses from the project leader that she does not want to > decide on them so far. If you'd read what I linked to: http://people.redhat.com/rjones/how-to-supply-code-to-open-source-projects/ then you'd see how to proceed. It's NOT by badgering Coccinelle upstream and trying to get other people to argue your case for you. Rich. -- Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones virt-p2v converts physical machines to virtual machines. Boot with a live CD or over the network (PXE) and turn machines into KVM guests. http://libguestfs.org/virt-v2v ^ permalink raw reply [flat|nested] 38+ messages in thread
* [Cocci] 1.0.0-rc16: Further fine-tuning for the build system? 2013-04-26 9:52 ` Richard W.M. Jones @ 2013-04-26 10:15 ` SF Markus Elfring 2013-04-26 10:25 ` Julia Lawall 2013-04-26 11:03 ` Peter Senna Tschudin 2013-04-29 9:52 ` [Cocci] 1.0.0-rc17: " SF Markus Elfring 1 sibling, 2 replies; 38+ messages in thread From: SF Markus Elfring @ 2013-04-26 10:15 UTC (permalink / raw) To: cocci > It's NOT by badgering Coccinelle upstream If Julia will show more willingness to handle patches for the build system, I am going also to invest more efforts into concrete fixes. > and trying to get other people to argue your case for you. I do not want that, too. But other software developers might have got a higher reputation so that their update suggestions or source code review advices get easier accepted than change requests from me. Regards, Markus ^ permalink raw reply [flat|nested] 38+ messages in thread
* [Cocci] 1.0.0-rc16: Further fine-tuning for the build system? 2013-04-26 10:15 ` SF Markus Elfring @ 2013-04-26 10:25 ` Julia Lawall 2013-04-26 11:03 ` Peter Senna Tschudin 1 sibling, 0 replies; 38+ messages in thread From: Julia Lawall @ 2013-04-26 10:25 UTC (permalink / raw) To: cocci On Fri, 26 Apr 2013, SF Markus Elfring wrote: > > > It's NOT by badgering Coccinelle upstream > > If Julia will show more willingness to handle patches for the build system, I > am going also to invest more efforts into concrete fixes. > > > > and trying to get other people to argue your case for you. > > I do not want that, too. But other software developers might have got a higher > reputation so that their update suggestions or source code review advices get > easier accepted than change requests from me. My point of view regarding the build system is that, on the one hand, at the moment, I don't have any local resources with expertise in build systems and on the other hand the build setup is extremely critical. So I am not currently willing to make changes without an actual need from a user. An actual need would be a case where it is impossible to build Coccinelle in any way on a given machine. It is not a case where eg out of tree builds don't work or parallel builds don't work. In those cases, one can easily avoid the problem by building in another way. If several people want to work on and validate any solution that adds some such inessential functionality, then I might consider integrating the change. But I don't have the expertise to evaluate such patches myself, so I won't integrate such patches if they have only been tested by the submitter. This doesn't apply to ML patches. I have received several patches adding support for various strange C extensions, and I have no problem with integrating them. The risk is lower and the potential benefit is higher. julia ^ permalink raw reply [flat|nested] 38+ messages in thread
* [Cocci] 1.0.0-rc16: Further fine-tuning for the build system? 2013-04-26 10:15 ` SF Markus Elfring 2013-04-26 10:25 ` Julia Lawall @ 2013-04-26 11:03 ` Peter Senna Tschudin 2013-04-26 11:28 ` SF Markus Elfring 1 sibling, 1 reply; 38+ messages in thread From: Peter Senna Tschudin @ 2013-04-26 11:03 UTC (permalink / raw) To: cocci Hello Markus, I'm following this topic since your first message. I'm sure it is not your intention, but to me, your tone is not friendly. You are adding little and complaining a lot. I can see your frustration, but I have the impression that you do not care about how people feel about your E-mails. The problem is that when you want something and you are not friendly, people will not want to help you. By the tone in your E-mails, I do not want to help you. The people involved, including Julia, are busy, and they know exactly what the project goals are. So if something is going wrong with your patches / requests, your first reaction should be always to understand why it is going wrong. Your current approach will not get you very far and you will not be happy with the results. Coccinelle is a great project, and I can ensure you that all patches that add to Coccinelle will be seriously considered to be applied. This means that Julia and other people will consider the pros and cons of the patch and decide if it worth or not to apply it. Nothing new on this way of applying patches... As a general advice for sending patches and asking features on Open Source projects, I recommend that you consider changing your approach. First understand why it went wrong, then adjust your needs to fit with the project goals. If you do like this, you may find more people wanting to help you. []'s Peter On Fri, Apr 26, 2013 at 12:15 PM, SF Markus Elfring <elfring@users.sourceforge.net> wrote: > >> It's NOT by badgering Coccinelle upstream > > > If Julia will show more willingness to handle patches for the build system, > I am going also to invest more efforts into concrete fixes. > > > >> and trying to get other people to argue your case for you. > > > I do not want that, too. But other software developers might have got a > higher reputation so that their update suggestions or source code review > advices get easier accepted than change requests from me. > > Regards, > Markus > > _______________________________________________ > Cocci mailing list > Cocci at systeme.lip6.fr > https://systeme.lip6.fr/mailman/listinfo/cocci -- Peter ^ permalink raw reply [flat|nested] 38+ messages in thread
* [Cocci] 1.0.0-rc16: Further fine-tuning for the build system? 2013-04-26 11:03 ` Peter Senna Tschudin @ 2013-04-26 11:28 ` SF Markus Elfring 0 siblings, 0 replies; 38+ messages in thread From: SF Markus Elfring @ 2013-04-26 11:28 UTC (permalink / raw) To: cocci > By the tone in your E-mails, I do not want to help you. That is a pity. But I thank you very much for this feedback. > As a general advice for sending patches and asking features on Open > Source projects, I recommend that you consider changing your approach. > First understand why it went wrong, then adjust your needs to fit with > the project goals. It seems that it is hard to find more software developers and reviewers who dare to fiddle with the build setup here. Regards, Markus ^ permalink raw reply [flat|nested] 38+ messages in thread
* [Cocci] 1.0.0-rc17: Further fine-tuning for the build system? 2013-04-26 9:52 ` Richard W.M. Jones 2013-04-26 10:15 ` SF Markus Elfring @ 2013-04-29 9:52 ` SF Markus Elfring 1 sibling, 0 replies; 38+ messages in thread From: SF Markus Elfring @ 2013-04-29 9:52 UTC (permalink / raw) To: cocci > It's NOT by badgering Coccinelle upstream and trying to get > other people to argue your case for you. Which build system do you use for this software in Fedora? http://pkgs.fedoraproject.org/cgit/coccinelle.git/ Regards, Markus ^ permalink raw reply [flat|nested] 38+ messages in thread
end of thread, other threads:[~2013-04-29 9:52 UTC | newest] Thread overview: 38+ messages (download: mbox.gz follow: Atom feed -- links below jump to the message on this page -- 2013-03-02 21:02 [Cocci] 1.0.0-rc16: Further fine-tuning for the build system? SF Markus Elfring 2013-03-02 21:18 ` Julia Lawall 2013-03-04 11:35 ` SF Markus Elfring 2013-03-04 12:36 ` Julia Lawall 2013-03-04 12:37 ` Julia Lawall 2013-03-04 12:43 ` SF Markus Elfring 2013-03-04 12:48 ` Julia Lawall 2013-03-04 13:14 ` SF Markus Elfring 2013-03-04 13:54 ` SF Markus Elfring 2013-03-04 15:40 ` SF Markus Elfring 2013-03-04 15:47 ` Julia Lawall 2013-03-04 16:05 ` SF Markus Elfring 2013-03-05 8:36 ` Arie Middelkoop 2013-03-07 15:54 ` SF Markus Elfring 2013-03-07 16:27 ` Arie Middelkoop 2013-03-07 17:07 ` SF Markus Elfring 2013-03-16 20:07 ` SF Markus Elfring 2013-03-17 12:18 ` Arie Middelkoop 2013-03-18 9:50 ` SF Markus Elfring 2013-04-07 10:51 ` [Cocci] 1.0.0-rc17: " SF Markus Elfring 2013-04-07 11:05 ` Julia Lawall 2013-04-07 11:14 ` SF Markus Elfring 2013-04-07 11:20 ` Julia Lawall 2013-04-07 11:30 ` SF Markus Elfring 2013-04-07 11:43 ` Julia Lawall 2013-04-07 12:07 ` SF Markus Elfring 2013-04-07 12:11 ` Julia Lawall 2013-04-07 12:13 ` SF Markus Elfring 2013-04-26 8:14 ` [Cocci] 1.0.0-rc16: " Richard W.M. Jones 2013-04-26 9:10 ` SF Markus Elfring 2013-04-26 9:16 ` Richard W.M. Jones 2013-04-26 9:36 ` SF Markus Elfring 2013-04-26 9:52 ` Richard W.M. Jones 2013-04-26 10:15 ` SF Markus Elfring 2013-04-26 10:25 ` Julia Lawall 2013-04-26 11:03 ` Peter Senna Tschudin 2013-04-26 11:28 ` SF Markus Elfring 2013-04-29 9:52 ` [Cocci] 1.0.0-rc17: " SF Markus Elfring
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox