Flow.export: add temp=False arg

tum-ei-eda · Aug 22, 2024 · 247f0a0 · 247f0a0
1 parent b20d989
commit 247f0a0
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/seal5/flow.py b/seal5/flow.py
@@ -792,7 +792,7 @@ def deploy(self, dest: Path, verbose: bool = False, stage: PatchStage = PatchSta
         self.settings.save()
         logger.info("Completed deployment of Seal5 LLVM")
 
-    def export(self, dest: Path, verbose: bool = False):
+    def export(self, dest: Path, verbose: bool = False, temp: bool = False):
         del verbose  # unused
         logger.info("Exporting Seal5 artifacts")
         start = time.time()
@@ -813,6 +813,8 @@ def export(self, dest: Path, verbose: bool = False):
             self.settings.logs_dir,
             self.settings.settings_file,
         ]
+        if temp:
+            artifacts.append(self.settings.temp_dir)
         with tarfile.open(dest, mode="w:gz") as archive:
             for artifact in artifacts:
                 name = str(artifact)