2. Type the following Command:
vi ~/.bashrc
export PYTHONPATH=~/Documents/clingo-4.5.3-source/build/release/python
export PYTHONPATH=<path-to-gringo-sources>/build/release/pythonHere, <path-to-gringo-sources> is the path to the gringo sources.
Now you're all done.
To ensure you did it right, type:
echo $PYTHONPATH
OR
printenv PYTHONPATH
No comments:
Post a Comment