3 May
2009
3 May
'09
9:32 p.m.
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? - Would you like to complete any quoting for macro parameters?
Regards, Markus