The following patch on the build script add an explicit error if we try
to build the plugin while we have already another version of the plugin
installed.
Thanks !
Pierre Vittet
On Wed, 6 Jul 2011 15:50:39 +0200, Basile Starynkevitch
<[email protected]> wrote:
> On Wed, Jul 06, 2011 at 02:39:58PM +0200, [email protected] wrote:
>> Hello, I got warnings and errors while trying to compile this rc.
>
> I talked with Pierre, and we are suspecting that old files remaining from
> his 0.7 MELT plugin installation might cause the issue.
>
> Regards.
*** build-melt-plugin.sh 2011-07-06 12:51:07.000000000 +0200
--- build-melt-plugin_check_MELT_installed.sh 2011-07-06 16:08:25.186986287
+0200
*************** sanity_checks_gcc_info() {
*** 215,220 ****
--- 215,225 ----
if [ -z "$gcc_plugin_directory" -o ! -s
"$gcc_plugin_directory/include/gcc-plugin.h" ] ; then
error_echo The GCC compiler $GCC has a bad plugin directory
$gcc_plugin_directory
fi
+ ### If MELT is already installed, there is a conflic between generated
MELT files
+ ### We want the user to remove his previous installation of MELT before
installing the new one
+ if [ -s "$gcc_plugin_directory/melt.so" ] ; then
+ error_echo "There is already a MELT plugin installed for $GCC, you
should uninstall first it!"
+ fi
verbose_echo Generating a timestamp file $timestamp_file in $(pwd)
rm -f $timestamp_file
if date +"build-melt-plugin start %c%n" > $timestamp_file; then
