2014-01-23 Basile Starynkevitch <basile@starynkevitch.net>

	* melt/warmelt-first.melt: Add module_is_gpl_compatible.
	* melt/warmelt-genobj.melt: Add module_is_gpl_compatible.
	* melt/warmelt-macro.melt: Add module_is_gpl_compatible.
	* melt/warmelt-modes.melt: Add module_is_gpl_compatible.
	* melt/warmelt-moremacro.melt: Add module_is_gpl_compatible.
	* melt/warmelt-normal.melt: Add module_is_gpl_compatible.
	* melt/warmelt-normatch.melt: Add module_is_gpl_compatible.
	* melt/warmelt-outobj.melt: Add module_is_gpl_compatible.
	* melt/xtramelt-ana-base.melt: Add module_is_gpl_compatible.
	* melt/xtramelt-ana-gimple.melt: Add module_is_gpl_compatible.
	* melt/xtramelt-ana-simple.melt: Add module_is_gpl_compatible.
	* melt/xtramelt-ana-tree.melt: Add module_is_gpl_compatible.
	* melt/xtramelt-playground.melt: Add module_is_gpl_compatible.
	* melt/xtramelt-probe.melt: Add module_is_gpl_compatible.



git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/melt-branch@206974 138bc75d-0d04-0410-961f-82ee72b054a4

14 files changed, 60 insertions, 13 deletions

diff --git a/gcc/melt/warmelt-first.melt b/gcc/melt/warmelt-first.melt
index b00c51c157b..cb80b251d89 100644
--- a/gcc/melt/warmelt-first.melt
+++ b/gcc/melt/warmelt-first.melt
@@ -25,6 +25,10 @@
 ;; the copyright notice above apply both to warmelt-first.melt and 
 ;; to the generated files  warmelt-first*.c
 
+
+;; This MELT module is GPL compatible since it is GPLv3+ licensed.
+(module_is_gpl_compatible "GPLv3+")
+
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 
 
