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

segmentation fault after intalling telingo #19

Open
paedusan opened this issue Mar 11, 2025 · 2 comments
Open

segmentation fault after intalling telingo #19

paedusan opened this issue Mar 11, 2025 · 2 comments

Comments

@paedusan
Copy link

Hi Newbie user here,

I've just intalled telingo, following the information on the anaconda cite:

conda install potassco/label/dev::telingo

But I only get a zsh: segmentation fault telingo ./prog2tel.pl

The conda intallation automatically adds clingo version 5.7.2

Any help will be greatly appreciated.

Regards,

Pae

@rkaminsk
Copy link
Member

I can only make guesses here. There are issues on the new arm based macs with libffi. You can try to install cffi via pip to avoid the issue. I am not aware of problems on others OSes. Alternatively, you can also try the https://pypi.org/project/telingo/ package. Just remove the conda package and install the pip package in the conda environment.

@rkaminsk
Copy link
Member

rkaminsk commented Apr 8, 2025

You have to make sure that you do not use the cffi package from conda forge. The one from pypi should work. You can use the command below to overwrite the one in your conda environment using the command below:

pip install cffi --force

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

2 participants