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 -mike
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
participants (2)
-
Mike Frysinger -
Roberto Bagnara