[RPL/2] compile error

[BERTRAND Joel]

DEMAINE Benoit-Pierre a écrit :
> In short ... i was using make install-strip. That caused a bug. When
> using make install and disabling all altervative way to strip (Gentoo
> tries to do it at two places) ... i get 4.0.14 working.
>
> So, either disable "make install-strip", or change your build/install
> process to make it homogenous/consistant :) Because, MD5 check bugs anyway.

	I have tried to find a workaround without any success. As RPL/2 must 
export symbols to shared RPL/C objects, you have to disable stripping. 
If RPL/2 is built and installed with install-strip, you cannot use RPL/C 
that uses RPL/2 exported symbols. When you try to load a RPL/C library, 
USE intrinsic shall return an error.

	I have add a workaround in main makefile to change install-strip to 
install, but I'm not sure that it will fix your bug.

	Regards,

	JKB