Closed asnota closed 2 years ago
This sounds related to #57. Did you try sudo apt-get install python3.9-dev
(or something similar)? If that doesn't do the trick, having the full log would be helpful.
The problem was in missing gmp.h file: fatal error: gmp.h: No such file or directory
I therefore run sudo apt-get install libgmp3-dev
following the related thread and it solved the issue.
Yes, this is also mentioned in the pycddlib documentation (see https://pycddlib.readthedocs.io/en/latest/quickstart.html), so I don't think there's anything else I can do to avoid users running into this problem. I'm glad you got it sorted.
Hello, I'm trying to install LNN package in Jupiter notebooks with python 3.9.1 version installed. After running this line of code:
!pip install git+https://github.com/IBM/LNN.git
in the end of the log I get the error with installation of pycddlib: