aboutsummaryrefslogtreecommitdiff
path: root/tools/driver/StandardLibrary.h
diff options
context:
space:
mode:
author_ov4 <ov4@ov4.org>2026-10-22 15:10:56 +0000
committer_ov4 <ov4@ov4.org>2026-10-22 15:10:56 +0000
commit5c491c54a22044ef1570c3fb709e14264e367fb1 (patch)
tree7018758523bfc4f73ad2c640ef332ca72cfdd0ba /tools/driver/StandardLibrary.h
parent11266ea732e2533081283290c3c865c234e79b2a (diff)
fix(driver): cache the embedded standard library per user
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Diffstat (limited to 'tools/driver/StandardLibrary.h')
-rw-r--r--tools/driver/StandardLibrary.h4
1 files changed, 3 insertions, 1 deletions
diff --git a/tools/driver/StandardLibrary.h b/tools/driver/StandardLibrary.h
index 5aa4f8c..0e641d0 100644
--- a/tools/driver/StandardLibrary.h
+++ b/tools/driver/StandardLibrary.h
@@ -3,9 +3,11 @@
#include <string>
#include <vector>
-// Extracted files live through native linking and runner execution.
+// Extracted files live through native linking and runner execution. They are cached per user
+// (never deleted); only the fallback temporary directory is removed on destruction.
class StandardLibrary {
llvm::SmallString<256> Directory;
+ bool Temporary = false;
public:
~StandardLibrary();
bool load(std::vector<std::string> &Inputs);