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

Reply via email to