Re: Historical CAS question
From: J. Horta (bite_at_me.spam)
Date: 01/26/05
- Next message: Thomas A. Li: "Re: solving SAT: generating extended resolution proofs using techniques for resolution?"
- Previous message: Julian Stoev: "Re: Historical CAS question"
- In reply to: Julian Stoev: "Re: Historical CAS question"
- Next in thread: Julian Stoev: "Re: Historical CAS question"
- Reply: Julian Stoev: "Re: Historical CAS question"
- Messages sorted by: [ date ] [ thread ]
Date: Wed, 26 Jan 2005 12:31:43 GMT
On Wed, 26 Jan 2005 20:19:22 +0900, Julian Stoev wrote:
> J. Horta wrote:
>
>> Okay, Googled on axiom _raw_size and found the issue with binutils.
>> Down grading binutils sounds risky so I attempted to change _raw_size
>> reference in the cvs image I check out. No luck there since no file
>> appears to contain said variable. Undaunted I changed my bdf.h which
>> seemed to work but the build gaged. So, how does one change _raw_size
>> (or even find for that matter and oh by the way 'grep -l -R _raw_size
>> *' won't do it) in a local copy of the source?
>
> Just one idea. If you have DVD writing and reading capability, go
> downoad http://dirk.eddelbuettel.com/quantian.html. It is Debian based
> Knoppix clone and has axiom. Download using bittorent, burn and use axiom.
>
> :)
>
> --JS
Excellent suggestion, thanks! Still curious how to edit and build the
friken axiom source. Bothers me no end what should be a simple
edit and recompile is seemingly all dicked up. Probably some basic
incompetence on my part. Oh well.
- Next message: Thomas A. Li: "Re: solving SAT: generating extended resolution proofs using techniques for resolution?"
- Previous message: Julian Stoev: "Re: Historical CAS question"
- In reply to: Julian Stoev: "Re: Historical CAS question"
- Next in thread: Julian Stoev: "Re: Historical CAS question"
- Reply: Julian Stoev: "Re: Historical CAS question"
- Messages sorted by: [ date ] [ thread ]