ibex-team / ibex-lib

IBEX is a C++ library for constraint processing over real numbers.
http://ibex-team.github.io/ibex-lib/
GNU Lesser General Public License v3.0
67 stars 51 forks source link

Installation script `waf` is broken on Linux in release 2.8.9 #530

Open fbrausse opened 1 year ago

fbrausse commented 1 year ago

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.

fbrausse commented 1 year ago

Same happens on the master branch, currently at 1405ba498e93d98ab91298d7006d5b0f6bdd9625.

gchabert commented 1 year ago

Have you tried cmake compilation?

fbrausse commented 1 year ago

Have you tried cmake compilation?

Yes, I have. The cmake one works fine. I just initially followed what the docs suggest as the non-experimental method.