Skip to Content.
Sympa Menu

maude-help - [Maude-help] compilation error

maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

[Maude-help] compilation error


Chronological Thread 
  • 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






Archive powered by MHonArc 2.6.16.

Top of Page