diff options
| author | Tristan Gingold <tgingold@free.fr> | 2021-07-05 07:42:34 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2021-07-05 07:44:25 +0200 |
| commit | 1679b83fc60130ce4633e99f37bb3226f0ec86d2 (patch) | |
| tree | 671c5ce7a938d17c635713b21c0dd991d012d2d3 /pyGHDL/libghdl | |
| parent | 8c9b035f8a3855e2903fa7b181ef57952efc6b8e (diff) | |
| download | ghdl-1679b83fc60130ce4633e99f37bb3226f0ec86d2.tar.gz ghdl-1679b83fc60130ce4633e99f37bb3226f0ec86d2.tar.bz2 ghdl-1679b83fc60130ce4633e99f37bb3226f0ec86d2.zip | |
libghdl: also use dll extension on msys
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)) |