
30 Nov
2008
30 Nov
'08
8:49 a.m.
Mike Frysinger wrote:
the configure.ac has this line: # Installation directories. AC_SUBST([docdir], ['${datadir}/doc/ppl'])
this is pointless as autoconf itself already sets up docdir and exports it with this default value. plus, this setting breaks customization with the configure --docdir option.
the fix is easy: just delete those two lines from configure.ac
Thanks Mike. This will be fixed in PPL 0.10.1. All the best,
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