Re: [open-axiom-devel] Recent changes on trunk

2010-12-04 Thread Arthur Ralfs
On 12/01/2010 06:28 PM, Gabriel Dos Reis wrote: > Arthur Ralfs writes: > > | On 12/01/2010 09:35 AM, Gabriel Dos Reis wrote: > |> > |> Hi, > |> > |> The entire OpenAxiom build system now uses C++ compilers to compile > |> C or C++ codes. This will make it possible to use functionalities (such

Re: [open-axiom-devel] Recent changes on trunk

2010-12-01 Thread Gabriel Dos Reis
Arthur Ralfs writes: | On 12/01/2010 09:35 AM, Gabriel Dos Reis wrote: | > | > Hi, | > | > The entire OpenAxiom build system now uses C++ compilers to compile | > C or C++ codes. This will make it possible to use functionalities (such | > as regex) that are standard only in C++ libraries. | | T

Re: [open-axiom-devel] Recent changes on trunk

2010-12-01 Thread Arthur Ralfs
On 12/01/2010 09:35 AM, Gabriel Dos Reis wrote: > > Hi, > > The entire OpenAxiom build system now uses C++ compilers to compile > C or C++ codes. This will make it possible to use functionalities (such > as regex) that are standard only in C++ libraries. That's excellent. Do you still have to ma

Re: [open-axiom-devel] Recent changes on trunk

2010-12-01 Thread Gabriel Dos Reis
Yue Li writes: | I will also appreciate if the termination signal problem in SBCL | based OpenAxiom can be fixed ;-) That is essentially an SBCL problem. If you can convince SBCL people to provide a standard idiom for SBCL to honor ^C, that will solve the issue. --

[open-axiom-devel] Recent changes on trunk

2010-12-01 Thread Gabriel Dos Reis
Hi, The entire OpenAxiom build system now uses C++ compilers to compile C or C++ codes. This will make it possible to use functionalities (such as regex) that are standard only in C++ libraries. Several bugs with the `open-axiom' (driver in script mode) have been fixed. Also added the capabili