Maude-help mailing list

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

It's likely that all the tests would fail but the test script stops after the first directory. Does the binary you make run? Does arithmetic work?

red in NAT : 2 + 2 .

Steven

On 3/6/12 12:27 PM, Hui Lin (Hugo) wrote: Hi,

I am installing Core Maude 2.6 from source in Fedora 14. There are no error in ./configure and make, but make check notices me that there are 5 te

make[3]: Entering directory `/home/hugo/src/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/hugo/src/Maude-2.6/tests/BuiltIn'
make[2]: *** [check-am] Error 2
make[2]: Leaving directory `/home/hugo/src/Maude-2.6/tests/BuiltIn'
make[1]: *** [check-recursive] Error 1
make[1]: Leaving directory `/home/hugo/src/Maude-2.6/tests'
make: *** [check-recursive] Error 1

I am not quite sure why this happens. Can anyone provide a explanation?

Best,

Hui

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