ikos icon indicating copy to clipboard operation
ikos copied to clipboard

Published 20 hours ago • verified publisher icon NASA-SW-VnV

installation guide

Open gitrj95 opened this issue 2 years ago • 5 comments

hi. which set of docs are relevant wrt the installation? there are two installation paths that appear to be distinct--one in docs and another in the main readme. which is appropriate? i haven't had luck with either

gitrj95 avatar Jul 08 '22 04:07 gitrj95

Hello,

What operating system are you using?

Under https://github.com/NASA-SW-VnV/ikos/tree/master/doc/install there are installation instructions for a few operating systems.

If yours is not there, then it means it's not officially supported. You can try https://github.com/NASA-SW-VnV/ikos/blob/master/doc/install/ROOTLESS.md as a last resort.

Unfortunately, there is also a chance that some installation instructions are broken, because this tool is not heavily maintained (to put it lightly).

arthaud avatar Jul 08 '22 04:07 arthaud

i'm on fedora 34 and using the guide in docs. make breaks without much logging as to the error

gitrj95 avatar Jul 08 '22 14:07 gitrj95

are there any updates?

gitrj95 avatar Aug 03 '22 01:08 gitrj95

Please provide your logs (each command you ran and their output), otherwise we cannot help you.

arthaud avatar Aug 03 '22 01:08 arthaud

sure. will do

gitrj95 avatar Aug 05 '22 14:08 gitrj95