gcl-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Gcl-devel] Re: ACL2 Version 4.0


From: Matt Kaufmann
Subject: Re: [Gcl-devel] Re: ACL2 Version 4.0
Date: Tue, 27 Jul 2010 12:25:40 -0500

Thanks, Camm.  OK, I tried a fresh checkout but got the error shown
below.  I'll send you a full log without including gcl-devel.....

gcc  -o raw_pre_gcl  \
                -L.    -lpre_gcl `echo -lm  -lreadline | sed -e 's/-lncurses/ 
/'` -lc -lgclp 
Undefined symbols:
  "___gmpz_tdiv_qr", referenced from:
      _m__gmpz_tdiv_qr in libpre_gcl.a(gmp_wrappers.o)
  "___gmp_set_memory_functions", referenced from:
      _gcl_init_big1 in libpre_gcl.a(big.o)
      _gcl_init_big in libpre_gcl.a(big.o)
  "___gmpz_fits_sint_p", referenced from:
      _m__gmpz_fits_sint_p in libpre_gcl.a(gmp_wrappers.o)
      _m__gmpz_fits_sint_p in libpre_gcl.a(gmp_wrappers.o)
  "___gmpz_get_str", referenced from:
      _m__gmpz_get_str in libpre_gcl.a(gmp_wrappers.o)
  "___gmpz_init", referenced from:
      _m__gmpz_init in libpre_gcl.a(gmp_wrappers.o)
  "___gmpn_mul_1", referenced from:
      _ctimes in libpre_gcl.a(earith.o)
  "___gmpz_fits_slong_p", referenced from:
      _siLnani in libpre_gcl.a(main.o)
  "___gmpz_get_si", referenced from:
      _m__gmpz_get_si in libpre_gcl.a(gmp_wrappers.o)
      _m__gmpz_get_si in libpre_gcl.a(gmp_wrappers.o)
  "___gmpz_tstbit", referenced from:
      _m__gmpz_tstbit in libpre_gcl.a(gmp_wrappers.o)
      _m__gmpz_tstbit in libpre_gcl.a(gmp_wrappers.o)
  "___gmpz_realloc", referenced from:
      _read_fasd1 in libpre_gcl.a(fat_string.o)
  "___gmpz_set_si", referenced from:
      _m__gmpz_set_si in libpre_gcl.a(gmp_wrappers.o)
  "___gmpz_set_ui", referenced from:
      _m__gmpz_set_ui in libpre_gcl.a(gmp_wrappers.o)
  "___gmpn_divrem_1", referenced from:
      _ctimes in libpre_gcl.a(earith.o)
  "___gmpz_mul_2exp", referenced from:
      _m__gmpz_mul_2exp in libpre_gcl.a(gmp_wrappers.o)
  "___gmpz_sizeinbase", referenced from:
      _m__gmpz_sizeinbase in libpre_gcl.a(gmp_wrappers.o)
      _m__gmpz_sizeinbase in libpre_gcl.a(gmp_wrappers.o)
  "___gmpz_fdiv_q_2exp", referenced from:
      _m__gmpz_fdiv_q_2exp in libpre_gcl.a(gmp_wrappers.o)
  "___gmpz_sub_ui", referenced from:
      _m__gmpz_sub_ui in libpre_gcl.a(gmp_wrappers.o)
  "___gmpz_add", referenced from:
      _m__gmpz_add in libpre_gcl.a(gmp_wrappers.o)
  "___gmpz_and", referenced from:
      _m__gmpz_and in libpre_gcl.a(gmp_wrappers.o)
  "___gmpz_cmp", referenced from:
      _m__gmpz_cmp in libpre_gcl.a(gmp_wrappers.o)
      _m__gmpz_cmp in libpre_gcl.a(gmp_wrappers.o)
  "___gmpz_com", referenced from:
      _m__gmpz_com in libpre_gcl.a(gmp_wrappers.o)
  "___gmpz_ior", referenced from:
      _m__gmpz_ior in libpre_gcl.a(gmp_wrappers.o)
  "___gmpz_mul", referenced from:
      _m__gmpz_mul in libpre_gcl.a(gmp_wrappers.o)
  "___gmpz_set", referenced from:
      _m__gmpz_set in libpre_gcl.a(gmp_wrappers.o)
      _m__gmpz_neg in libpre_gcl.a(gmp_wrappers.o)
  "___gmpz_get_d", referenced from:
      _m__gmpz_get_d in libpre_gcl.a(gmp_wrappers.o)
      _m__gmpz_get_d in libpre_gcl.a(gmp_wrappers.o)
  "___gmpn_popcount", referenced from:
      _m__gmpz_popcount in libpre_gcl.a(gmp_wrappers.o)
  "___gmpz_sub", referenced from:
      _m__gmpz_sub in libpre_gcl.a(gmp_wrappers.o)
  "___gmpz_xor", referenced from:
      _m__gmpz_xor in libpre_gcl.a(gmp_wrappers.o)
  "___gmpz_mul_si", referenced from:
      _m__gmpz_mul_si in libpre_gcl.a(gmp_wrappers.o)
  "___gmpz_add_ui", referenced from:
      _m__gmpz_add_ui in libpre_gcl.a(gmp_wrappers.o)
ld: symbol(s) not found
collect2: ld returned 1 exit status
make[1]: *** [raw_pre_gcl_map] Error 1
make: *** [unixport/saved_pre_gcl] Error 2
~/lisps/gcl/gcl-2.6.8pre$ 

-- Matt
   Cc: address@hidden, address@hidden
   From: Camm Maguire <address@hidden>
   Date: Tue, 27 Jul 2010 13:16:41 -0400
   X-SpamAssassin-Status: No, hits=-2.6 required=5.0
   X-UTCS-Spam-Status: No, hits=-252 required=165

   Greetings! OK you can try a cvs update now and a rebuild.  I think the
   new rsym_macosx.c should work on all macs.

   Please let me know if problems persist.

   Take care,

   -- 
   Camm Maguire                                     address@hidden
   ==========================================================================
   "The earth is but one country, and mankind its citizens."  --  Baha'u'llah



reply via email to

[Prev in Thread] Current Thread [Next in Thread]