diff options
Diffstat (limited to 'examples/SimpleVC.py')
| -rwxr-xr-x[-rw-r--r--] | examples/SimpleVC.py | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/examples/SimpleVC.py b/examples/SimpleVC.py index 545e095f9..d2bd6d4c3 100644..100755 --- a/examples/SimpleVC.py +++ b/examples/SimpleVC.py @@ -1,4 +1,4 @@ -###################### ## +#! /usr/bin/python ##! \file SimpleVC.py ### \verbatim ### Original author: mdeters @@ -18,8 +18,9 @@ ### ### To run, use something like: ### -### ln -s ../builds/src/bindings/.libs/libcvc4bindings_python.so.0.0.0 _CVC4.so -### PYTHONPATH=../builds/src/bindings/python python SimpleVC.py +### ln -s ../builds/src/bindings/python/CVC4.py CVC4.py +### ln -s ../builds/src/bindings/python/.libs/CVC4.so _CVC4.so +### ./SimpleVC.py #### import CVC4 |