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
