From c21c1455fdfc6e87d75941f48841c72903e1e0f4 Mon Sep 17 00:00:00 2001
From: Paul Smith <psmith@gnu.org>
Date: Tue, 14 May 2013 22:53:42 -0400
Subject: Add requirement for plugin_is_GPL_compatible symbol in loaded
 objects.

---
 load.c | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'load.c')

diff --git a/load.c b/load.c
index f20c1c7..655928a 100644
--- a/load.c
+++ b/load.c
@@ -71,6 +71,12 @@ load_object (const gmk_floc *flocp, int noerror,
         return NULL;
       }
 
+    /* Assert that the GPL license symbol is defined.  */
+    symp = dlsym (*dlp, "plugin_is_GPL_compatible");
+    if (! symp)
+      fatal (flocp, _("Loaded object %s is not declared to be GPL compatible"),
+             ldname);
+
     symp = dlsym (*dlp, symname);
     if (! symp)
       fatal (flocp, _("Failed to load symbol %s from %s: %s"),
-- 
cgit v1.2.3