maude-lang / Maude

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

Fail to build from sources on riscv64gc machine #13

Closed moui0 closed 11 months ago

moui0 commented 11 months ago

The config.guess file contained in source tarball is too old that it cannot guess build type on riscv64. It can be updated by executing autoreconf -fiv.

Full configure error output:

checking build system type... ../config.guess: unable to guess system type

This script, last modified 2002-09-03, has failed to recognize
the operating system you are using. It is advised that you
download the most up to date version of the config scripts from

    ftp://ftp.gnu.org/pub/gnu/config/

If the version you run (../config.guess) is already up to date, please
send the following data and any information you think might be
pertinent to <config-patches@gnu.org> in order to provide the needed
information to handle your system.

config.guess timestamp = 2002-09-03

uname -m = riscv64
uname -r = 5.15.10+
uname -s = Linux
uname -v = #1 SMP Fri Dec 24 14:24:27 CST 2021

/usr/bin/uname -p = unknown
/bin/uname -X     = 

hostinfo               = 
/bin/universe          = 
/usr/bin/arch -k       = 
/bin/arch              = 
/usr/bin/oslevel       = 
/usr/convex/getsysinfo = 

UNAME_MACHINE = riscv64
UNAME_RELEASE = 5.15.10+
UNAME_SYSTEM  = Linux
UNAME_VERSION = #1 SMP Fri Dec 24 14:24:27 CST 2021
configure: error: cannot guess build type; you must specify one
stevenmeker commented 11 months ago

I've made your suggested change in Alpha152 however I don't have a RISC-V machine to test on. If this fixed the problem, feel free to close the issue.