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
I'm on Gentoo Linux, downloaded and extracted the release v2.8.9 and ran ./waf configure as instructed by the installation manual. This is the result:
$ ./waf configure
Waf: The wscript in '/home/kane/scorch/esbmc-sysroot/tmp/ibex-lib-ibex-2.8.9' is unreadable
Traceback (most recent call last):
File "/home/kane/scorch/esbmc-sysroot/tmp/ibex-lib-ibex-2.8.9/.waf3-2.0.12-99294ba4df4d1c7132661cc921a025f1/waflib/Scripting.py", line 102, in waf_entry_point
set_main_module(wscript)
File "/home/kane/scorch/esbmc-sysroot/tmp/ibex-lib-ibex-2.8.9/.waf3-2.0.12-99294ba4df4d1c7132661cc921a025f1/waflib/Scripting.py", line 142, in set_main_module
Context.g_module=Context.load_module(file_path)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/kane/scorch/esbmc-sysroot/tmp/ibex-lib-ibex-2.8.9/.waf3-2.0.12-99294ba4df4d1c7132661cc921a025f1/waflib/Context.py", line 349, in load_module
code=Utils.readf(path,m='rU',encoding=encoding)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/kane/scorch/esbmc-sysroot/tmp/ibex-lib-ibex-2.8.9/.waf3-2.0.12-99294ba4df4d1c7132661cc921a025f1/waflib/Utils.py", line 141, in readf
with open(fname,m)as f:
^^^^^^^^^^^^^
ValueError: invalid mode: 'rUb'
For reference, I have python-3.11.3 installed here.
The text was updated successfully, but these errors were encountered:
I'm on Gentoo Linux, downloaded and extracted the release v2.8.9 and ran
./waf configure
as instructed by the installation manual. This is the result:For reference, I have python-3.11.3 installed here.
The text was updated successfully, but these errors were encountered: