Skip to content
Advertisement

fixing the path so python can recognize z3 modules

I have successfully installed z3 on a remote server where I am not root. when I try to run my python code I get :

ModuleNotFoundError: No module named 'z3'

I understand that I have to add it to PYTHONPATH in order to work and so I went ahead and done that like this:

export PYTHONPATH=$HOME/usr/lib/python-2.7/site-packages:$PYTHONPATH

I still get the same issue though, how can I verify that it was correctly added to the variables environment? what am i doing wrong?

Advertisement

Answer

Did you pass the --python flag when you called scripts/mk_make.py?

See the instructions on https://github.com/Z3Prover/z3/blob/master/README.md on how to exactly enable Python (about all the way down in that page). Here’s an example invocation:

python scripts/mk_make.py --prefix=/home/leo --python --pypkgdir=/home/leo/lib/python-2.7/site-packages

Change the directories appropriately, of course.

User contributions licensed under: CC BY-SA
7 People found this is helpful
Advertisement