[Gcl-devel] TRUENAME fails for certain symlinks

2005-05-04 Thread Magnus Henoch
TRUENAME fails to get the truename of an absolute symlink when the symlink is referred to by an absolute path. The following shell commands reproduce the problem: cd /tmp touch foo ln -s foo bar echo '(truename "/tmp/bar")' | gclcvs [...] Error: Cannot get the truename of #P"/tmp/bar". This is w

Re: [Axiom-developer] RE: [Gcl-devel] Re: axiom porting

2005-05-04 Thread Camm Maguire
Greetings! "Mike Thomas" <[EMAIL PROTECTED]> writes: > Hi Camm. > > > EXCUSES > > 'Twas a long weekend here and I made full use of it for non-programming > purposes. It looks from the CVS log and the Axiom/GCL 2.6.7 related email > that there's a lot to catch up with. > No problem! Life ta

[Gcl-devel] Re: GCL 2.6.7 and init_* function name problem

2005-05-04 Thread Camm Maguire
Greetings! <[EMAIL PROTECTED]> writes: > Camm, > With regard to the upcoming 2.6.7 release, is it possible that the following > issue involving the init_* function name > will be fixed?  I need to know whether I'll have to rename some of my ACL2 > files in order to continue to use > profiling..

[Gcl-devel] Re: FW: [sr #104164] Is it possible to call Windows SDK from GCL?

2005-05-04 Thread Camm Maguire
Greetigns! "Mike Thomas" <[EMAIL PROTECTED]> writes: > Camm: > > The relevant gcc version is 3.4.2 and insertion of a prototype for sdk_hello > just before L1 fixes that problem. Unfortunately the missing initialisation > function problem remains in HEAD - perhaps I've called compiler::link > i

[Gcl-devel] Re: [sr #104164] Is it possible to call Windows SDK from GCL?

2005-05-04 Thread Camm Maguire
Greetings! "Mike Thomas" <[EMAIL PROTECTED]> writes: > | The relevant gcc version is 3.4.2 and insertion of a prototype > | for sdk_hello just before L1 fixes that problem. Unfortunately > | the missing initialisation function problem remains in HEAD - > | perhaps I've called compiler::link inco

[Gcl-devel] Re: [Axiom-developer] Simple web server code for GCLfor Windows

2005-05-04 Thread Camm Maguire
Greetings! "Page, Bill" <[EMAIL PROTECTED]> writes: > Camm, > > You are right. The simple GCL web server program that you > wrote is working on both linux and Windows. Great! > Wonderful. Thanks! > On Tuesday, May 03, 2005 9:56 AM Camm Maguire wrote: > > >... > > What this will send to the

Re: [Axiom-developer] RE: [Gcl-devel] Re: axiom porting

2005-05-04 Thread Camm Maguire
Greetings! "Page, Bill" <[EMAIL PROTECTED]> writes: > Thanks Mike, > > Your patches got me much further than before. Then I added > > TK_LIB_SPEC=-l tk84 > TCL_LIB_SPEC=-i tcl84 > > to makedefs and now the build appears to completes normally. > I am not sure where TK_LIB_SPEC and TCL_LIB_S

[Gcl-devel] Re: [Axiom-developer] Simple web server code for GCLfor Windows

2005-05-04 Thread Bill Page
Camm Maguire wrote: (if (pathname-name (pathname fn)) (with-open-file (q fn) (si::copy-stream q s)) (dolist (l (directory fn)) (format s "~a~%" (namestring l) It would be nicer to make the result and the content type depend on whether something was a directory or on the typ

Re: [Axiom-developer] Re: [Gcl-devel] Simple web server code for GCLfor Windows

2005-05-04 Thread Camm Maguire
Greetings! "Page, Bill" <[EMAIL PROTECTED]> writes: > On Thursday, April 28, 2005 7:38 PM Mike Thomas wrote: > > > Camm wrote: > > > > > Greetings! Here's a quick way to get started: > > > == > > > [EMAIL PROTECTED]:/fix/t1/camm/de

Re: [Axiom-developer] RE: [Gcl-devel] Re: axiom porting

2005-05-04 Thread Camm Maguire
Greetings! "Page, Bill" <[EMAIL PROTECTED]> writes: > On Monday, May 02, 2005 9:48 PM From: Mike Thomas wrote: > > > ... > > 2.6.7PRE > > > > I just checked that 2.6.7pre builds on Windows. Will likewise > > test Maxima etc as the week progresses. > > I also have successfully built -r Version

RE: [Axiom-developer] RE: [Gcl-devel] Re: axiom porting

2005-05-04 Thread Page, Bill
Thanks Mike, Your patches got me much further than before. Then I added TK_LIB_SPEC=-l tk84 TCL_LIB_SPEC=-i tcl84 to makedefs and now the build appears to completes normally. I am not sure where TK_LIB_SPEC and TCL_LIB_SPEC would normally be set. And it seems to be at least partly working!

[Gcl-devel] RE: [Axiom-developer] Simple web server code for GCLfor Windows

2005-05-04 Thread Page, Bill
Camm, You are right. The simple GCL web server program that you wrote is working on both linux and Windows. Great! On Tuesday, May 03, 2005 9:56 AM Camm Maguire wrote: >... > What this will send to the gcl function 'foo' is 'get /dir' > #'foo must find a file or directory by that name to produce

Re: [Axiom-developer] RE: [Gcl-devel] Re: axiom porting

2005-05-04 Thread Camm Maguire
Greetings! "Page, Bill" <[EMAIL PROTECTED]> writes: > On Monday, May 02, 2005 11:37 AM Camm Maguire wrote: > > > The gcl-tk stuff I posted earlier is at least an option which works > > with axiom as currently distributed on Linux. My feeling is that > > it is likely also a low hanging fruit on

RE: [Axiom-developer] RE: [Gcl-devel] Re: axiom porting

2005-05-04 Thread Page, Bill
On Monday, May 02, 2005 11:37 AM Camm Maguire wrote: > The gcl-tk stuff I posted earlier is at least an option which works > with axiom as currently distributed on Linux. My feeling is that > it is likely also a low hanging fruit on Windows. In the longer > term, one might supplement or replace