Bertfried.

That mail also concerns you. I have a firm belief that the aldor 
interface simply does not build with the source tarball from 
sourceforge. You must compile from an SVN checkout until I've fixed that 
problem.

Bertfried, I've made a temporary fricas tarball (svn export of r673).

http://sage.math.washington.edu/home/hemmecke/pub/fricas-trunk-r673.tar.bz2

Just extract to fricas-trunk and then make as usual.

tar jxvf fricas-trunk-r673.tar.bz2
mkdir fricas-build
cd fricas-build
../fricas-trunk/configure --with-lisp=sbcl --enable-aldor
make

(use ecl or gcl instead of sbcl depending on what you have on your 
system --- give the full path to the lisp executable)

Now, I've read your last message and I am pretty sure that my analysis 
below (missing .spad files) is correct.

======
To all
======
>> I can configure and compile that until it comes to the libaxiom.al 
>> build. There I get a message like
>>
>> make VERSION=1.0.7.r672
>> DAASE=/home/hemmecke/v/hg/fricas-aldor-spkg/build/target/i686-pc-linux 
>> /home/hemmecke/v/hg/fricas-aldor-spkg/build/target/i686-pc-linux/bin/AXIOMsys
>>  
>> < tmp/dep_A1AGG.lsp > tmp/dep_A1AGG.log 
>>
>> test -f gendeps/A1AGG.dep 
>>
>> make: *** [gendeps/A1AGG.dep] Error 1 
>>
>>
>> with a tmp/dep_A1AGG.log looking like
>> http://www.risc.jku.at/people/hemmecke/tmp/6e1429f60ff1e91cf3b9f02ebb9e09f2
>>
> 
> What is in dep_A1AGG.lsp?

)lisp (load "../../../spkg/fricas-1.0.7.r672/src/src/aldor/gendepap.lsp")
)lisp (generate-deps (quote (A1AGG)))
)lisp (quit)

>> I cannot figure out why that fails since everything seems to be in the 
>> right place.

> The message says that NIL is not a valid stream or pathname.  This
> happens if we were unable to open file and try to use stream later.
> Typical reason for this is missing file.

Oh... I guess, I was again hit by the fact that the .spad files are not 
present. In gendepap.lsp there it says...

;; .dep from SPAD constructor
(defun generate-deps (namelist)
   (setq *extends-axiom-domains* nil)
   (dolist (name namelist)
     (let* ((constructors (|fileConstructors| name))
           (apform (|makeAxExportForm| "UnusedArgument" constructors)))
       (debug-print "generate-deps" constructors)
       (print-dependencies apform name))))

and |fileConstructors| as defined in src/interp/ax.boot actually scans 
for .spad files. I have no real clue why. Maybe it is needed in some 
other place where the constructors are not yet available in a database. 
(???)

-- This scans for long constructor names in .spad file which must be
-- in the direcory $AXIOM/../../src/algebra/.
--rhx: Could probably do without it.
fileConstructors name ==
    [INTERN(con,"BOOT") for con in SRCABBREVS SOURCEPATH STRING name]

and in utils.lisp ...

(defun sourcepath (f)
  "find the sourcefile in the system directories"
  (let (axiom algebra)
   (setq axiom (|getEnv| "AXIOM"))
   (setq algebra (concatenate 'string axiom "/../../src/algebra/" f 
".spad"))
   (cond
    ((probe-file algebra) algebra)
    ('else nil))))

Hmmm, I'll investigate further how I can do without the .spad files.
Maybe a construction as for domains.mk will do, i.e. using 
|allConstructors|.

Ralf

--~--~---------~--~----~------------~-------~--~----~
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
-~----------~----~----~----~------~----~------~--~---

Reply via email to