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 <bas...@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.
*** 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).
