-
Notifications
You must be signed in to change notification settings - Fork 19
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
during build: LoadError: could not load library "libjulia" #533
Comments
I just checked and the error is gone on julia-1.5 |
Huh, that's strange. I assume this is on Linux, which distro? How was julia installed? Is there Thing is, we are invoking |
Yes it is Ubuntu 20.04.1 and I installed julia using the packet manager. |
This really seems like a bug in the Debian package. Not much we can do, other than trying to come up with some crazy Debian specific hack to resolve it, I am afraid. Which we might have to do in the end because a crazy number of people will use that distro sigh Best would be of course if Debian and/or Ubuntu (not sure who is responsible) fixed this; that is:
UPDATE: nope, Debian is fine, the problem seems to be that we require |
I have also Ubuntu 20.04 on my machine, and it has a julia 1.4.1 installed via
Both work on my machine, but in the above error report only the first of them works. |
Is there only |
@benlorenz good point. @ThomasBreuer tells me he has libjulia-devel installed @marabelotti can you verify? If that's it, I take back all complaints against Debian and redirect them at julia-config.jl ;-) resp. ourselves... Good thing is this will be resolved once we can use GAP_jll |
@marabelotti can you confirm that installing the system package |
Sorry for the late reply! I've just installed the |
OK, then I think this can be closed for now. Thank you again for the report and getting back to us! |
I just tried to add Oscar but it fails building GAP.jl:
The text was updated successfully, but these errors were encountered: