Skip to content

Commit

Permalink
try with PYTHONPATH
Browse files Browse the repository at this point in the history
  • Loading branch information
@ruaronicola
ruaronicola committed Aug 8, 2023
1 parent fae1a8b commit 4e336cd
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion setup.sh
View file
Original file line number Diff line number Diff line change
Expand Up @@ -134,7 +134,7 @@ if [ ! -d $GREED_DIR/yices2_python_bindings ]; then
fi

# for some reason github builds fail to find libyices.so. This should fix it
export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:$VIRTUAL_ENV_LIB
export PYTHONPATH=$PYTHONPATH:$VIRTUAL_ENV_LIB
pip install -e yices2_python_bindings
yices_python_info

Expand Down

0 comments on commit 4e336cd

Please sign in to comment.