On Sun, 15 Jul 2018, Basile Starynkevitch wrote: >> Basile, should we generally remove this reference to GCC MELT? > Yes. I am no more working on MELT, but I did begin to work on its successor:
Sorry for the delay - I finally applied the patch below. If/when you want that successor to be listed on our extensions page, please advise (ideally submitting a patch, or even going ahead an applying it and just posting the patch). Thanks, Gerald Index: extensions.html =================================================================== RCS file: /cvs/gcc/wwwdocs/htdocs/extensions.html,v retrieving revision 1.63 diff -u -r1.63 extensions.html --- extensions.html 11 May 2019 06:31:15 -0000 1.63 +++ extensions.html 15 Jun 2019 19:43:37 -0000 @@ -22,20 +22,6 @@ analysis, debugging, and performance tuning in concurrent code.</p> -<h2>GCC MELT</h2> - -<p>MELT is a high-level <em>domain specific language</em> to ease the - development of GCC extensions. It is available as a GCC experimental - branch on <code>svn://gcc.gnu.org/svn/gcc/branches/melt-branch</code>, - and also as a GCC [meta-] <em>plugin</em> (GPLv3 licensed, FSF - copyrighted).</p> - -<p>The MELT language is translated to C, and provides powerful - features (pattern-matching, functional, object, reflective - programming styles, ability to mix C and MELT code, Lisp look,...) - to ease development of GCC plugin-like extensions.</p> - - <h2><a href="https://peter.colberg.org/gcc-lua">Lua plugin for GCC</a></h2> <p>gcc‑lua extends GCC with the ability to run Lua scripts. The plugin