copy user-provided meta data to store/meta/extra (#105)

Author: bcumming

stackinator/builder.py

@@ -326,3 +326,13 @@ def generate(self, recipe):
         shutil.copytree(
             recipe.path, meta_recipe_path, ignore=shutil.ignore_patterns(".git")
         )
+
+        # create the meta/extra path and copy recipe meta data if it exists
+        meta_extra_path = meta_path / "extra"
+        meta_extra_path.mkdir(exist_ok=True)
+        if meta_extra_path.exists():
+            shutil.rmtree(meta_extra_path)
+        if recipe.user_extra is not None:
+            self._logger.debug(f"copying extra recipe meta data to {meta_extra_path}")
+            shutil.copytree(recipe.user_extra, meta_extra_path)
+

stackinator/recipe.py

@@ -108,6 +108,16 @@ def __init__(self, args):
 
         self.mirror = (args.cache, self.config["store"])
 
+    # Returns:
+    #   Path: of the recipe extra path if it exists
+    #   None: if there is no user-provided extra path in the recipe
+    @property
+    def user_extra(self):
+        extra_path = self.path / 'extra'
+        if extra_path.exists() and extra_path.is_dir():
+            return extra_path
+        return None
+
     # Returns a dictionary with the following fields
     #
     # root: /path/to/cache
@@ -127,9 +137,8 @@ def mirror(self, configuration):
 
         file, mount = configuration
 
-        mirror_config_path = pathlib.Path(file)
-
-        if mirror_config_path is not None:
+        if file is not None:
+            mirror_config_path = pathlib.Path(file)
             if not mirror_config_path.is_file():
                 raise FileNotFoundError(f"The cache configuration '{file}' is not a file")