sage_bootstrap.package.Package.has_file: New, use it

sagemath · Nov 19, 2020 · 40d6604 · 40d6604
1 parent 69f7ea8
commit 40d6604
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 3 deletions.
diff --git a/build/sage_bootstrap/app.py b/build/sage_bootstrap/app.py
@@ -71,8 +71,7 @@ def list_cls(self, *package_classes, **filters):
         for pkg_name in pc.names:
             if filenames:
                 pkg = Package(pkg_name)
-                if not all(os.path.exists(os.path.join(pkg.path, filename))
-                        for filename in filenames):
+                if not all(pkg.has_file(filename) for filename in filenames):
                     continue
             print(pkg_name)
 

diff --git a/build/sage_bootstrap/package.py b/build/sage_bootstrap/package.py
@@ -255,7 +255,13 @@ def path(self):
         Return the package directory
         """
         return os.path.join(SAGE_ROOT, 'build', 'pkgs', self.name)
-
+
+    def has_file(self, filename):
+        """
+        Return whether the file exists in the package directory
+        """
+        return os.path.exists(os.path.join(self.path, filename))
+
     def _init_checksum(self):
         """
         Load the checksums from the appropriate ``checksums.ini`` file