Re: Re: Re: about using smatch in all debian C code

I had hoped that I could make it work using:

./configure --cc=~/smatch/cgcc --cpu=x86_64

But it dies with:

mkvenv: installing meson==1.2.3
mkvenv: checking for sphinx>=1.6
mkvenv: checking for sphinx_rtd_theme>=0.5

*** Ouch! ***

Could not provide build dependency 'sphinx==5.3.0':
 • Python package 'sphinx' was not found nor installed.
 • mkvenv was configured to operate offline and did not check PyPI.
 • 'sphinx-build' was detected on your system at '/usr/bin/sphinx-build', but the build is using an isolated virtual environment. 


Sphinx not found/usable, disabling docs.

ERROR: Unrecognized host OS (uname -s reports 'Linux')

regards,
dan carpenter