diff --git a/gcc/melt/warmelt-genobj.melt b/gcc/melt/warmelt-genobj.melt
index 749ada7dae1..cd267a80a1c 100644
--- a/gcc/melt/warmelt-genobj.melt
+++ b/gcc/melt/warmelt-genobj.melt
@@ -1,7 +1,7 @@
  ;; File warmelt-genobj.melt -*- Lisp -*-
  ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  (comment "***
-     Copyright 2008 - 2013 Free Software Foundation, Inc.
+     Copyright 2008 - 2014  Free Software Foundation, Inc.
      Contributed by Basile Starynkevitch <basile@starynkevitch.net>
 
      This file is part of GCC.
@@ -24,6 +24,10 @@
  ;; the copyright notice above apply both to warmelt-genobj.melt and 
  ;; to the generated file  warmelt-genobj*.c
 
+
+;; This MELT module is GPL compatible since it is GPLv3+ licensed.
+(module_is_gpl_compatible "GPLv3+")
+
  ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 
  ;;    This file is part of a bootstrapping compiler for the MELT lisp
diff --git a/gcc/melt/warmelt-macro.melt b/gcc/melt/warmelt-macro.melt
index 91e1c67183d..ee8672031a2 100644
--- a/gcc/melt/warmelt-macro.melt
+++ b/gcc/melt/warmelt-macro.melt
@@ -23,6 +23,12 @@
 
 ;; the copyright notice above apply both to warmelt-macro.melt and 
 ;; to the generated files warmelt-macro*.c
+
+
+
+;; This MELT module is GPL compatible since it is GPLv3+ licensed.
+(module_is_gpl_compatible "GPLv3+")
+
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 
 ;;    This file is part of a bootstrapping compiler for the MELT lisp
diff --git a/gcc/melt/warmelt-modes.melt b/gcc/melt/warmelt-modes.melt
index b8023b3fb9d..614669833ee 100644
--- a/gcc/melt/warmelt-modes.melt
+++ b/gcc/melt/warmelt-modes.melt
@@ -23,6 +23,11 @@
 
 ;; the copyright notice above apply both to warmelt-modes.melt and 
 ;; to the generated files  warmelt-modes*.cc
+
+
+;; This MELT module is GPL compatible since it is GPLv3+ licensed.
+(module_is_gpl_compatible "GPLv3+")
+
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 
 ;;    This file is part of a bootstrapping compiler for the MELT lisp
diff --git a/gcc/melt/warmelt-moremacro.melt b/gcc/melt/warmelt-moremacro.melt
index 1a7814c014b..348269a75bd 100644
--- a/gcc/melt/warmelt-moremacro.melt
+++ b/gcc/melt/warmelt-moremacro.melt
@@ -23,6 +23,11 @@
 
 ;; the copyright notice above apply both to warmelt-moremacro.melt and 
 ;; to the generated files warmelt-moremacro*.c
+
+
+;; This MELT module is GPL compatible since it is GPLv3+ licensed.
+(module_is_gpl_compatible "GPLv3+")
+
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 
 ;;    This file is part of a bootstrapping compiler for the MELT lisp
diff --git a/gcc/melt/warmelt-normal.melt b/gcc/melt/warmelt-normal.melt
index 98af017a274..2c41995f8e8 100644
--- a/gcc/melt/warmelt-normal.melt
+++ b/gcc/melt/warmelt-normal.melt
@@ -23,6 +23,11 @@
 
 ;; the copyright notice above apply both to warmelt-normal.melt and 
 ;; to the generated file  warmelt-normal*.c
+
+
+;; This MELT module is GPL compatible since it is GPLv3+ licensed.
+(module_is_gpl_compatible "GPLv3+")
+
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 
 ;;    This file is part of a bootstrapping compiler for the MELT lisp
diff --git a/gcc/melt/warmelt-normatch.melt b/gcc/melt/warmelt-normatch.melt
index 4d9a6e20251..d247792ceb8 100644
--- a/gcc/melt/warmelt-normatch.melt
+++ b/gcc/melt/warmelt-normatch.melt
@@ -23,6 +23,12 @@
 
 ;; the copyright notice above apply both to warmelt-normatch.melt and 
 ;; to the generated file  warmelt-normatch*.c
+
+
+;; This MELT module is GPL compatible since it is GPLv3+ licensed.
+(module_is_gpl_compatible "GPLv3+")
+
+
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 
 ;;    This file is part of a bootstrapping compiler for the MELT lisp
diff --git a/gcc/melt/warmelt-outobj.melt b/gcc/melt/warmelt-outobj.melt
index f7ff4b9a3d4..36684ea53ca 100644
--- a/gcc/melt/warmelt-outobj.melt
+++ b/gcc/melt/warmelt-outobj.melt
@@ -23,6 +23,10 @@
 
 ;; the copyright notice above apply both to warmelt-outobj.melt and 
 ;; to the generated file  warmelt-outobj*.c
+
+;; This MELT module is GPL compatible since it is GPLv3+ licensed.
+(module_is_gpl_compatible "GPLv3+")
+
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 
 ;;    This file is part of a bootstrapping compiler for the MELT lisp
diff --git a/gcc/melt/xtramelt-ana-base.melt b/gcc/melt/xtramelt-ana-base.melt
index 40f86edb9b7..8c65253b6ec 100644
--- a/gcc/melt/xtramelt-ana-base.melt
+++ b/gcc/melt/xtramelt-ana-base.melt
@@ -28,9 +28,10 @@
 ;; the copyright notice above apply both to xtramelt-ana-base.melt and 
 ;; to the generated file  xtramelt-ana-base*.c
 
-;; This file has been split, with large parts moved into
-;; xtramelt-ana-tree.melt & xtramelt-ana-gimple.melt after svn rev
-;; 186705 ie MELT version 0.9.5 (april 24th, 2012).
+
+;; This MELT module is GPL compatible since it is GPLv3+ licensed.
+(module_is_gpl_compatible "GPLv3+")
+
 
 ;; a class containing the analysis state
 (defclass class_analysis_state
diff --git a/gcc/melt/xtramelt-ana-gimple.melt b/gcc/melt/xtramelt-ana-gimple.melt
index 5b015f1bae5..cf45ff74b83 100644
--- a/gcc/melt/xtramelt-ana-gimple.melt
+++ b/gcc/melt/xtramelt-ana-gimple.melt
@@ -28,8 +28,8 @@
 ;; the copyright notice above apply both to xtramelt-ana-gimple.melt and 
 ;; to the generated file  xtramelt-ana-gimple*.c
 
-;; Most code here was in xtramelt-ana-base.melt before svn rev 186705
-;; ie MELT version 0.9.5 and earlier (before april 24th, 2012).
+;; This MELT module is GPL compatible since it is GPLv3+ licensed.
+(module_is_gpl_compatible "GPLv3+")
 
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
diff --git a/gcc/melt/xtramelt-ana-simple.melt b/gcc/melt/xtramelt-ana-simple.melt
index 65a79c33c21..8f6351a7fb2 100644
--- a/gcc/melt/xtramelt-ana-simple.melt
+++ b/gcc/melt/xtramelt-ana-simple.melt
@@ -2,7 +2,7 @@
 ;; file xtramelt-ana-simple.melt
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 (comment "***
-    (C) Copyright 2009 - 2013  Free Software Foundation, Inc.
+    (C) Copyright 2009 - 2014  Free Software Foundation, Inc.
     Contributed by Basile Starynkevitch <basile@starynkevitch.net>
 
     This file is part of GCC.
@@ -25,6 +25,9 @@
 
 
 
+;; This MELT module is GPL compatible since it is GPLv3+ licensed.
+(module_is_gpl_compatible "GPLv3+")
+
 
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
diff --git a/gcc/melt/xtramelt-ana-tree.melt b/gcc/melt/xtramelt-ana-tree.melt
index d7eb9e8a816..469a98b9d8a 100644
--- a/gcc/melt/xtramelt-ana-tree.melt
+++ b/gcc/melt/xtramelt-ana-tree.melt
@@ -28,8 +28,8 @@
 ;; the copyright notice above apply both to xtramelt-ana-tree.melt and 
 ;; to the generated file  xtramelt-ana-tree*.c
 
-;; Most code here was in xtramelt-ana-base.melt before svn rev 186705
-;; ie MELT version 0.9.5 and earlier (before april 24th, 2012).
+;; This MELT module is GPL compatible since it is GPLv3+ licensed.
+(module_is_gpl_compatible "GPLv3+")
 
 
 (defprimitive walk_use_def_chain_depth_first (:value clos val :tree trvar) :void
diff --git a/gcc/melt/xtramelt-playground.melt b/gcc/melt/xtramelt-playground.melt
index 2b5cc377ada..8339bec2e3a 100644
--- a/gcc/melt/xtramelt-playground.melt
+++ b/gcc/melt/xtramelt-playground.melt
@@ -25,7 +25,9 @@
 ;; this file should not contain useful things on MELT plugin
 ;; releases.  It is a playground for testing purposes.
 
-(inform_at () "from xtramelt-playground one=dollar1=$1 2=dollar2=$2 foo=dollar3=$3"
-	   'one 2 "foo")
-(debug "xtramelt-playground ended")		
+
+;; This MELT module is GPL compatible since it is GPLv3+ licensed.
+(module_is_gpl_compatible "GPLv3+")
+
+	
 ;; eof xtramelt-playground.melt
diff --git a/gcc/melt/xtramelt-probe.melt b/gcc/melt/xtramelt-probe.melt
index c9bc52c68fb..2f1d15a770d 100644
--- a/gcc/melt/xtramelt-probe.melt
+++ b/gcc/melt/xtramelt-probe.melt
@@ -2,7 +2,7 @@
 ;; file xtramelt-probe.melt
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 (comment "***
-    Copyright 2012 Free Software Foundation, Inc.
+    Copyright 2012 - 2014 Free Software Foundation, Inc.
     Contributed by Basile Starynkevitch <basile@starynkevitch.net>
 
     This file is part of GCC.
@@ -29,6 +29,8 @@
 
  ***")
 
+;; This MELT module is GPL compatible since it is GPLv3+ licensed.
+(module_is_gpl_compatible "GPLv3+")
 
 (defselector send_object_to_probe class_selector
   :doc #{The selector $SEND_OBJECT_TO_PROBE is used for sending