Hi Bruno.

On 04/22/2012 07:48 PM, Bruno Haible wrote:
> Hi Stefano,
> 
>>> The test looks for a lib/ directory, but "make install" created a lib64/
>>> directory. This is due to the /usr/share/site/x86_64-unknown-linux-gnu
>>> (from $CONFIG_SITE, set by /etc/profile.d/site.sh) which sets a libdir
>>> that ends in /lib64 rather than /lib if it finds that the compiler is
>>> generating 64-bit code.
>>>
>> Could you post the contents of the files '/etc/profile.d/site.sh' and
>> (most importantly) '/usr/share/site/x86_64-unknown-linux-gnu'?
> 
> Sure:
>
> [SNIP]
>
> You can see:
>   1. To avoid the libdir variable to be clobbered by this script, it is
>      sufficient to pass a --libdir option.
>   2. It is not possible to avoid the libexecdir variable modification.
>      You can either live with it, or clobber it afterwards.
> 
After all, I went for a different and more reliable fix, i.e., using $(libdir)
instead of $(prefix)/lib, and similarly for the other $(foodir) variables.

So, does the attached patch fix the problem for you?

Thanks,
  Stefano