maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

[Maude-help] Hui Lin_Fedora 14 Maude make check 5 tests failed

From: "Hui Lin (Hugo) " <hlin33 AT illinois.edu>
To: <maude-help AT cs.uiuc.edu>
Subject: [Maude-help] Hui Lin_Fedora 14 Maude make check 5 tests failed
Date: Tue, 6 Mar 2012 14:27:53 -0600
Authentication-results: mr.google.com; spf=pass (google.com: domain of hlin33 AT illinois.edu designates 10.112.85.233 as permitted sender) smtp.mail=hlin33 AT illinois.edu
List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help>
List-id: <maude-help.cs.uiuc.edu>

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] Hui Lin_Fedora 14 Maude make check 5 tests failed, Hui Lin (Hugo) , 03/06/2012
- Re: [Maude-help] Hui Lin_Fedora 14 Maude make check 5 tests failed, Steven Eker, 03/06/2012