diff --git a/amaranth/build/plat.py b/amaranth/build/plat.py index 13cdc4d..ca2d1d8 100644 --- a/amaranth/build/plat.py +++ b/amaranth/build/plat.py @@ -70,11 +70,11 @@ class Platform(ResourceManager, metaclass=ABCMeta): @property def _deprecated_toolchain_env_var(self): - return f"NMIGEN_ENV_{self.toolchain}" + return f"NMIGEN_ENV_{tool_env_var(self.toolchain)}" @property def _toolchain_env_var(self): - return f"AMARANTH_ENV_{self.toolchain}" + return f"AMARANTH_ENV_{tool_env_var(self.toolchain)}" def build(self, elaboratable, name="top", build_dir="build", do_build=True,