[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] Re: [Gcl-devel] 2.6.2.....
From: |
Camm Maguire |
Subject: |
[Axiom-developer] Re: [Gcl-devel] 2.6.2..... |
Date: |
13 Apr 2004 11:06:16 -0400 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.2 |
Greetings!
"Mike Thomas" <address@hidden> writes:
> Hi Camm/Vadim.
>
> | Thanks, Vadim! OK I'll push 0 for the second value
>
> Please do so for the following reasons:
>
OK, done.
> | unless Mike knows
> | how to get child runtimes on mingw.
>
> 1. I don't know.
>
> 2. I believe from a quick search of the MSDN Win32 docs that OS accumulated
> execution time for spawned sub-processes isn't available directly from the
> Win32 API. It is definitely not available through MSVCRT (the C runtime
> library).
>
>
> Moving forward:
>
> I built CLtL1 GCL/gcc 3.3.3/binutils 2.15.90 and did a complete ACL2 2.8
> build and "make regression" with the optional books without error.
>
Great!
> Tried Axiom on the off-chance that it would work without divine intervention
> but immediately ran into swathes of problems unrelated to GCL so left it for
> the Axiom team to worry about.
>
Thank God for Bill Page!
Take care,
> Cheers
>
> Mike Thomas.
>
>
>
>
> _______________________________________________
> Gcl-devel mailing list
> address@hidden
> http://mail.gnu.org/mailman/listinfo/gcl-devel
>
>
>
--
Camm Maguire address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens." -- Baha'u'llah
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Axiom-developer] Re: [Gcl-devel] 2.6.2.....,
Camm Maguire <=