Skip to content

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

Description

@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?

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions