]> Savannah Git Hosting - gnulib.git/commitdiff
config: gnumake option support
authorDmitry Selyutin <ghostmansd@gmail.com>
Sun, 3 Dec 2017 15:04:58 +0000 (18:04 +0300)
committerDmitry Selyutin <ghostmansd@gmail.com>
Sun, 3 Dec 2017 15:04:58 +0000 (18:04 +0300)
pygnulib/config.py

index dd92ac61fe6e0799c01681ec3a8645327873988b..ff82e4bab1f907a2b8299ecf12f7dee101661ab5 100644 (file)
@@ -85,7 +85,8 @@ class Base:
         Privileged = (1 << 4)
         Unportable = (1 << 5)
         Copyrights = (1 << 6)
-        AllTests = (Obsolete | Tests | CXX | Longrunning | Privileged | Unportable)
+        GNUMake = (1 << 7)
+        AllTests = (Obsolete | Tests | CXX | Longrunning | Privileged | Unportable | GNUMake)
 
 
     def __init__(self, **kwargs):
@@ -523,6 +524,20 @@ class Base:
         self.__table["local_copymode"] = value
 
 
+    @property
+    def gnumake(self):
+        """update the license copyright text"""
+        return bool(self.__table["options"] & Base._Option.GNUMake)
+
+    @gnumake.setter
+    def gnumake(self, value):
+        _type_assert("gnumake", value, bool)
+        if value:
+            self.__table["options"] |= Base._Option.GNUMake
+        else:
+            self.__table["options"] &= ~Base._Option.GNUMake
+
+
     @property
     def copyrights(self):
         """update the license copyright text"""