search

SRI-CSL / OCCAM

OCCAM: Object Culling and Concretization for Assurance Maximization
BSD 3-Clause "New" or "Revised" License
26 stars 10 forks source link

slash Command not found #28

Closed Mohannadcse closed 4 years ago

Mohannadcse commented 4 years ago

I built OCCAM according to the provided instruction. But I receive the following error make: slash: Command not found when I try to run any of the examples. Where I installed razor and configured OCCAM_HOME.

ianamason commented 4 years ago

Clearly slash is not in your PATH. Where did you install it? Maybe add that location to your PATH?

Mohannadcse commented 4 years ago

I think slash supposed to be installed while building OCCAM. But I already installed razor using the command pip install razor as shown below. Is there a specific instruction other than the pip install razor command?

image

ianamason commented 4 years ago

No, take a look at the top level makefile. It does a pip install. Make sure your pip is the same as the python you are running.

Mohannadcse commented 4 years ago

The make log shows the following

image

So I'm not quite sure where the make has installed slash

ianamason commented 4 years ago

That '2.7' in the path look pretty scary if you are using python 3.

ianamason commented 4 years ago

The makefile uses pip to install it, but maybe it is picking up the 2.7 version?

Mohannadcse commented 4 years ago

Seems so. So python3 should be used, right?

ianamason commented 4 years ago

Well I think you can use both, but it has been a long time since I did any OCCAM work. @caballa does OCCAM (in particular slash) work with 3, you were having some issues a while back, I recall?

Either way you have to use the same version to install and run it ...

Mohannadcse commented 4 years ago

Thank you I fixed it. As you pointed out, there was inconsistency in the Python version.

ianamason commented 4 years ago

Great. Not a fan of python for that very reason.

Sent from my iPad

On Apr 14, 2020, at 5:56 PM, Mohannad Alhanahnah notifications@github.com wrote:

 Thank you I fixed it. As you pointed out, there was inconsistency in the Python version.

— You are receiving this because you commented. Reply to this email directly, view it on GitHub, or unsubscribe.