Maude-help mailing list

[Sandeep Soni <soni.sandeepb AT gmail.com>]

Hi,
I am trying to install core maude on my system but I am unable to do
it. I have followed the following steps:

1. Install all the prerequisites. I have installed,
- buddy 2.4
- installed libtecla 1.6.1
- installed libsegsegv 2.6
- gmp 4.3.2

I then run configure && make which does not throw any error. Please
find the output of config as well as make in the attached files. On
running make check I got the following output.

Making check in src
make[1]: Entering directory `/home/Sandy/Maude-2.6/src'
Making check in 3rdParty
make[2]: Entering directory `/home/Sandy/Maude-2.6/src/3rdParty'
make[2]: Nothing to be done for `check'.
make[2]: Leaving directory `/home/Sandy/Maude-2.6/src/3rdParty'
Making check in Utility
make[2]: Entering directory `/home/Sandy/Maude-2.6/src/Utility'
make[2]: Nothing to be done for `check'.
make[2]: Leaving directory `/home/Sandy/Maude-2.6/src/Utility'
Making check in Temporal
make[2]: Entering directory `/home/Sandy/Maude-2.6/src/Temporal'
make[2]: Nothing to be done for `check'.
make[2]: Leaving directory `/home/Sandy/Maude-2.6/src/Temporal'
Making check in Interface
make[2]: Entering directory `/home/Sandy/Maude-2.6/src/Interface'
make[2]: Nothing to be done for `check'.
make[2]: Leaving directory `/home/Sandy/Maude-2.6/src/Interface'
Making check in Core
make[2]: Entering directory `/home/Sandy/Maude-2.6/src/Core'
make[2]: Nothing to be done for `check'.
make[2]: Leaving directory `/home/Sandy/Maude-2.6/src/Core'
Making check in Variable
make[2]: Entering directory `/home/Sandy/Maude-2.6/src/Variable'
make[2]: Nothing to be done for `check'.
make[2]: Leaving directory `/home/Sandy/Maude-2.6/src/Variable'
Making check in NA_Theory
make[2]: Entering directory `/home/Sandy/Maude-2.6/src/NA_Theory'
make[2]: Nothing to be done for `check'.
make[2]: Leaving directory `/home/Sandy/Maude-2.6/src/NA_Theory'
Making check in ACU_Persistent
make[2]: Entering directory `/home/Sandy/Maude-2.6/src/ACU_Persistent'
make[2]: Nothing to be done for `check'.
make[2]: Leaving directory `/home/Sandy/Maude-2.6/src/ACU_Persistent'
Making check in ACU_Theory
make[2]: Entering directory `/home/Sandy/Maude-2.6/src/ACU_Theory'
make[2]: Nothing to be done for `check'.
make[2]: Leaving directory `/home/Sandy/Maude-2.6/src/ACU_Theory'
Making check in AU_Persistent
make[2]: Entering directory `/home/Sandy/Maude-2.6/src/AU_Persistent'
make[2]: Nothing to be done for `check'.
make[2]: Leaving directory `/home/Sandy/Maude-2.6/src/AU_Persistent'
Making check in AU_Theory
make[2]: Entering directory `/home/Sandy/Maude-2.6/src/AU_Theory'
make[2]: Nothing to be done for `check'.
make[2]: Leaving directory `/home/Sandy/Maude-2.6/src/AU_Theory'
Making check in CUI_Theory
make[2]: Entering directory `/home/Sandy/Maude-2.6/src/CUI_Theory'
make[2]: Nothing to be done for `check'.
make[2]: Leaving directory `/home/Sandy/Maude-2.6/src/CUI_Theory'
Making check in S_Theory
make[2]: Entering directory `/home/Sandy/Maude-2.6/src/S_Theory'
make[2]: Nothing to be done for `check'.
make[2]: Leaving directory `/home/Sandy/Maude-2.6/src/S_Theory'
Making check in FreeTheory
make[2]: Entering directory `/home/Sandy/Maude-2.6/src/FreeTheory'
make[2]: Nothing to be done for `check'.
make[2]: Leaving directory `/home/Sandy/Maude-2.6/src/FreeTheory'
Making check in Higher
make[2]: Entering directory `/home/Sandy/Maude-2.6/src/Higher'
make[2]: Nothing to be done for `check'.
make[2]: Leaving directory `/home/Sandy/Maude-2.6/src/Higher'
Making check in BuiltIn
make[2]: Entering directory `/home/Sandy/Maude-2.6/src/BuiltIn'
make[2]: Nothing to be done for `check'.
make[2]: Leaving directory `/home/Sandy/Maude-2.6/src/BuiltIn'
Making check in IO_Stuff
make[2]: Entering directory `/home/Sandy/Maude-2.6/src/IO_Stuff'
make[2]: Nothing to be done for `check'.
make[2]: Leaving directory `/home/Sandy/Maude-2.6/src/IO_Stuff'
Making check in ObjectSystem
make[2]: Entering directory `/home/Sandy/Maude-2.6/src/ObjectSystem'
make[2]: Nothing to be done for `check'.
make[2]: Leaving directory `/home/Sandy/Maude-2.6/src/ObjectSystem'
Making check in Meta
make[2]: Entering directory `/home/Sandy/Maude-2.6/src/Meta'
make[2]: Nothing to be done for `check'.
make[2]: Leaving directory `/home/Sandy/Maude-2.6/src/Meta'
Making check in FullCompiler
make[2]: Entering directory `/home/Sandy/Maude-2.6/src/FullCompiler'
make[2]: Nothing to be done for `check'.
make[2]: Leaving directory `/home/Sandy/Maude-2.6/src/FullCompiler'
Making check in MSCP10
make[2]: Entering directory `/home/Sandy/Maude-2.6/src/MSCP10'
make[2]: Nothing to be done for `check'.
make[2]: Leaving directory `/home/Sandy/Maude-2.6/src/MSCP10'
Making check in StrategyLanguage
make[2]: Entering directory `/home/Sandy/Maude-2.6/src/StrategyLanguage'
make[2]: Nothing to be done for `check'.
make[2]: Leaving directory `/home/Sandy/Maude-2.6/src/StrategyLanguage'
Making check in Mixfix
make[2]: Entering directory `/home/Sandy/Maude-2.6/src/Mixfix'
make  check-am
make[3]: Entering directory `/home/Sandy/Maude-2.6/src/Mixfix'
make[3]: Nothing to be done for `check-am'.
make[3]: Leaving directory `/home/Sandy/Maude-2.6/src/Mixfix'
make[2]: Leaving directory `/home/Sandy/Maude-2.6/src/Mixfix'
Making check in Main
make[2]: Entering directory `/home/Sandy/Maude-2.6/src/Main'
make[2]: Nothing to be done for `check'.
make[2]: Leaving directory `/home/Sandy/Maude-2.6/src/Main'
make[2]: Entering directory `/home/Sandy/Maude-2.6/src'
make[2]: Nothing to be done for `check-am'.
make[2]: Leaving directory `/home/Sandy/Maude-2.6/src'
make[1]: Leaving directory `/home/Sandy/Maude-2.6/src'
Making check in tests
make[1]: Entering directory `/home/Sandy/Maude-2.6/tests'
Making check in BuiltIn
make[2]: Entering directory `/home/Sandy/Maude-2.6/tests/BuiltIn'
make  check-TESTS
make[3]: Entering directory `/home/Sandy/Maude-2.6/tests/BuiltIn'
FAIL: nat
FAIL: int
FAIL: rat
FAIL: string
FAIL: counters
=============================================
5 of 5 tests failed
Please report to 
maude-bugs AT maude.cs.uiuc.edu
=============================================
make[3]: *** [check-TESTS] Error 1
make[3]: Leaving directory `/home/Sandy/Maude-2.6/tests/BuiltIn'
make[2]: *** [check-am] Error 2
make[2]: Leaving directory `/home/Sandy/Maude-2.6/tests/BuiltIn'
make[1]: *** [check-recursive] Error
make[1]: Leaving directory `/home/Sandy/Maude-2.6/tests',
make: *** [check-recursive] Error 1


I tried make install anyways it again did not throw any error. I am
not sure if the installation is completed. How do I check if the
installation is completed? If its not what have I missed.

The output to make install is as below

Making install in src
make[1]: Entering directory `/home/Sandy/Maude-2.6/src'
Making install in 3rdParty
make[2]: Entering directory `/home/Sandy/Maude-2.6/src/3rdParty'
make[3]: Entering directory `/home/Sandy/Maude-2.6/src/3rdParty'
make[3]: Nothing to be done for `install-exec-am'.
make[3]: Nothing to be done for `install-data-am'.
make[3]: Leaving directory `/home/Sandy/Maude-2.6/src/3rdParty'
make[2]: Leaving directory `/home/Sandy/Maude-2.6/src/3rdParty'
Making install in Utility
make[2]: Entering directory `/home/Sandy/Maude-2.6/src/Utility'
make[3]: Entering directory `/home/Sandy/Maude-2.6/src/Utility'
make[3]: Nothing to be done for `install-exec-am'.
make[3]: Nothing to be done for `install-data-am'.
make[3]: Leaving directory `/home/Sandy/Maude-2.6/src/Utility'
make[2]: Leaving directory `/home/Sandy/Maude-2.6/src/Utility'
Making install in Temporal
make[2]: Entering directory `/home/Sandy/Maude-2.6/src/Temporal'
make[3]: Entering directory `/home/Sandy/Maude-2.6/src/Temporal'
make[3]: Nothing to be done for `install-exec-am'.
make[3]: Nothing to be done for `install-data-am'.
make[3]: Leaving directory `/home/Sandy/Maude-2.6/src/Temporal'
make[2]: Leaving directory `/home/Sandy/Maude-2.6/src/Temporal'
Making install in Interface
make[2]: Entering directory `/home/Sandy/Maude-2.6/src/Interface'
make[3]: Entering directory `/home/Sandy/Maude-2.6/src/Interface'
make[3]: Nothing to be done for `install-exec-am'.
make[3]: Nothing to be done for `install-data-am'.
make[3]: Leaving directory `/home/Sandy/Maude-2.6/src/Interface'
make[2]: Leaving directory `/home/Sandy/Maude-2.6/src/Interface'
Making install in Core
make[2]: Entering directory `/home/Sandy/Maude-2.6/src/Core'
make[3]: Entering directory `/home/Sandy/Maude-2.6/src/Core'
make[3]: Nothing to be done for `install-exec-am'.
make[3]: Nothing to be done for `install-data-am'.
make[3]: Leaving directory `/home/Sandy/Maude-2.6/src/Core'
make[2]: Leaving directory `/home/Sandy/Maude-2.6/src/Core'
Making install in Variable
make[2]: Entering directory `/home/Sandy/Maude-2.6/src/Variable'
make[3]: Entering directory `/home/Sandy/Maude-2.6/src/Variable'
make[3]: Nothing to be done for `install-exec-am'.
make[3]: Nothing to be done for `install-data-am'.
make[3]: Leaving directory `/home/Sandy/Maude-2.6/src/Variable'
make[2]: Leaving directory `/home/Sandy/Maude-2.6/src/Variable'
Making install in NA_Theory
make[2]: Entering directory `/home/Sandy/Maude-2.6/src/NA_Theory'
make[3]: Entering directory `/home/Sandy/Maude-2.6/src/NA_Theory'
make[3]: Nothing to be done for `install-exec-am'.
make[3]: Nothing to be done for `install-data-am'.
make[3]: Leaving directory `/home/Sandy/Maude-2.6/src/NA_Theory'
make[2]: Leaving directory `/home/Sandy/Maude-2.6/src/NA_Theory'
Making install in ACU_Persistent
make[2]: Entering directory `/home/Sandy/Maude-2.6/src/ACU_Persistent'
make[3]: Entering directory `/home/Sandy/Maude-2.6/src/ACU_Persistent'
make[3]: Nothing to be done for `install-exec-am'.
make[3]: Nothing to be done for `install-data-am'.
make[3]: Leaving directory `/home/Sandy/Maude-2.6/src/ACU_Persistent'
make[2]: Leaving directory `/home/Sandy/Maude-2.6/src/ACU_Persistent'
Making install in ACU_Theory
make[2]: Entering directory `/home/Sandy/Maude-2.6/src/ACU_Theory'
make[3]: Entering directory `/home/Sandy/Maude-2.6/src/ACU_Theory'
make[3]: Nothing to be done for `install-exec-am'.
make[3]: Nothing to be done for `install-data-am'.
make[3]: Leaving directory `/home/Sandy/Maude-2.6/src/ACU_Theory'
make[2]: Leaving directory `/home/Sandy/Maude-2.6/src/ACU_Theory'
Making install in AU_Persistent
make[2]: Entering directory `/home/Sandy/Maude-2.6/src/AU_Persistent'
make[3]: Entering directory `/home/Sandy/Maude-2.6/src/AU_Persistent'
make[3]: Nothing to be done for `install-exec-am'.
make[3]: Nothing to be done for `install-data-am'.
make[3]: Leaving directory `/home/Sandy/Maude-2.6/src/AU_Persistent'
make[2]: Leaving directory `/home/Sandy/Maude-2.6/src/AU_Persistent'
Making install in AU_Theory
make[2]: Entering directory `/home/Sandy/Maude-2.6/src/AU_Theory'
make[3]: Entering directory `/home/Sandy/Maude-2.6/src/AU_Theory'
make[3]: Nothing to be done for `install-exec-am'.
make[3]: Nothing to be done for `install-data-am'.
make[3]: Leaving directory `/home/Sandy/Maude-2.6/src/AU_Theory'
make[2]: Leaving directory `/home/Sandy/Maude-2.6/src/AU_Theory'
Making install in CUI_Theory
make[2]: Entering directory `/home/Sandy/Maude-2.6/src/CUI_Theory'
make[3]: Entering directory `/home/Sandy/Maude-2.6/src/CUI_Theory'
make[3]: Nothing to be done for `install-exec-am'.
make[3]: Nothing to be done for `install-data-am'.
make[3]: Leaving directory `/home/Sandy/Maude-2.6/src/CUI_Theory'
make[2]: Leaving directory `/home/Sandy/Maude-2.6/src/CUI_Theory'
Making install in S_Theory
make[2]: Entering directory `/home/Sandy/Maude-2.6/src/S_Theory'
make[3]: Entering directory `/home/Sandy/Maude-2.6/src/S_Theory'
make[3]: Nothing to be done for `install-exec-am'.
make[3]: Nothing to be done for `install-data-am'.
make[3]: Leaving directory `/home/Sandy/Maude-2.6/src/S_Theory'
make[2]: Leaving directory `/home/Sandy/Maude-2.6/src/S_Theory'
Making install in FreeTheory
make[2]: Entering directory `/home/Sandy/Maude-2.6/src/FreeTheory'
make[3]: Entering directory `/home/Sandy/Maude-2.6/src/FreeTheory'
make[3]: Nothing to be done for `install-exec-am'.
make[3]: Nothing to be done for `install-data-am'.
make[3]: Leaving directory `/home/Sandy/Maude-2.6/src/FreeTheory'
make[2]: Leaving directory `/home/Sandy/Maude-2.6/src/FreeTheory'
Making install in Higher
make[2]: Entering directory `/home/Sandy/Maude-2.6/src/Higher'
make[3]: Entering directory `/home/Sandy/Maude-2.6/src/Higher'
make[3]: Nothing to be done for `install-exec-am'.
make[3]: Nothing to be done for `install-data-am'.
make[3]: Leaving directory `/home/Sandy/Maude-2.6/src/Higher'
make[2]: Leaving directory `/home/Sandy/Maude-2.6/src/Higher'
Making install in BuiltIn
make[2]: Entering directory `/home/Sandy/Maude-2.6/src/BuiltIn'
make[3]: Entering directory `/home/Sandy/Maude-2.6/src/BuiltIn'
make[3]: Nothing to be done for `install-exec-am'.
make[3]: Nothing to be done for `install-data-am'.
make[3]: Leaving directory `/home/Sandy/Maude-2.6/src/BuiltIn'
make[2]: Leaving directory `/home/Sandy/Maude-2.6/src/BuiltIn'
Making install in IO_Stuff
make[2]: Entering directory `/home/Sandy/Maude-2.6/src/IO_Stuff'
make[3]: Entering directory `/home/Sandy/Maude-2.6/src/IO_Stuff'
make[3]: Nothing to be done for `install-exec-am'.
make[3]: Nothing to be done for `install-data-am'.
make[3]: Leaving directory `/home/Sandy/Maude-2.6/src/IO_Stuff'
make[2]: Leaving directory `/home/Sandy/Maude-2.6/src/IO_Stuff'
Making install in ObjectSystem
make[2]: Entering directory `/home/Sandy/Maude-2.6/src/ObjectSystem'
make[3]: Entering directory `/home/Sandy/Maude-2.6/src/ObjectSystem'
make[3]: Nothing to be done for `install-exec-am'.
make[3]: Nothing to be done for `install-data-am'.
make[3]: Leaving directory `/home/Sandy/Maude-2.6/src/ObjectSystem'
make[2]: Leaving directory `/home/Sandy/Maude-2.6/src/ObjectSystem'
Making install in Meta
make[2]: Entering directory `/home/Sandy/Maude-2.6/src/Meta'
make[3]: Entering directory `/home/Sandy/Maude-2.6/src/Meta'
make[3]: Nothing to be done for `install-exec-am'.
make[3]: Nothing to be done for `install-data-am'.
make[3]: Leaving directory `/home/Sandy/Maude-2.6/src/Meta'
make[2]: Leaving directory `/home/Sandy/Maude-2.6/src/Meta'
Making install in FullCompiler
make[2]: Entering directory `/home/Sandy/Maude-2.6/src/FullCompiler'
make[3]: Entering directory `/home/Sandy/Maude-2.6/src/FullCompiler'
make[3]: Nothing to be done for `install-exec-am'.
make[3]: Nothing to be done for `install-data-am'.
make[3]: Leaving directory `/home/Sandy/Maude-2.6/src/FullCompiler'
make[2]: Leaving directory `/home/Sandy/Maude-2.6/src/FullCompiler'
Making install in MSCP10
make[2]: Entering directory `/home/Sandy/Maude-2.6/src/MSCP10'
make[3]: Entering directory `/home/Sandy/Maude-2.6/src/MSCP10'
make[3]: Nothing to be done for `install-exec-am'.
make[3]: Nothing to be done for `install-data-am'.
make[3]: Leaving directory `/home/Sandy/Maude-2.6/src/MSCP10'
make[2]: Leaving directory `/home/Sandy/Maude-2.6/src/MSCP10'
Making install in StrategyLanguage
make[2]: Entering directory `/home/Sandy/Maude-2.6/src/StrategyLanguage'
make[3]: Entering directory `/home/Sandy/Maude-2.6/src/StrategyLanguage'
make[3]: Nothing to be done for `install-exec-am'.
make[3]: Nothing to be done for `install-data-am'.
make[3]: Leaving directory `/home/Sandy/Maude-2.6/src/StrategyLanguage'
make[2]: Leaving directory `/home/Sandy/Maude-2.6/src/StrategyLanguage'
Making install in Mixfix
make[2]: Entering directory `/home/Sandy/Maude-2.6/src/Mixfix'
make  install-am
make[3]: Entering directory `/home/Sandy/Maude-2.6/src/Mixfix'
make[4]: Entering directory `/home/Sandy/Maude-2.6/src/Mixfix'
make[4]: Nothing to be done for `install-exec-am'.
make[4]: Nothing to be done for `install-data-am'.
make[4]: Leaving directory `/home/Sandy/Maude-2.6/src/Mixfix'
make[3]: Leaving directory `/home/Sandy/Maude-2.6/src/Mixfix'
make[2]: Leaving directory `/home/Sandy/Maude-2.6/src/Mixfix'
Making install in Main
make[2]: Entering directory `/home/Sandy/Maude-2.6/src/Main'
make[3]: Entering directory `/home/Sandy/Maude-2.6/src/Main'
test -z "/usr/local/bin" || mkdir -p -- "/usr/local/bin"
  /usr/bin/install -c 'maude' '/usr/local/bin/maude'
