Markus Elfring wrote:
Will any fine-tuning be needed in the configuration script? http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=blob;f=configure.ac;h=...
Not that I know.
I suggest to consider some updates for your configuration script. - How do you think about to move any auxiliary files into a subdirectory?
Which file would you move and why?
- Would you like to complete any quoting for macro parameters?
What would we gain from this extra quoting? For example, what is the advantage of AC_MSG_RESULT([quick]) over AC_MSG_RESULT(quick) ? Your patch seems also to suggest that `dnl' is a better comment delimiter than `#'. Is this the case? Thanks, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it