Maude-help mailing list

[Steven Eker <eker AT csl.sri.com>]

Hard to say without see the output of the tests. It looks like Maude is failing generally which could be as simple as it not being able to find the prelude. Could you load tests/Builtin/nat.maude into your installed version of Maude and send me the result.

Steven

On 4/7/12 8:38 AM, Sandeep Soni wrote:

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'

_______________________________________________
Maude-help mailing list
Maude-help AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/maude-help