-2.6.8pre kaufmann$
The full log is in /Volumes/tfs/GCL/gcl-2.6.8pre/log.
-- Matt
Cc: [EMAIL PROTECTED], [EMAIL PROTECTED], [EMAIL PROTECTED],
gcl-devel@gnu.org
From: Camm Maguire [EMAIL PROTECTED]
Date: 10 Aug 2006 13:57:39 -0400
X-SpamAssassin-Status: No, hits=-2.5
Broken at ERROR. Type :H for Help.
1 (Continue) Return to top level.
dbl:
--
Camm Maguire[EMAIL PROTECTED]
==
The earth is but one country, and mankind its citizens
Greetings! This is in cvs head, aka 2.7.0. Please let me know if you
have trouble trying it out.
Take care,
--
Camm Maguire[EMAIL PROTECTED]
==
The earth is but one country
Greetings!
(let* ((compiler::*compiler-default-type* (pathname ))
(compiler::*lsp-ext* )) (compile-file /tmp/y))
works in 2.7 at least.
Don't know what you mean about asdf dependencies, but once loaded, the
entire executable image containing all compiled code can be dumpted
with
Greetings! Could you please post your config.log and the full
configure output?
Take care,
=
Greetings,
I am attempting to compile the latest GCL (via CVS) under the
latest Cygwin. While running configure I get:
]
--
Camm Maguire[EMAIL PROTECTED]
==
The earth is but one country, and mankind its citizens. -- Baha'u'llah
___
Gcl-devel mailing list
Gcl
Greetings, and thanks! This should be fixed in cvs head now.
Take care,
Faré [EMAIL PROTECTED] writes:
On 13 Oct 2006 12:18:19 -0400, Camm Maguire [EMAIL PROTECTED] wrote:
* cl-launch calls gcl with option -batch, and this causes gcl to NOT
re-read system::*tmp-dir* from (si::getenv TMP
is to get an
idea of the address at which the OS starts to load shared libraries.
Do you have a suggestion?
Take care,
Blake McBride [EMAIL PROTECTED] writes:
At 03:30 PM 10/12/2006, Camm Maguire wrote:
Greetings! Could you please post your config.log and the full
configure output
.
--
Camm Maguire[EMAIL PROTECTED]
==
The earth is but one country, and mankind its citizens. -- Baha'u'llah
___
Gcl-devel
CVSROOT:/cvsroot/gcl
Module name:gcl
Branch: Version_2_6_8pre
Changes by: Camm Maguire camm 06/10/18 17:08:56
Modified files:
. : acconfig.h configure configure.in
debian : changelog
h : gclincl.h.in powerpc
CVSROOT:/cvsroot/gcl
Module name:gcl
Changes by: Camm Maguire camm 06/10/18 17:13:08
Modified files:
. : configure.in configure
h : gclincl.h.in powerpc-macosx.defs
powerpc-macosx.h
o
CVSROOT:/cvsroot/gcl
Module name:gcl
Changes by: Camm Maguire camm 06/10/18 17:18:45
Modified files:
. : acconfig.h configure.in configure
h : gclincl.h.in powerpc-macosx.defs
powerpc-macosx.h
o
,
Bill Page.
--
Camm Maguire[EMAIL PROTECTED]
==
The earth is but one country, and mankind its citizens. -- Baha'u'llah
___
Gcl-devel
../tkl.o)(TK::GET-AUTOLOADS (directory *.lisp))'
30824 Aborted | ../../unixport/saved_ansi_gcl
make[1]: *** [all] Error 134
make[1]: Leaving directory `/v/filer3/v0q027/gcl-2.7.0/gcl-tk'
make: *** [do-gcl-tk] Error 2
--
Camm Maguire
we need to move this part of the message to a more conspicuous
place. :-)
OK reply separately.
Take care,
Thanks.
Regards,
Bill Page.
--
Camm Maguire[EMAIL PROTECTED
Greetings!
Bill Page [EMAIL PROTECTED] writes:
On October 21, 2006 4:05 PM Camm Maguire wrote:
...
Lastly, you all in the axiom world might like to know that I'm about
to release an HOL88 Debian package build atop GCL. In addition to
providing an alternate theorem proving
:
Camm Maguire [EMAIL PROTECTED] writes:
| Greetings! OK I think this is in now on branches 2.6.8 and head.
| Please let me know if problems persist.
Camm --
I just checked out GCL-2.6.8pre for build with Axiom.
The build appears to fail when makeinfo is not present in the build
://lists.gnu.org/mailman/listinfo/gcl-devel
--
Camm Maguire[EMAIL PROTECTED]
==
The earth is but one country, and mankind its citizens. -- Baha'u'llah
Greetings! OK, should be optional now. Please let me know if not.
Take care,
Gabriel Dos Reis [EMAIL PROTECTED] writes:
Camm Maguire [EMAIL PROTECTED] writes:
| Greetings, and thanks!
|
| Should we make makeinfo a build dependency of GCL? We cannot generate
| any documentation
/gcl-devel
--
Camm Maguire[EMAIL PROTECTED]
==
The earth is but one country, and mankind its citizens. -- Baha'u'llah
___
Gcl
next email.
Thanks again!
Take care,
Regards,
Bill Page.
--
Camm Maguire[EMAIL PROTECTED]
==
The earth is but one country, and mankind its citizens. -- Baha'u'llah
cannot use (si::function-src 'break-level) as this is already
macroexpanded. And we need a version which will work in the cltl1
image too.
Take care,
--
Camm Maguire[EMAIL PROTECTED
Thanks! I'll be doing likewise in cvs head.
Take care,
Gabriel Dos Reis [EMAIL PROTECTED] writes:
Gabriel Dos Reis [EMAIL PROTECTED] writes:
| Camm Maguire [EMAIL PROTECTED] writes:
|
| | Greetings! OK, should be optional now. Please let me know if not.
|
| Camm --
|
| Thanks
,
Tim
--
Camm Maguire[EMAIL PROTECTED]
==
The earth is but one country, and mankind its citizens. -- Baha'u'llah
___
Gcl
? If not, has anyone tried this?
Take care,
(gdb) n
58for (u=0;uv;u++) {
(gdb)
I guess it didn't know MY_BFD_FALSE and MY_BFD_TRUE but I
took a wild guess at what these symbols might be. Is this
output useful to you?
Regards,
Bill Page.
--
Camm Maguire
CVSROOT:/cvsroot/gcl
Module name:gcl
Branch: Version_2_6_8pre
Changes by: Camm Maguire camm 06/10/27 17:02:34
Modified files:
. : configure configure.in
debian : changelog control control. control.cvs rules
Log message
. with requested
gdb commands therein. I only write this as I'm noticing a lot more
traffic on axiom-developer on the web than I am getting locally.
Please do me the favor of cc'ing me directly until we can work out our
mailer problems.
Take care,
--
Camm Maguire
that open
just does an open. I suppose we could look for a first character of
#\| and cause an error in that case. But maybe you want to consider
eliminating this GCL feature?
Thanks --
-- Matt
--
Camm Maguire[EMAIL PROTECTED
(br.ret.sptk.few rp);
asm(.endp GC_save_regs_in_stack);
void * GC_save_regs_in_stack();
#endif
There are two stacks which need saving on ia64. Could something
similar have been added to hppa too?
Take care, and thanks again!
Camm Maguire
Continuing.
Breakpoint 3, build_symbol_table_bfd () at sfasli.c:89
89h-type=bfd_link_hash_defined;
(gdb) cp q[u]-name
$16 = 0x575f83 _cos
(gdb)
---
-Original Message-
From: Camm Maguire [mailto:[EMAIL PROTECTED]
Sent: October 27, 2006 11:05 AM
this
was macosx intel or not. And if not, has anyone tried this? Does
anyone have access to such a machine? Is it important?
Take care,
Camm Maguire [EMAIL PROTECTED] writes:
Greetings! My understanding:
1) Bill's helpful emacs site lisp patch to configure.in
2) finish tracing down the plt issue
Cc: [EMAIL PROTECTED], [EMAIL PROTECTED], gcl-devel@gnu.org
From: Camm Maguire [EMAIL PROTECTED]
Date: 30 Oct 2006 14:54:44 -0500
X-SpamAssassin-Status: No, hits=-2.5 required=5.0
X-UTCS-Spam-Status: No, hits=-240 required=200
Greetings!
IMHO, this is a pretty useful
gensyms, and reset on
unrecoverable error.
Advice?
Take care,
--
Camm Maguire[EMAIL PROTECTED]
==
The earth is but one country, and mankind its citizens. -- Baha'u'llah
immutable key sequence to throw the abort tag, which is also done via
unrecoverable errors from C. Said key would have to hook into the
terminal driver and bypass read somehow.
Thoughts most appreciated.
Bob
--
Camm Maguire[EMAIL PROTECTED
the (second) call to bsearch.
I'll be leaving town tomorrow afternoon until Sunday, but would be
happy to fix this quickly today if possible.
Take care,
Regards,
Bill Page.
--
Camm Maguire[EMAIL PROTECTED
CVSROOT:/cvsroot/gcl
Module name:gcl
Branch: Version_2_6_8pre
Changes by: Camm Maguire camm 06/11/01 17:34:48
Modified files:
debian : changelog
o : plttest.c
Log message:
add sqrt to plttest.c
CVSWeb URLs:
http
town tomorrow afternoon until Sunday, but would be
happy to fix this quickly today if possible.
I will let you know.
Thanks.
Regards,
Bill Page.
--
Camm Maguire[EMAIL PROTECTED
Greetings, and thanks you so much for looking into this!
Steve Langasek [EMAIL PROTECTED] writes:
On Fri, Oct 27, 2006 at 09:48:43AM -0400, Camm Maguire wrote:
FWIW, after tracking down the last header problem on alpha I let the test
build continue on through to see if there were any
axiom. It would be most helpful if someone could
confirm the Fedora status for me.
Take care,
--
Camm Maguire[EMAIL PROTECTED]
==
The earth is but one country, and mankind its
as its internal
api changes so frequently and without notice.
Take care,
t
--
Camm Maguire[EMAIL PROTECTED]
==
The earth is but one country, and mankind its citizens
2
on RedHat 7.2
t
Take care,
--
Camm Maguire[EMAIL PROTECTED]
==
The earth is but one country, and mankind its citizens. -- Baha'u'llah
CVSROOT:/cvsroot/gcl
Module name:gcl
Changes by: Camm Maguire camm 06/11/02 14:27:41
Modified files:
. : configure configure.in
debian : changelog
Log message:
disable-nls added to the binutils subconfigures to avoid msgfmt
on the link command
line. But msgfmt is still not in the path, though might be made so.
In any case, I just added --disable-nls which omits these calls to
msgfmt.
Take care,
Regards,
Bill Page.
--
Camm Maguire[EMAIL PROTECTED
,
There is no apt-get or yum tool for the MAC that I can find.
You don't need to install binutils so you don't need
apt-get or yum.
Regards,
Bill Page.
--
Camm Maguire[EMAIL PROTECTED
Greetings and thanks! This should be in cvs now.
Take care,
Humberto Ortiz-Zuazaga [EMAIL PROTECTED] writes:
Camm Maguire wrote:
Without any path setting? In any case, I jsut checked, and it just
skips the msgfmt calls now, the libintl et.al. stuff is the same.
I still was having
:
root [EMAIL PROTECTED] writes:
| I did a checkout of
|
| cvs -z9 -q co -d gcl-2.6.8pre -r Version_2_6_8pre gcl
| With the patch to remove the -lintl from h/powerpc-macosx.defs LIBS line
I'll commit that patch to gcl-2.8.pre, and update axiom.build-improvements.
-- Gaby
--
Camm
Greetings!
Gabriel Dos Reis [EMAIL PROTECTED] writes:
Camm Maguire [EMAIL PROTECTED] writes:
| Greetings, and thanks! I guess I must have beat you to it. Just a
| quick note -- when we do commit a bug fix to the proto-stable branch,
| kindly also make sure it is fixed in cvs head
Greetings!
Gabriel Dos Reis [EMAIL PROTECTED] writes:
Camm Maguire [EMAIL PROTECTED] writes:
| Greetings!
|
| Gabriel Dos Reis [EMAIL PROTECTED] writes:
|
| Camm Maguire [EMAIL PROTECTED] writes:
|
| | Greetings, and thanks! I guess I must have beat you to it. Just
://www.math.utexas.edu/mailman/listinfo/maxima
___
Maxima mailing list
[EMAIL PROTECTED]
http://www.math.utexas.edu/mailman/listinfo/maxima
--
Camm Maguire[EMAIL PROTECTED
(external) function to
determine if the form is side-effect-free, then if so, replace the
form with `(let ((,sym ,form)) ,@(sublis '((,form . ,sym)) body)).
Anyone know of anything like this already written somewhere?
Take care,
--
Camm Maguire[EMAIL PROTECTED
,
--
Camm Maguire[EMAIL PROTECTED]
==
The earth is but one country, and mankind its citizens. -- Baha'u'llah
___
Gcl-devel mailing list
Greetings! Anyone know of a comprehensive list of errors which must
be correctable as per the spec? I'm assuming anything not explicitly
so stated can be a normal error.
Take care,
--
Camm Maguire[EMAIL PROTECTED
:expected-type 'list
Take care,
--
Camm Maguire[EMAIL PROTECTED]
==
The earth is but one country, and mankind its citizens. -- Baha'u'llah
):
--
Camm Maguire[EMAIL PROTECTED]
==
The earth is but one country, and mankind its citizens. -- Baha'u'llah
___
Gcl-devel mailing list
Gcl
is not globally defined as either a macro or a special
operator, and if the symbol is fbound, a function object is returned.
--
Camm Maguire[EMAIL PROTECTED]
==
The earth is but one
CVSROOT:/cvsroot/gcl
Module name:gcl
Changes by: Camm Maguire camm 06/11/16 02:06:07
Modified files:
o : num_arith.c num_sfun.c
debian : changelog
Log message:
more careful floating point overflow to work with compiler
CVSWeb
CVSROOT:/cvsroot/gcl
Module name:gcl
Changes by: Camm Maguire camm 06/11/16 03:55:00
Modified files:
debian : changelog
o : num_co.c num_comp.c
Log message:
fix number comparison tests
CVSWeb URLs:
http://cvs.savannah.gnu.org
CVSROOT:/cvsroot/gcl
Module name:gcl
Changes by: Camm Maguire camm 06/11/16 15:39:08
Modified files:
debian : changelog
lsp: gcl_serror.lsp
pcl: sys-package.lisp
Log message:
Fix error in error string printing
CVSROOT:/cvsroot/gcl
Module name:gcl
Changes by: Camm Maguire camm 06/11/16 23:39:21
Modified files:
debian : changelog
cmpnew : gcl_cmpeval.lsp
Log message:
fix every compiler macros
CVSWeb URLs:
http://cvs.savannah.gnu.org/viewcvs
CVSROOT:/cvsroot/gcl
Module name:gcl
Changes by: Camm Maguire camm 06/11/17 00:28:14
Modified files:
clcs : gcl_clcs_top_patches.lisp
debian : changelog
lsp: gcl_serror.lsp
pcl: gcl_pcl_boot.lisp
so much for so many fixes yesterday. I can't even remember them
all now, but you fixed them all!
Bob
--
Camm Maguire[EMAIL PROTECTED]
==
The earth is but one country
CVSROOT:/cvsroot/gcl
Module name:gcl
Changes by: Camm Maguire camm 06/11/21 23:59:16
Modified files:
clcs : gcl_clcs_handler.lisp gcl_clcs_install.lisp
gcl_clcs_macros.lisp gcl_clcs_restart.lisp
and
refuse to do the coercion. SBCL creates the compiled function.
Bob
--
Camm Maguire[EMAIL PROTECTED]
==
The earth is but one country, and mankind its citizens. -- Baha'u'llah
for acl2, nqthm,
maxima, axiom , leaving possible issues only when one might try to
load both in the same image, and even then, only if they referred to
each other, which itself is unlikely.
Take care,
Bob
--
Camm Maguire[EMAIL PROTECTED
~a.~a.~a] -./
It maybe faster to put the length in first, and then fread the rest.
I think the real load though is on doing all those searches for
signature conflicts for every loaded function. Might be a good idea
to profile this at some point.
Take care,
Bob
--
Camm Maguire
CVSROOT:/cvsroot/gcl
Module name:gcl
Changes by: Camm Maguire camm 06/11/22 18:20:19
Modified files:
debian : changelog
o : gbc.c sgbc.c
Log message:
mark nil-named hpacks
CVSWeb URLs:
http://cvs.savannah.gnu.org/viewcvs/gcl
)
(search Control stack str))
(format t (~a ~a) x *form*)
t)
(t nil)
--
Camm Maguire[EMAIL PROTECTED]
==
The earth is but one
,
Bob
--
Camm Maguire[EMAIL PROTECTED]
==
The earth is but one country, and mankind its citizens. -- Baha'u'llah
___
Gcl-devel
.
17))
(quote (R . 17)))
Bob
--
Camm Maguire[EMAIL PROTECTED]
==
The earth is but one country, and mankind its citizens. -- Baha'u'llah
you cannot recall the sequence of commands at the moment. I
think this means that we are not (yet) restoring all the functions
that are needed for the top level loop.
How many other isses of the above sort still remain?
Take care,
Happy Thanksgiving!
Bob
--
Camm Maguire
CVSROOT:/cvsroot/gcl
Module name:gcl
Changes by: Camm Maguire camm 06/11/24 16:58:07
Modified files:
clcs : gcl_clcs_restart.lisp
cmpnew : gcl_cmpcall.lsp gcl_cmpenv.lsp
debian : changelog
lsp
, base-char, base-string, simple-base-string.
Thank you!
(deftype foo () 'boolean); (declaim (foo x))
Thank you!
Thanks so very much!
Bob
--
Camm Maguire[EMAIL PROTECTED
CVSROOT:/cvsroot/gcl
Module name:gcl
Changes by: Camm Maguire camm 06/11/23 15:25:34
Modified files:
clcs : gcl_clcs_conditions.lisp
debian : changelog
lsp: gcl_assert.lsp
Log message:
no print bindings
PROTECTED]~A~% FORMAT-ARGUMENTS (arguments exhausted 16 Retry call to ~S))
(ERROR )
Backtrace: no-applicable-method ERROR
Top level.
--
Camm Maguire[EMAIL PROTECTED
Greetings, and thanks! Should be fixed now.
Take care,
Robert Boyer [EMAIL PROTECTED] writes:
(proclaim '((2 . 3)))
Bob
--
Camm Maguire[EMAIL PROTECTED]
==
The earth
Greetings, and thanks!
Should be fixed now.
Take care,
Robert Boyer [EMAIL PROTECTED] writes:
From the ANSI:
(coerce x 'nil) always signals an error of type type-error.
But this is not so in GCL 2.7.0, e.g.,
(coerce ab nil) = (#\a #\b)
Bob
--
Camm Maguire
. This
is to prevent yet another iteration over pass1 in tagbody at the
expense of possibly missing some cases.
Checkout:
(disassemble '(lambda (x) (loop for i below (length x) do (incf i))) nil)
Take care,
--
Camm Maguire[EMAIL PROTECTED
was in unixtime.c. I fixed that with a horrible
hack. The build failed later in unexnt.c. I see that file was taken
from Emacs, is it still maintained?
--
Camm Maguire[EMAIL PROTECTED
CVSROOT:/cvsroot/gcl
Module name:gcl
Changes by: Camm Maguire camm 06/11/28 22:32:22
Modified files:
debian : changelog
lsp: gcl_serror.lsp
Log message:
fix cltl1 error messages
CVSWeb URLs:
http://cvs.savannah.gnu.org/viewcvs
CVSROOT:/cvsroot/gcl
Module name:gcl
Changes by: Camm Maguire camm 06/11/30 02:03:47
Modified files:
. : configure.in configure
debian : changelog
Log message:
new hppa compiler options
CVSWeb URLs:
http://cvs.savannah.gnu.org
=
--
Camm Maguire[EMAIL PROTECTED]
==
The earth is but one country, and mankind its citizens. -- Baha'u'llah
___
Gcl-devel mailing list
but not quite identical).
Camm, the file for the Debian watch script is in place. Please feel
free to announce an ACL2 3.1 Debian GCL release if you care to produce
one!
Thanks for all y'all's help!
-- Matt
--
Camm Maguire[EMAIL PROTECTED
to
look in, in case I later load objects that need some symbols you cannot
find right now.
-- Gaby
=
--
Camm Maguire[EMAIL PROTECTED
Greetings!
Gabriel Dos Reis [EMAIL PROTECTED] writes:
On Tue, 5 Dec 2006, Camm Maguire wrote:
| Greetings!
|
| Gabriel Dos Reis [EMAIL PROTECTED] writes:
|
| Hi Camm,
|
| I'm making slow progress in building build-improvements on windows
| using mingw/sys). From the outset I
Greetings! The relevant code is in alloc.c:
#ifdef GCL_GPROF
extern void *GCL_GPROF_START;
long textpage=2*((void *)etext-(void
*)GCL_GPROF_START)/PAGESIZE,t1=2*((void *)etext-(void
*)GCL_GPROF_START)/PAGESIZE;
textpage=t10 (textpage0 || t1textpage) ? t1 : textpage;
#endif
, and try loading a .o file, breaking at fasload and
stepping through each of the routines, especially
bfd_get_relocated_section_contents).
Take care, and thanks again,
Richard
--
Camm Maguire[EMAIL PROTECTED
Greetins!
Gabriel Dos Reis [EMAIL PROTECTED] writes:
On Tue, 5 Dec 2006, Camm Maguire wrote:
| The error I'm having is that the linker complains it can't find the
| symbols which are supposed to be in the winsock dll. The error
| message includes
|
| undefined reference
Greetings!
Gabriel Dos Reis [EMAIL PROTECTED] writes:
On Tue, 5 Dec 2006, Camm Maguire wrote:
| I tried the following, and got the same result
|
| ./gcl
| (compiler::link nil foo)
|
|
|
| Yes, please do
|
| (defun delete-file (rest r) nil)
| (trace system)
| (compiler
Greetings, and thanks!
Gabriel Dos Reis [EMAIL PROTECTED] writes:
On Tue, 5 Dec 2006, Camm Maguire wrote:
[...]
| | If you are left with the raw image, in the shell you can try
| |
| | ./raw_foo ./ init_foo.lsp
|
| That prompted an MS bugreport widget saying that raw_foo.exe has
, thanks for your work on GCL,
Greg
=
--
Camm Maguire[EMAIL PROTECTED]
==
The earth is but one country
was actually blocked by their
| email server... arrgh!) I hope this gets fixed soon.
I hope too.
-- Gaby
--
Camm Maguire[EMAIL PROTECTED]
==
The earth is but one country
or Obtaining and Installing links on the ACL2
home page, or by going directly to:
http://www.cs.utexas.edu/users/moore/acl2/v3-1/distrib/windows/
-- Matt
--
Camm Maguire[EMAIL PROTECTED
time : 0.000 secs
gbc time: 0.000 secs
NIL
=
--
Camm Maguire[EMAIL PROTECTED
://www.peterd.org
--
Camm Maguire[EMAIL PROTECTED]
==
The earth is but one country, and mankind its citizens. -- Baha'u'llah
is required in order to test
this windows-only read patch?
Regards,
Bill Page.
--
Camm Maguire[EMAIL PROTECTED]
==
The earth is but one country, and mankind its citizens
CS file
system, since you have an account there. I'll email it to you if you
prefer (about 4.4M). When you extract, the README file explains what
is going on in detail and shows you how to re-create the results.
Thanks --
-- Matt
--
Camm Maguire
(probe-file /projects/acl2/devel/books/certify-numbers.lisp)
#P/v/filer3/v0q004/acl2/devel/books/certify-numbers.lisp
Thanks --
-- Matt
--
Camm Maguire[EMAIL PROTECTED
that the
compiler has the opportunity (to *??*) save the information necessary
for inline expansion, and the notinline proclamation following the defun
form prevents f from being expanded inline everywhere.
--
Camm Maguire[EMAIL PROTECTED
Cc: gcl-devel@gnu.org, [EMAIL PROTECTED]
From: Camm Maguire [EMAIL PROTECTED]
Date: 23 Jan 2007 17:43:30 -0500
X-SpamAssassin-Status: No, hits=-2.5 required=5.0
X-UTCS-Spam-Status: No, hits=-250 required=200
Greetings!
Yes, this has been an ansi change pushed into 2.6
still needs hardening -- users beware -- still feedback
always appreciated.
More later, most likely in a month's time ...
Take care,
Camm Maguire[EMAIL PROTECTED]
==
The earth
401 - 500 of 1276 matches
Mail list logo