Fix bug of one source file compiled multiple times (#400)

spicelang · Dec 18, 2023 · 0e5d5d4 · 0e5d5d4
1 parent f2c3515
commit 0e5d5d4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/global/GlobalResourceManager.cpp b/src/global/GlobalResourceManager.cpp
@@ -65,7 +65,7 @@ GlobalResourceManager::~GlobalResourceManager() {
 SourceFile *GlobalResourceManager::createSourceFile(SourceFile *parent, const std::string &depName,
                                                     const std::filesystem::path &path, bool isStdFile) {
   // Check if the source file was already added (e.g. by another source file that imports it)
-  const std::string filePathStr = path.string();
+  const std::string filePathStr = std::filesystem::weakly_canonical(std::filesystem::absolute(path)).string();
 
   // Create the new source file if it does not exist yet
   if (!sourceFiles.contains(filePathStr))