Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Python bindings no targets #16

Open
paul0noah opened this issue Sep 30, 2024 · 1 comment
Open

Python bindings no targets #16

paul0noah opened this issue Sep 30, 2024 · 1 comment

Comments

@paul0noah
Copy link

paul0noah commented Sep 30, 2024

After commit 99d13dfe34ed0d5c4ecbd69cdf39d4d690117903 i get the following error when installing the python bindings

make: *** No rule to make target bdd_mp_py.  Stop.
Traceback (most recent call last):
  File "setup.py", line 148,

When i revert back to commit "Added pybind11 json conversion."
everything works just fine.

So i guess the newest commit destroys the python binding setup through cmake

@aabbas90 aabbas90 changed the title No targets `` Python bindings no targets Sep 30, 2024
@paul0noah
Copy link
Author

paul0noah commented Sep 30, 2024

Follow up:
when using the above linked commit the installation runs fine. But when i run in python the following

import BDD.bdd_solver

i get the error

Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
ModuleNotFoundError: No module named 'BDD.bdd_solver'

When i use commit f377a82
everything works. So somwhere after this commit the python bindings break.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant