From: Florent Kermarrec <florent@enjoy-digital.fr>
Date: Mon, 12 Nov 2018 10:47:39 +0000 (+0100)
Subject: generic_platform: use set for sources
X-Git-Tag: 24jan2021_ls180~1502
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=eed1d5cb2e4b0f9bb8d7fb7de1e553ec204fadc4;p=litex.git

generic_platform: use set for sources
---

diff --git a/litex/build/generic_platform.py b/litex/build/generic_platform.py
index dbf277de..c4c1e3ba 100644
--- a/litex/build/generic_platform.py
+++ b/litex/build/generic_platform.py
@@ -261,7 +261,7 @@ class GenericPlatform:
         if name is None:
             name = self.__module__.split(".")[-1]
         self.name = name
-        self.sources = []
+        self.sources = set()
         self.verilog_include_paths = set()
         self.finalized = False
 
@@ -323,7 +323,7 @@ class GenericPlatform:
         if library is None:
             library = "work"
 
-        self.sources.append((os.path.abspath(filename), language, library))
+        self.sources.add((os.path.abspath(filename), language, library))
 
     def add_sources(self, path, *filenames, language=None, library=None):
         for f in filenames: