Announce: MELT plugin 0.8rc1 for GCC 4.6

[piervit@pvittet.com]

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
<basile@starynkevitch.net> wrote:
> On Wed, Jul 06, 2011 at 02:39:58PM +0200, piervit@pvittet.com 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.
-------------- next part --------------
*** 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