Project/Project.py

branch
make_support
changeset 6251
02afc7d22c41
parent 6248
9458a3d45f27
child 6252
5e5e57bf09ed
diff -r 9458a3d45f27 -r 02afc7d22c41 Project/Project.py
--- a/Project/Project.py	Sat Apr 14 18:48:38 2018 +0200
+++ b/Project/Project.py	Sun Apr 15 11:36:43 2018 +0200
@@ -5377,3 +5377,29 @@
         """
         # TODO: implement this
         pass
+    
+    def hasDefaultMakeParameters(self):
+        """
+        Private method to test, if the project contains the default make
+        parameters.
+        
+        @return flag indicating default parameter set
+        @rtype bool
+        """
+        return self.pdata["MAKEPARAMS"] == {
+            "MakeEnabled": False,
+            "MakeExecutable": "",
+            "MakeFile": "",
+            "MakeTarget": "",
+            "MakeParameters": "",
+            "MakeTestOnly": True,
+        }
+    
+    def isMakeEnabled(self):
+        """
+        Public method to test, if make is enabled for the project.
+        
+        @return flag indicating enabled make support
+        @rtype bool
+        """
+        return self.pdata["MAKEPARAMS"]["MakeEnabled"]

eric ide

mercurial