Tim Daly wrote:
Eduardo,
The lastest release is up on the servers. Do
git pull
to the the changes. You should only need to type
make
and Axiom should do a parallel make. This fixes bug 7202.
Tim
Thanks for the prompt support Tim!
Here's where I'm at...
Git says I'm up to date:
~ # cd /src/axiom/
/src/axiom # git pull
Already up-to-date.
I *think* I'm pulling from the right repo:
/src/axiom # git remote show origin
* remote origin
URL: git://github.com/daly/axiom.git
Remote branch merged with 'git pull' while on branch master
master
Tracked remote branch
master
Finally, here's the git log again:
/src/axiom # git log | head
commit 10fb9b914bd34291c59928218c3a6d22d19cbcf8
Merge: 0164fcc... f3a6506...
Author: Tim Daly <[email protected]>
Date: Sun Jul 26 02:34:50 2009 -0400
Merge branch 'master' of /research/silver
commit f3a65067e5ffbb1fb23a09b589b7a4f8b20b138e
Author: Tim Daly <[email protected]>
Date: Sun Jul 26 02:10:20 2009 -0400
However, I ran into what looks like the same error (sorry, I don't have
it handy). So, what I'll do is try to rebuild from a fresh checkout
(I'll just clone the local repo) and see how that goes.
Should I have done a "make clean" or anything like that before
continuing the build?
Side comment/feedback. This build is running on a single-core system so
'make parallel' reaaaaally causes the system to slow down. :-) Perhaps
eventually the build process can consider how many cores are available
and parallelize accordingly. I.e. 4-cores, four "threads". No biggie,
just mentioning the idea.
Ed
_______________________________________________
Axiom-developer mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-developer