maude-help AT lists.siebelschool.illinois.edu
Subject: Maude-help mailing list
List archive
- From: minyounk AT ics.uci.edu
- To: "maude-help AT maude.cs.uiuc.edu" <maude-help AT peepal.cs.uiuc.edu>
- Cc: minyounk AT uci.edu
- Subject: [Maude-help] compilation error
- Date: Mon, 13 Dec 2004 01:11:54 -0800 (PST)
- Importance: Normal
- List-archive: <http://maude.cs.uiuc.edu/pipermail/maude-help>
- List-id: Maude help list <maude-help.maude.cs.uiuc.edu>
Hello folks,
Can someone explain why the following error is generated?
I am using the following versions of source codes and os/compiler:
Maude-2.1
gmp-4.1.2
Linux version 2.4.22 (gcc version 3.2.2 20030222 (Red Hat Linux 3.2.2-5))
#2 Tue Mar 2 18:29:30 PST 2004
maude-mixfixModule.o(.text+0xcbed): In function
`MixfixModule::handleIter(ostream &, Term *, MixfixModule::SymbolInfo &,
bool, char const *)':
/usr/local/include/gmpxx.h:2396: undefined reference to
`operator<<(ostream &, __mpz_struct const *)'
maude-mixfixModule.o(.text+0xcecc): In function
`MixfixModule::handleMinus(ostream &, Term *, bool, char const *)':
/usr/local/include/gmpxx.h:2396: undefined reference to
`operator<<(ostream &, __mpz_struct const *)'
maude-mixfixModule.o(.text+0xcfe6): In function
`MixfixModule::handleDivision(ostream &, Term *, bool, char const *)':
/usr/local/include/gmpxx.h:2396: undefined reference to
`operator<<(ostream &, __mpz_struct const *)'
maude-mixfixModule.o(.text+0xcff9):/usr/local/include/gmpxx.h:2396:
undefined reference to `operator<<(ostream &, __mpz_struct const *)'
maude-mixfixModule.o(.text+0xddaf): In function
`MixfixModule::handleIter(ostream &, MixfixModule::ColoringInfo &, DagNode
*, MixfixModule::SymbolInfo &, bool, char const *)':
/usr/local/include/gmpxx.h:2396: undefined reference to
`operator<<(ostream &, __mpz_struct const *)'
maude-mixfixModule.o(.text+0xe0bb):/usr/local/include/gmpxx.h:2396: more
undefined references to `operator<<(ostream &, __mpz_struct const *)'
follow
collect2: ld returned 1 exit status
make[4]: *** [maude] Error 1
make[4]: Leaving directory `/home/minyounk/maude/Maude-2.1/src/Mixfix'
make[3]: *** [all] Error 2
make[3]: Leaving directory `/home/minyounk/maude/Maude-2.1/src/Mixfix'
make[2]: *** [all-recursive] Error 1
make[2]: Leaving directory `/home/minyounk/maude/Maude-2.1/src'
make[1]: *** [all-recursive] Error 1
make[1]: Leaving directory `/home/minyounk/maude/Maude-2.1'
Thank you very much.
--Minyoung
- [Maude-help] compilation error, minyounk, 12/13/2004
- Re: [Maude-help] compilation error, Steven Eker, 12/13/2004
Archive powered by MHonArc 2.6.16.