gentoo `sh elan-init.sh` glibc issue

leanprover / elan

The Lean version manager

Apache License 2.0

292 stars 34 forks source link

gentoo `sh elan-init.sh` glibc issue #116

Closed geometrylearner closed 9 months ago

geometrylearner commented 9 months ago

sh elan-init.sh reports error in my Gentoo: elan: only glibc systems are supported While I had installed the elan sucessfully at July30 2023 on my two Gentoo Linux workstation with the script released at that time. By the way, I have built the elan on my local Gentoo Linux system while The cargo build works well on my Gentoo system, therefore if can I use the local built one then there is something wrong in the elan-init.sh logically.

Kha commented 9 months ago

What is the output of ldd --version on your machine?

geometrylearner commented 9 months ago

ldd --version ldd (Gentoo 2.36-r8 p10) 2.36 Copyright (C) 2022 Free Software Foundation, Inc. This is free software; see the source for copying conditions. There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. Written by Roland McGrath and Ulrich Drepper.

I have not upgrade my gentoo system since the openssl3 released since I don't confirm the new version whether break some important deps.

geometrylearner commented 9 months ago

Hi, I see what do you mean, but this is really the glibc with gentoo version, I will change the script to enable it on gentoo. Thanks

Kha commented 9 months ago

I've already fixed it, see above