On 07/14/2018 10:17 PM, Gerald Pfeifer wrote:
I noticed that http://gcc-melt.org now redirects to
http://www.gcc-melt.org which looks like a default,
and empty, Wordpress installation.
I went ahead and applied the patch below.
Basile, should we generally remove this reference to GCC MELT?
Gerald
Index: extensions.html
===================================================================
RCS file: /cvs/gcc/wwwdocs/htdocs/extensions.html,v
retrieving revision 1.59
diff -u -r1.59 extensions.html
--- extensions.html 2 Jun 2018 21:16:09 -0000 1.59
+++ extensions.html 14 Jul 2018 20:14:45 -0000
@@ -21,7 +21,7 @@
analysis, debugging, and performance tuning in concurrent code.</p>
-<h2><a href="http://gcc-melt.org";>GCC MELT</a></h2>
+<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
Yes. I am no more working on MELT, but I did begin to work on its successor:
https://github.com/bstarynk/bismon
Cheers
--
Basile STARYNKEVITCH == http://starynkevitch.net/Basile
opinions are mine only - les opinions sont seulement miennes
Bourg La Reine, France
