Re: [fricas-devel] Build time.

2012-01-10 Thread Bertfried Fauser
Dear Ralf, a tool to monitor the core i7 cpus is i7z http://code.google.com/p/i7z/ it worked for me on my last laptop, not yet installed on this one for my machine I get fauser@moby:~$ cat /proc/cpuinfo |grep "model name"|uniq model name : Intel(R) Core(TM) i7-2640M CPU @ 2.80GHz so it run

Re: [fricas-devel] Build time.

2012-01-10 Thread Ralf Hemmecke
quad core i7, at 3GHz (but I ran on battery power, and it may be throttled) with sbcl 1.0.50.0.debian (that comes as a package with the recent ubuntu 11.10) and make -j8 real7m58.882s user18m32.542s sys 1m6.900s cat /proc/cpuinfo |grep "model name"|uniq model name : Intel(R)

Re: [fricas-devel] Build time.

2012-01-10 Thread Bertfried Fauser
Dear Waldek, in case that helps, here is the build time on my machine: quad core i7, at 3GHz (but I ran on battery power, and it may be throttled) with sbcl 1.0.50.0.debian (that comes as a package with the recent ubuntu 11.10) and make -j8 real7m58.882s user18m32.542s sys 1m6.900s

[fricas-devel] Build time.

2012-01-10 Thread Waldek Hebisch
In the past time for full build was a problem, I remember build times longer than two hours. Given that many things changed (machnes changed, Lisps changed) I tried to do objective comparison. For this I compared recent trunk and FriCAS-1.0.0 on my machine (quad core Core 2 2.4 GHz). The results

[fricas-devel] Build time improvement

2009-01-19 Thread Waldek Hebisch
I plan to include the following patch to algebra Makefile. This patch corrects problem that we had for some time: most of algebra was needlessly recompiled second time, leading to larger build time. The reason seem to be pattern rule with two percents inside, which apparently does not work as I