Ralf,
On Fri, Sep 4, 2009 at 5:32 PM, Ralf Hemmecke wrote:
>
> So, I've done
>
> sage -i -s http://sage.math.washington.edu/home/ghitza/ecl-9.8.4.spkg
>
> and then again
>
> sage -f fricas-1.0.7.spkg
>
> But, Bill, different from your error message
>
>> Produces the error: " undefined reference to `log' ". (about 15 minutes)
>
> (which appeared after about 45 min --- interesting to me since it seemed
> that everything was rebuild. See
>
> http://www.risc.uni-linz.ac.at/people/hemmecke/pub/fricas/fricas-1.0.7.p0.spkg.log.bz2
>
> for the full log. Can somebody check whether this compilation should
> happen this way?)
>
The log looks right to me up until you get the error. I am surprised
that you say this took 45 minutes but I don't think "everything was
rebuilt" since I do not see any spad compiler output - just output for
the list compiler.
> Anyway, my error message was different!
> The first error already appears here!
> ...
It is possible that I just missed this earlier error. You do also get
the "undefined reference ..." message just a little later.
> ==============
> make[2]: Leaving directory
> `/home/hemmecke/software/sage-4.1-linux-Ubuntu_9.04-i686-Linux/spkg/build/fricas-1.0.7.p0/build-dir/src/paste'
>
> cd aldor && make
>
> make[2]: Entering directory
> `/home/hemmecke/software/sage-4.1-linux-Ubuntu_9.04-i686-Linux/spkg/build/fricas-1.0.7.p0/build-dir/src/aldor'
>
> Makefile:262: domains.mk: No such file or directory
>
> echo "domains := \\" > domains.mk
>
> grep '^)abbrev'
> /home/hemmecke/software/sage/spkg/build/fricas-1.0.7.p0/build-dir/src/algebra/*.spad
> | gawk '{print $3,"\\"}' >> domains.mk
> grep:
> /home/hemmecke/software/sage/spkg/build/fricas-1.0.7.p0/build-dir/src/algebra/*.spad:
> No such file or directory
>
> echo >> domains.mk
>
> ==============
>
> It tries to create domains.mk, but this file will be basically empty,
> because the spkg does not contain *.spad files.
>
> I see the *.spad.pamphlet files, but spad files are not created.
>
> The relevant part in aldor/Makefile.in is
>
> domains.mk:
> echo "domains := \\" > $@
> grep '^)abbrev' $(spaddir)/*.spad | $(AWK) '{print $$3,"\\"}' >> $@
> echo >> $@
>
> This was written having in mind that the fricas build appears before and
> thus the .spad files would be in the above location.
>
> So that must be fixed before going on.
>
Ah, I see. The building the Aldor interface needs the .spad files.
Yes, I think it could be arranged that the dist directory also contain
the .spad files. Maybe another option on the makedist script?
> It seems that I first have to study what happens when the .spkg file is
> created.
>
See
../fricas/src/scripts/mkdist.sh --copy_lisp
Ref. http://sagetrac.org/sage_trac/ticket/4461
> ==================================================================
>
> Anyway, before I go on, let me ask some stupid questions.
>
> 1) What is the license of the .spkg file?
fricas...spkg is an optional package for Sage so I don't think there
is any restriction on the license other than what is required by
FriCAS.
> 2) Since the whole stuff under src/aldor is just for two things
> A) create libaxiom.al
> B) create runtime files from some aldor.org's *.as files.
> Why not just distribute libaxiom.al in the spkg?
> That file is machine independent. And the problem with the .spad
> files would be gone. (Together with 1 hour of build time on the
> user's machine.)
Ok.
> 3) Runtime (and perhaps also libaxiom.al) from 2) contain code under the
> Aldor Public license 2.0. So I would suggest to make two packages.
> A) FriCAS (which explicitly does not build the Aldor interface).
> (mBSD-licenced)
> B) libaxiom.al plus code to create the runtime files (APL2-licenced)
> Of course B) depends on A), but I believe there is a way to say this
> in an .spkg file.
>
> I must say, I rather like to go for 3).
>
> Any comments?
>
+1
I also very much like your option 3)
Regards,
Bill Page.
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/fricas-devel?hl=en
-~----------~----~----~----~------~----~------~--~---
