Hello All, The release candidate 3 of the MELT plugin version 0.8 for GCC 4.6 is available as a gzipped source tar archive, from http://gcc-melt.org/melt-0.8rc3-plugin-for-gcc-4.6.tgz of size 3356872 bytes, of md5sum 7fb95a2469948ee9ffeb10cb523ab134 (july 10th 2011). It is extracted from MELT branch svn revision 176124
####################################################################### NEWS for 0.8rc3 MELT plugin for gcc-4.6 July 10th, 2011: Release candidate 3 of MELT plugin 0.8 for GCC 4.6 as melt-0.8rc3-plugin-for-gcc-4.6 See http://gcc-melt.org/ New features (w.r.t. MELT plugin 0.7): * 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. * use the MELT_STAGE_ZERO=melt-stage0-static workaround (bug not yet really fixed for plugins on x86 i686, ie 32 bits machines; but this workaround is a temporary fix.) Many bugfixes (but some bugs remain) ####################################################################### I did not really fix the bug reported by Allan McRae on 32 bits x86 but I did incorporate a workaround. The plugin is building on 32 bits x86 Linux/Debian/Sid Comments are welcome. Cheers. -- 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} ***
