From 5c491c54a22044ef1570c3fb709e14264e367fb1 Mon Sep 17 00:00:00 2001
From: _ov4 <ov4@ov4.org>
Date: Thu, 22 Oct 2026 15:10:56 +0000
Subject: fix(driver): cache the embedded standard library per user

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
---
 tools/driver/StandardLibrary.h | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'tools/driver/StandardLibrary.h')

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);
-- 
cgit v1.3.1-4-g156e