Maude-help mailing list

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

Did you comfigure gmp with the --enable-cxx option?
Did you use the same C++ compiler for gmp and maude?
Perhaps the compiler is picking up an older version of the gmp header files 
or 
the linker is picking up an older version of the gmp library files.

Steven Eker

On Monday 13 December 2004 01:11 am, 
minyounk AT ics.uci.edu
 wrote:
> 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 mailing list
> Maude-help AT maude.cs.uiuc.edu
> http://maude.cs.uiuc.edu/cgi-bin/mailman/listinfo/maude-help