diff options
Diffstat (limited to 'pyGHDL/libghdl')
| -rw-r--r-- | pyGHDL/libghdl/__init__.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/pyGHDL/libghdl/__init__.py b/pyGHDL/libghdl/__init__.py index 8c9d132e9..612737824 100644 --- a/pyGHDL/libghdl/__init__.py +++ b/pyGHDL/libghdl/__init__.py @@ -64,7 +64,8 @@ class LibGHDLException(GHDLBaseException): def _get_libghdl_name() -> Path: """Get the name of the libghdl library (with version and extension).""" ver = __version__.replace("-", "_").replace(".", "_") - ext = {"win32": "dll", "cygwin": "dll", "darwin": "dylib"}.get(sys_platform, "so") + ext = {"win32": "dll", "cygwin": "dll", "msys": "dll", + "darwin": "dylib"}.get(sys_platform, "so") return Path("libghdl-{version}.{ext}".format(version=ver, ext=ext)) |