error: could not find ikos python module in FreeBSD package

NASA-SW-VnV / ikos

Static analyzer for C/C++ based on the theory of Abstract Interpretation.

Other

2.36k stars 171 forks source link

error: could not find ikos python module in FreeBSD package #269

Open yurivict opened 7 months ago

yurivict commented 7 months ago

TROUBLESHOOTING.md says:

The module should be under /path/to/ikos-install/lib/python*/site-packages

However, 'make install' doesn't install site-packages or any python files.

Version 3.3, 3.2 FreeBSD 14.0

ivanperez-keera commented 7 months ago

Things changed in version 3.2. I don't know if it's a problem in the installation process or in the troubleshooting guide.

Can you post the output of make install?

yurivict commented 4 months ago

Here is the complete log.

ivanperez-keera commented 1 month ago

So, the guide is clearly wrong. That being said, some python files should be installed.

The installation process for python files changed heavily in 3.3.

I don't have (easy) access to a FreeBSD to try things. What command are you using to install things?

I see this old Makefile in ikos' freebsd package, but that doesn't seem right to me:

https://cgit.freebsd.org/ports/tree/devel/ikos/Makefile

The homebrew formula may give you further insight:

https://github.com/NASA-SW-VnV/homebrew-core/blob/d30005cf0d444acf7e07e0279e925e4b6293c8b0/Formula/ikos.rb#L37-L56

ivanperez-keera commented 1 month ago

I'm classifying this for now as a question because it's not clear to me that anything will have to change (code wise). We may have to update the documentation to reflect where the python files are installed, though.