[fricas-devel] Re: domains.mk

2009-09-29 Thread Waldek Hebisch
Ralf Hemmeckewrote: On 09/29/2009 11:42 AM, Bertfried Fauser wrote: Dear Ralf, I sent this cc to you, since my last post to fricas-devel got rejected by google groups(?) Maybe you must use your googlemail account to send the mail? AFAIK google rejects messages sent from

[fricas-devel] Re: domains.mk

2009-09-29 Thread Ralf Hemmecke
AFAIK google rejects messages sent from different address than the one you used when subscribed (and the subscription uses googlemail account). Oh, google accepts my private email address that I've given during creating my google account as well as my gmail address. It seems they can make

[fricas-devel] noweb sources

2009-09-29 Thread Ralf Hemmecke
In the FriCAS install script I can read... cd fricas mkdir zips cd zips wget https://axiom.svn.sourceforge.net/svnroot/axiom/trunk/axiom/zips/noweb-2.10a.tgz Unfortunately, there seems to be a problem with the certificate. Ralf wget

[fricas-devel] build problem

2009-09-29 Thread Ralf Hemmecke
Hello, I am trying to compile a r672 of fricas. Unfortunately, I am unable to compile on the sage.math server. Setup is ECL (Embeddable Common-Lisp) 9.4.1 as comes with the Sage that is installed on that machine. Could someone have a look at the log make | tee make.log which can be found at

[fricas-devel] Re: build problem

2009-09-29 Thread Bill Page
Ralf, It looks like maybe you were doing a parallel build because of the order of the output near the end of the log. I have sometimes had problems. Maybe you could try it without this option? Regards, Bill Page. On Tue, Sep 29, 2009 at 4:47 PM, Ralf Hemmecke r...@hemmecke.de wrote: Hello,

[fricas-devel] Re: build problem

2009-09-29 Thread Ralf Hemmecke
It looks like maybe you were doing a parallel build because of the order of the output near the end of the log. I have sometimes had problems. Maybe you could try it without this option? Well, I started with 'make -j9' and then (after it failed) wanted to check without the -j option. So I

[fricas-devel] Re: build problem

2009-09-29 Thread Bill Page
Ralf, Do you recall the following email concerning the ecl upgrage? sage -i -s http://sage.math.washington.edu/home/ghitza/ecl-9.8.4.spkg Regards, Bill Page. -- Forwarded message -- From: Bill Page bill.p...@newsynthesis.org Date: Thu, Sep 3, 2009 at 6:01 PM Subject: Re:

[fricas-devel] Re: build problem

2009-09-29 Thread Ralf Hemmecke
On 09/30/2009 12:35 AM, Bill Page wrote: Ralf, Do you recall the following email concerning the ecl upgrage? sage -i -s http://sage.math.washington.edu/home/ghitza/ecl-9.8.4.spkg Regards, Bill Page. I do, but I cannot upgrade ecl on that machine. I wanted to try with the

[fricas-devel] Re: build problem

2009-09-29 Thread Ralf Hemmecke
Since I cannot answer Waldek's question... this mail goes to sage-devel. Maybe William knows? And here is the relevant thread. http://groups.google.com/group/fricas-devel/browse_thread/thread/4df82e24c742c2fe Ralf On 09/30/2009 12:47 AM, Waldek Hebisch wrote: Ralf Hemmecke wrote: Hello, I

[fricas-devel] Re: domains.mk

2009-09-29 Thread Bertfried Fauser
Hallo Ralf thank you for the pointer to the correct makefile, I have handishly downloaded the required files and will give thebuild (with and without aldor) another try. Anyhow the build from the tarfile should work if I type make --enable-aldor=no isn't it? I used my google account (but the