announce: MELT plugin 0.8 for GCC 4.6

announce: MELT plugin 0.8 for GCC 4.6

[Basile Starynkevitch]

Hello All

It is my pleasure to announce the MELT plugin version 0.8 for GCC 4.6
(the Gnu Compiler Collection)

MELT is a domain specific language (and a plugin implementing it) for GCC extensions.
The MELT language provides several high-level features (pattern-matching,
functional/object/reflective programming, ease of interface to GCC internals) and is
translated to C.

MELT is a free software (GPLv3 licensed, FSF copyrighted).
#######################################################################
NEWS for 0.8 MELT plugin for gcc-4.6

July 11th, 2011: Release of MELT plugin 0.8 for GCC 4.6
as melt-0.8-plugin-for-gcc-4.6 on http://gcc-melt.org/


New features:
 * support for pragmas for MELT

 * the MELT garbage collector is called less often, using the
   PLUGIN_GGC_START hook.

 * several new c-iterators and c-matchers.

 * added static analyzing pass gccframe, useful for melt-runtime.c

 * reject nested defun-s, you should use letrec or let...

 * the MELT plugin is built with its MELT-Plugin-Makefile

 * debug_msg, assert_msg ... should work, thanks to MELT_HAVE_DEBUG
   preprocessor flag, even when melt.so is a plugin for a GCC without
   checks enabled.

 * melt-runtime.h has a melt_gcc_version integer variable and
   melt-runtime.c should be given MELT_GCC_VERSION preprocessor
   constant.

 * runfile mode compiles quickly (with debug_msg support). Add new mode
   translatequickly to compile quickly (with debug_msg & assert_msg
   support).
 * the MELT building procedure builds various variants of MELT modules,

   The 'optimized' variant is built with -O2 but don't support
   (debug_msg ...)  or (assert_msg ...). The 'quicklybuilt' variant is
   built with -O0 and supports debug_msg & assert_msg.  The
   'debugnoline' variant is mostly useful with gdb, and also supports
   debug_msg & assert_msg. These variants should be interoperable, you
   could have a warmelt* module with 'optimized' variant and an
   xtramelt* module in 'quicklybuilt' bariant.

Many bugfixes
  (but some bugs remain)

Thanks to Pierre Vittet for code contributions (notably thru Google
Summer of Code), Alexandre Lissy and Allan McRae for bug reports.

(MELT development is partly funded thru OpenGPU [FUI call] & GlobalGCC
[ITEA call] projects by French DGCIS).
###################

The bugs reported in the various previous release candidates for MELT 0.8 plugin should
have been fixed.

-- 
Basile STARYNKEVITCH         http://starynkevitch.net/Basile/
email: basile<at>starynkevitch<dot>net mobile: +33 6 8501 2359
8, rue de la Faiencerie, 92340 Bourg La Reine, France
*** opinions {are only mine, sont seulement les miennes} ***

Re: announce: MELT plugin 0.8 for GCC 4.6

[piervit]

[-- Attachment #1: Type: text/plain, Size: 2815 bytes --]

Hello,

I have been able to compile and install successfully (32 bits).
I have modified the README to add that there is several libs to install
(ppl, cloog, mpfr...).

Pierre Vittet

On Mon, 11 Jul 2011 14:15:33 +0200, Basile Starynkevitch
<basile@starynkevitch.net> wrote:
> Hello All
> 
> It is my pleasure to announce the MELT plugin version 0.8 for GCC 4.6
> (the Gnu Compiler Collection)
> 
> MELT is a domain specific language (and a plugin implementing it) for
> GCC extensions.
> The MELT language provides several high-level features (pattern-matching,
> functional/object/reflective programming, ease of interface to GCC
> internals) and is
> translated to C.
> 
> MELT is a free software (GPLv3 licensed, FSF copyrighted).
> #######################################################################
> NEWS for 0.8 MELT plugin for gcc-4.6
> 
> July 11th, 2011: Release of MELT plugin 0.8 for GCC 4.6
> as melt-0.8-plugin-for-gcc-4.6 on http://gcc-melt.org/
> 
> 
> New features:
>  * support for pragmas for MELT
> 
>  * the MELT garbage collector is called less often, using the
>    PLUGIN_GGC_START hook.
> 
>  * several new c-iterators and c-matchers.
> 
>  * added static analyzing pass gccframe, useful for melt-runtime.c
> 
>  * reject nested defun-s, you should use letrec or let...
> 
>  * the MELT plugin is built with its MELT-Plugin-Makefile
> 
>  * debug_msg, assert_msg ... should work, thanks to MELT_HAVE_DEBUG
>    preprocessor flag, even when melt.so is a plugin for a GCC without
>    checks enabled.
> 
>  * melt-runtime.h has a melt_gcc_version integer variable and
>    melt-runtime.c should be given MELT_GCC_VERSION preprocessor
>    constant.
> 
>  * runfile mode compiles quickly (with debug_msg support). Add new mode
>    translatequickly to compile quickly (with debug_msg & assert_msg
>    support).
>  * the MELT building procedure builds various variants of MELT modules,
> 
>    The 'optimized' variant is built with -O2 but don't support
>    (debug_msg ...)  or (assert_msg ...). The 'quicklybuilt' variant is
>    built with -O0 and supports debug_msg & assert_msg.  The
>    'debugnoline' variant is mostly useful with gdb, and also supports
>    debug_msg & assert_msg. These variants should be interoperable, you
>    could have a warmelt* module with 'optimized' variant and an
>    xtramelt* module in 'quicklybuilt' bariant.
> 
> Many bugfixes
>   (but some bugs remain)
> 
> Thanks to Pierre Vittet for code contributions (notably thru Google
> Summer of Code), Alexandre Lissy and Allan McRae for bug reports.
> 
> (MELT development is partly funded thru OpenGPU [FUI call] & GlobalGCC
> [ITEA call] projects by French DGCIS).
> ###################
> 
> The bugs reported in the various previous release candidates for MELT
> 0.8 plugin should
> have been fixed.

[-- Attachment #2: UPDATE_DEPENDANCY_README.diff --]
[-- Type: text/plain, Size: 716 bytes --]

*** README-MELT-PLUGIN	2011-07-11 14:07:48.000000000 +0200
--- README-MELT-PLUGIN_MODIF	2011-07-11 18:09:07.000000000 +0200
*************** file is indeed the one related to your g
*** 80,85 ****
--- 80,94 ----
  
  ################ step 3
  
+ You need to install the following additionnal library to compile MELT (in dev version) :
+     - libgmp (>=4.3.2)
+     - libmpfr (>=2.4.2)
+     - libmpc (>=0.8.1)
+     - libppl (>=0.11)
+     - libcloog-ppl (0.15) or libcloog (>=0.16)
+ 
+ ################ step 4
+ 
  Your plugin MELT directory should contain a Makefile which is a
  symlink to a MELT-Plugin-Makefile file. Please look into that file.
  (Most of the work is done in melt-build.mk, included from it).