[Top][All Lists]
[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
- Re: [Gcl-devel] Re: ACL2 Version 4.0, (continued)
- Re: [Gcl-devel] Re: ACL2 Version 4.0, Matt Kaufmann, 2010/07/27
- Re: [Gcl-devel] Re: ACL2 Version 4.0, Camm Maguire, 2010/07/27
- Re: [Gcl-devel] Re: ACL2 Version 4.0, Matt Kaufmann, 2010/07/27
- Re: [Gcl-devel] Re: ACL2 Version 4.0, Camm Maguire, 2010/07/27
- Re: [Gcl-devel] Re: ACL2 Version 4.0, Matt Kaufmann, 2010/07/28
- [Gcl-devel] gcl-2.6.8, Camm Maguire, 2010/07/28
- Re: [Gcl-devel] gcl-2.6.8, Gabriel Dos Reis, 2010/07/29
- Re: [Gcl-devel] gcl-2.6.8, Camm Maguire, 2010/07/30
- Re: [Gcl-devel] gcl-2.6.8, Gabriel Dos Reis, 2010/07/30
- Re: [Gcl-devel] Re: ACL2 Version 4.0, Camm Maguire, 2010/07/27
- Re: [Gcl-devel] Re: ACL2 Version 4.0,
Matt Kaufmann <=