Maude-help mailing list

[Krzysztof Majewski <krzys AT ifi.uio.no>]

Hi,
Has anybody managed to build Maude 2.4 on OS X "Leopard" (10.5.8, in  
my case)? I'm using XCode 3.1.2 which provides gcc-4.2. I've built all  
the dependencies, but when I try to build Maude I get the following  
error. It seems "file is not of required architecture" is not what  
you'd think, since I built that file moments before, on the same  
machine, using the same compiler. Having said that, I originally had  
similar error messages when building the test suite for libgmp, when I  
forgot to pass CXX=g++-4.2 in addition to CC=gcc-4.2.

chris

g++-4.2  -g -Wall -O2 -fomit-frame-pointer -fforce-addr     -o maude   
maude-main.o ../Mixfix/libmixfix.a ../StrategyLanguage/ 
libstrategyLanguage.a ../Meta/libmeta.a ../ObjectSystem/ 
libobjectSystem.a ../BuiltIn/libbuiltIn.a ../Higher/libhigher.a ../ 
FreeTheory/libfreeTheory.a ../AU_Theory/libAU_Theory.a ../ 
AU_Persistent/libAU_Persistent.a ../ACU_Theory/libACU_Theory.a ../ 
ACU_Persistent/libACU_Persistent.a ../CUI_Theory/libCUI_Theory.a ../ 
S_Theory/libS_Theory.a ../NA_Theory/libNA_Theory.a ../Variable/ 
libvariable.a ../Interface/libinterface.a ../Core/libcore.a ../MSCP10/ 
libmscp10.a ../Temporal/libtemporal.a ../IO_Stuff/libIO_Stuff.a  ../ 
Utility/libutility.a -lbdd -ltecla -lcurses -lsigsegv -lgmpxx -lgmp
ld warning: in /usr/local/lib/libgmpxx.a, file is not of required  
architecture
ld warning: in /usr/local/lib/libgmp.a, file is not of required  
architecture
Undefined symbols:
  "___gmpz_pow_ui", referenced from:
      NumberOpSymbol::eqRewrite(DagNode*, RewritingContext&)      in  
libbuiltIn.a(libbuiltIn_a-numberOpSymbol.o)