test -z "/usr/local/share" || mkdir -p -- "/usr/local/share"
 /usr/bin/install -c -m 644 'prelude.maude' '/usr/local/share/prelude.maude'
 /usr/bin/install -c -m 644 'model-checker.maude'
'/usr/local/share/model-checker.maude'
 /usr/bin/install -c -m 644 'socket.maude' '/usr/local/share/socket.maude'
 /usr/bin/install -c -m 644 'linear.maude' '/usr/local/share/linear.maude'
 /usr/bin/install -c -m 644 'machine-int.maude'
'/usr/local/share/machine-int.maude'
 /usr/bin/install -c -m 644 'term-order.maude'
'/usr/local/share/term-order.maude'
 /usr/bin/install -c -m 644 'metaInterpreter.maude'
'/usr/local/share/metaInterpreter.maude'
make[3]: Leaving directory `/home/Sandy/Maude-2.6/src/Main'
make[2]: Leaving directory `/home/Sandy/Maude-2.6/src/Main'
make[2]: Entering directory `/home/Sandy/Maude-2.6/src'
make[3]: Entering directory `/home/Sandy/Maude-2.6/src'
make[3]: Nothing to be done for `install-exec-am'.
make[3]: Nothing to be done for `install-data-am'.
make[3]: Leaving directory `/home/Sandy/Maude-2.6/src'
make[2]: Leaving directory `/home/Sandy/Maude-2.6/src'
make[1]: Leaving directory `/home/Sandy/Maude-2.6/src'
Making install in tests
make[1]: Entering directory `/home/Sandy/Maude-2.6/tests'
Making install in BuiltIn
make[2]: Entering directory `/home/Sandy/Maude-2.6/tests/BuiltIn'
make[3]: Entering directory `/home/Sandy/Maude-2.6/tests/BuiltIn'
make[3]: Nothing to be done for `install-exec-am'.
make[3]: Nothing to be done for `install-data-am'.
make[3]: Leaving directory `/home/Sandy/Maude-2.6/tests/BuiltIn'
make[2]: Leaving directory `/home/Sandy/Maude-2.6/tests/BuiltIn'
Making install in Misc
make[2]: Entering directory `/home/Sandy/Maude-2.6/tests/Misc'
make[3]: Entering directory `/home/Sandy/Maude-2.6/tests/Misc'
make[3]: Nothing to be done for `install-exec-am'.
make[3]: Nothing to be done for `install-data-am'.
make[3]: Leaving directory `/home/Sandy/Maude-2.6/tests/Misc'
make[2]: Leaving directory `/home/Sandy/Maude-2.6/tests/Misc'
Making install in Meta
make[2]: Entering directory `/home/Sandy/Maude-2.6/tests/Meta'
make[3]: Entering directory `/home/Sandy/Maude-2.6/tests/Meta'
make[3]: Nothing to be done for `install-exec-am'.
make[3]: Nothing to be done for `install-data-am'.
make[3]: Leaving directory `/home/Sandy/Maude-2.6/tests/Meta'
make[2]: Leaving directory `/home/Sandy/Maude-2.6/tests/Meta'
Making install in ResolvedBugs
make[2]: Entering directory `/home/Sandy/Maude-2.6/tests/ResolvedBugs'
make[3]: Entering directory `/home/Sandy/Maude-2.6/tests/ResolvedBugs'
make[3]: Nothing to be done for `install-exec-am'.
make[3]: Nothing to be done for `install-data-am'.
make[3]: Leaving directory `/home/Sandy/Maude-2.6/tests/ResolvedBugs'
make[2]: Leaving directory `/home/Sandy/Maude-2.6/tests/ResolvedBugs'
make[2]: Entering directory `/home/Sandy/Maude-2.6/tests'
make[3]: Entering directory `/home/Sandy/Maude-2.6/tests'
make[3]: Nothing to be done for `install-exec-am'.
make[3]: Nothing to be done for `install-data-am'.
make[3]: Leaving directory `/home/Sandy/Maude-2.6/tests'
make[2]: Leaving directory `/home/Sandy/Maude-2.6/tests'
make[1]: Leaving directory `/home/Sandy/Maude-2.6/tests'
make[1]: Entering directory `/home/Sandy/Maude-2.6'
make[2]: Entering directory `/home/Sandy/Maude-2.6'
make[2]: Nothing to be done for `install-exec-am'.
make[2]: Nothing to be done for `install-data-am'.
make[2]: Leaving directory `/home/Sandy/Maude-2.6'
make[1]: Leaving directory `/home/Sandy/Maude-2.6'

-- 
Cheers
Sandy

Attachment: config.log
Description: Binary data

Attachment: make.log
Description: Binary data