error: could not find ikos python module in FreeBSD package

[yurivict]

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]

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]

Here is the complete log.

[ivanperez-keera]

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]

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.