Norbert Koch <nk(a)viteno.net> writes:
Okay, I look into it.
Argl, user error, me bad. The problem is, that I must do a make clean
before a build. If I don't perform this step, the dependency rule
${archlibdir}: all
in lib-src/Makefile doesn't apply. Thus, the target isn't built, ie the
file don't get installed.
So, a configure run that only changes the installation directory
through a different prefix doesn't trigger the rebuild of the tools
and they don't get installed. Easy enough.
Lesson learned, sorry for the noise,
norbert.