search

maude-lang / Maude

Language based on Rewriting Logic
GNU General Public License v2.0
78 stars 10 forks source link

Fail to run Maude 3.2.1 on Ubuntu 18.04 #3

Closed rgyen closed 1 year ago

rgyen commented 2 years ago

Hi, I downloaded Maude release version 3.2.1 (from here) and tried to run it on my Ubuntu 18.04.

I got the following error message:

$./maude.linux64 ./maude.linux64: /lib/x86_64-linux-gnu/libm.so.6: version `GLIBC_2.29' not found (required by ./maude.linux64)

I checked my GLIBC version GLIBC with ldd:

$ldd --version ldd (Ubuntu GLIBC 2.27-3ubuntu1.5) 2.27

I use Ubuntu's default compiler. I think I need to upgrade my glibc manually (by building it from source) in order to use Maude 3.2.1.

Is there any other way to resolve this issue (other than manual building)?

lkyskr commented 2 years ago

I started Maude without any problems after installing Glibc 2.29

stevenmeker commented 1 year ago

The pre-built Linux binary for Maude 3.3 depends on glibc 2.27 so it should work on older systems.

rgyen commented 1 year ago

The pre-built Linux binary for Maude 3.3 depends on glibc 2.27 so it should work on older systems.

Thanks!