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

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?