changeset 5156:58c59cda61f5

make: librestrict name juggling preparations.
author Jan Nieuwenhuizen <janneke@gnu.org>
date Mon, 16 Feb 2009 16:03:18 +0100
parents 9a6ad85d6a26
children 8389d7083f05
files gub/specs/make.py
diffstat 1 files changed, 8 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/gub/specs/make.py	Mon Feb 16 16:02:52 2009 +0100
+++ b/gub/specs/make.py	Mon Feb 16 16:03:18 2009 +0100
@@ -1,3 +1,5 @@
+import os
+#
 from gub import tools
 
 class Make_make__tools (tools.AutoBuild):
@@ -10,7 +12,13 @@
         self.file_sub ([('"/usr', '"%(system_prefix)s')], '%(srcdir)s/read.c')
         self.file_sub ([('"/usr', '"%(system_prefix)s'),
                         ('"/lib', '"%(system_root)s/lib')], '%(srcdir)s/remake.c')
+    def librestrict_flavours (self):
+        return list (sorted (os.environ.get ('LIBRESTRICT',
+                                             'open').replace (':', ' ').split (' ')))
+    def librestrict_name (self):
+        return 'librestrict-' + '-'.join (self.librestrict_flavours ())
     def _get_build_dependencies (self):
+        #return [self.librestrict_name ()]
         return ['librestrict']
     def wrap_executables (self):
         # no dynamic executables [other than /lib:libc]