How to install correctly using "build-with-barvinok.sh"?

[yurikamome]

To Whom It May Concern,

I am trying to build islpy with barvinok to get the functionality of cardinality.

I use brew to install necessary tools such as gcc, libtool, automake. I create a virtual env in miniconda under python3.6 and pip install pcpp. when I run build-with-barvinok.sh everything looks good. It ends with the message "Finished processing dependencies for islpy==2019.1.2". and I also saw the .so files under my ~/pack/barvinok. When I run "pip list" I saw islpy is showing there.

But when I trying to import islpy it gives me following error msg:

import islpy
Traceback (most recent call last):
File "", line 1, in
File "/local/home/yuilirui/islpy/islpy/islpy/init.py", line 25, in
import islpy._isl as _isl
ModuleNotFoundError: No module named 'islpy._isl'

Could you please help to figure out the reason?

[isuruf]

You are trying to import islpy in the source directory. Try importing in your home directory or any other directory

[yurikamome]

Thanks for the reply.

After move out of the source dir, I got this small issue

import islpy
Traceback (most recent call last):
File "", line 1, in
File "/home/yuilirui/miniconda3/envs/py36/lib/python3.6/site-packages/islpy-2019.1.2-py3.6-linux-x86_64.egg/islpy/init.py", line 25, in
import islpy._isl as _isl
File "/home/yuilirui/miniconda3/envs/py36/lib/python3.6/site-packages/islpy-2019.1.2-py3.6-linux-x86_64.egg/islpy/_isl.py", line 19, in
from islpy._isl_cffi import ffi
ImportError: libisl.so.21: cannot open shared object file: No such file or directory

I think I saw the libisl.so is under my ~/pack/barvinok. Could you please point out where should I copy them to?