You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
When installing the wheel on pypi (version 0.2.5) it installs both antlr versions antlr4-python2-runtime and antlr4-python3-runtime. This results in the following error when using rtamt:
ModuleNotFoundError: No module named '__builtin__'
Can be confirmed by inspecting the METADATA file in the current wheel:
When installing the wheel on pypi (version 0.2.5) it installs both antlr versions
antlr4-python2-runtime
andantlr4-python3-runtime
. This results in the following error when using rtamt:Can be confirmed by inspecting the METADATA file in the current wheel:
Compared to a fresh build in version 0.2.8
Tested on
pip==22.0.4
andpython=3.7
(anaconda).Building the universal wheel manually from the current source fixes the issue.
The text was updated successfully, but these errors were encountered: