Hi everyone!
I'm currently trying to bring a tool we have at NASA Ames up to speed:
IKOS is a static analyzer for C. I'm really hoping that IKOS can be included in Debian in the near future.
IKOS is implemented as a C++ library, and a number of python tools/wrappers. The tools call mains in modules defined in a python library `ikos`.
As of right now, our CMakeFiles attempt to install everything (by default) under /opt/ikos/.
I'm having lots of issues getting the python portions installed system-wide. I initially upgraded distutils to setuptools, but a recent update is now asking that I use a venv. More details and a link to a dockerfile can be found here:
https://github.com/NASA-SW-VnV/ikos/discussions/241.
While I can hack a solution that "works" (either by making a venv under the target dir or by means of break-system-packages), I'd prefer to use recommended practices, and also conform to the way that things are done in Debian/Ubuntu.
What would be the recommended way of installing IKOS system-wide in Debian?
Thanks,
Ivan
PS. Apologies if this is considered off-topic for this list.