RE: [Axiom-developer] compiling the algebra files with gcl

[Weiss, Juergen]

Did you install the new database files (share/algebra) as
well and generated a fresh interpsys with that database?
The old database contains definitions, which conflict
with the distributed algebra sources. 

Juergen 

Juergen Weiss     | Universitaet Mainz, Zentrum fuer Datenverarbeitung,
address@hidden| 55099 Mainz, Tel: +49(6131)39-26361, FAX:
+49(6131)39-26407


> -----Original Message-----
> From: Camm Maguire [mailto:address@hidden 
> Sent: Monday, August 11, 2003 9:51 PM
> To: Weiss, Juergen
> Cc: address@hidden
> Subject: Re: [Axiom-developer] compiling the algebra files with gcl
> 
> 
> Hello again!  Just an update, I replace src/algebra with Juergen's
> tree, installed and edited his Makefile.inc, and then attempted a
> clean build.
> 
> Fails at this point:
> 
> ==============================================================
> ===============
> 0 making 
> /fix/t1/camm/axiom/axiom2/new/new/int/algebra/LODO1.NRLIB 
> from /fix/t1/camm/axiom/axiom2/new/new/int/algebra/LODO1.spad
> 
> (AXIOM Sockets) The AXIOM server number is undefined.
> --------------------------------------------------------------
> ---------------
>    Issue )copyright to view copyright notices.
>    Issue )summary for a summary of useful system commands.
>    Issue )quit to leave AXIOM and return to shell.
> Monday July 28, 2003 at 18:57:13 
> --------------------------------------------------------------
> ---------------
>  
> (1) ->    Loading 
> /fix/t1/camm/axiom/axiom2/new/new/mnt/linux/autoload/apply.
>    Loading /fix/t1/camm/axiom/axiom2/new/new/mnt/linux/autoload/c-doc.
>    Loading 
> /fix/t1/camm/axiom/axiom2/new/new/mnt/linux/autoload/c-util.
>    Loading 
> /fix/t1/camm/axiom/axiom2/new/new/mnt/linux/autoload/profile.
>    Loading 
> /fix/t1/camm/axiom/axiom2/new/new/mnt/linux/autoload/category.
>    Loading 
> /fix/t1/camm/axiom/axiom2/new/new/mnt/linux/autoload/compiler.
>    Loading 
> /fix/t1/camm/axiom/axiom2/new/new/mnt/linux/autoload/define.
>    Loading 
> /fix/t1/camm/axiom/axiom2/new/new/mnt/linux/autoload/functor.
>    Loading /fix/t1/camm/axiom/axiom2/new/new/mnt/linux/autoload/info.
>    Loading 
> /fix/t1/camm/axiom/axiom2/new/new/mnt/linux/autoload/iterator.
>    Loading 
> /fix/t1/camm/axiom/axiom2/new/new/mnt/linux/autoload/modemap.
>    Loading 
> /fix/t1/camm/axiom/axiom2/new/new/mnt/linux/autoload/nruncomp.
>    Loading 
> /fix/t1/camm/axiom/axiom2/new/new/mnt/linux/autoload/package.
>    Loading 
> /fix/t1/camm/axiom/axiom2/new/new/mnt/linux/autoload/htcheck.
>    Loading 
> /fix/t1/camm/axiom/axiom2/new/new/mnt/linux/autoload/xruncomp.
>    Compiling AXIOM source code from file 
>       /fix/t1/camm/axiom/axiom2/new/new/int/algebra/LODO1.spad using 
>       old system compiler.
>    Loading 
> /fix/t1/camm/axiom/axiom2/new/new/mnt/linux/autoload/parsing.
>    Loading 
> /fix/t1/camm/axiom/axiom2/new/new/mnt/linux/autoload/bootlex.
>    Loading /fix/t1/camm/axiom/axiom2/new/new/mnt/linux/autoload/def.
>    Loading 
> /fix/t1/camm/axiom/axiom2/new/new/mnt/linux/autoload/fnewmeta.
>    Loading 
> /fix/t1/camm/axiom/axiom2/new/new/mnt/linux/autoload/metalex.
>    Loading 
> /fix/t1/camm/axiom/axiom2/new/new/mnt/linux/autoload/metameta.
>    Loading /fix/t1/camm/axiom/axiom2/new/new/mnt/linux/autoload/parse.
>    Loading 
> /fix/t1/camm/axiom/axiom2/new/new/mnt/linux/autoload/postpar.
>    Loading 
> /fix/t1/camm/axiom/axiom2/new/new/mnt/linux/autoload/postprop.
>    Loading 
> /fix/t1/camm/axiom/axiom2/new/new/mnt/linux/autoload/preparse.
>    LODO1 abbreviates domain LinearOrdinaryDifferentialOperator1 
> ****** comp fails at level 1 with expression: ******
> ((DEF (|LinearOrdinaryDifferentialOperator1| A)
>       (NIL (|DifferentialRing|)) (NIL NIL)
>       (|LinearOrdinaryDifferentialOperator| A
>           (|elt| A |differentiate|))))
> ****** level 1  ******
> $x:= (DEF (LinearOrdinaryDifferentialOperator1 A) (NIL 
> (DifferentialRing)) (NIL NIL) 
> (LinearOrdinaryDifferentialOperator A (elt A differentiate)))
> $m:= $EmptyMode
> $f:=
> ((((|$DomainsInScope| # #))))
>  
>    >> Apparent user error:
>    bad == form 
>    (DEF (LinearOrdinaryDifferentialOperator1 A) ( ) ( ) 
> (LinearOrdinaryDifferentialOperator A (elt A differentiate)))
> 
> protected-symbol-warn called with (NIL)
> (1) ->    Please enter y or yes if you really want to leave 
> the interactive 
>       environment and return to the operating system:
> 0 making 
> /fix/t1/camm/axiom/axiom2/new/new/mnt/linux/algebra/LODO1.o 
> from /fix/t1/camm/axiom/axiom2/new/new/int/algebra/LODO1.NRLIB
> cp: cannot stat 
> `/fix/t1/camm/axiom/axiom2/new/new/int/algebra/LODO1.NRLIB/cod
> e.o': No such file or directory
> ==============================================================
> ===============
> 
> Take care,
> 
> "Weiss, Juergen" <address@hidden> writes:
> 
> > Hi Camm,
> > 
> > the set issue does not occur anymore. I have put a tgz file
> > under http://www.uni-mainz.de/~weiss/axiom.algebra.jw.20030810.tgz
> > It contains the src/algebra (I did not include a diff, because I'm
> > uncertain about the base), the share/algebra database files,
> > and a Makefile.inc for the axiom root and a Makefile in the
> > src/algebra directory. You must fix the axiom root in Makefile.inc,
> > then you should be able to compile the algebra in src/algebra
> > directly. Sorry, but I do not have pamphlet files for the
> > Makefiles.
> > 
> > The interval.spad file (translated from interval.as) is incomplete
> > (and some parts are incorrect due to the incompletion), but it
> > compiles and it lets you compile the rest as well.
> > 
> > Regards
> > 
> > Juergen Weiss
> > 
> > Juergen Weiss         | Universitaet Mainz, Zentrum fuer 
> Datenverarbeitung,
> > address@hidden| 55099 Mainz, Tel: +49(6131)39-26361, FAX:
> > +49(6131)39-26407
> > 
> > 
> > > -----Original Message-----
> > > From: Camm Maguire [mailto:address@hidden 
> > > Sent: Sunday, August 10, 2003 3:49 AM
> > > To: Weiss, Juergen
> > > Cc: address@hidden
> > > Subject: Re: [Axiom-developer] compiling the algebra 
> files with gcl
> > > 
> > > 
> > > Greetings!
> > > 
> > > Great Juergen!  I'd especially be interested in the steps you've
> > > taken, and in whether the duplicate set issue remains in 
> your final
> > > build.   Please drop me a line if you have the time.
> > > 
> > > Take care,
> > > 
> > > "Weiss, Juergen" <address@hidden> writes:
> > > 
> > > > Hi,
> > > > 
> > > > I finally managed to get gcl compiled on a debian linux 
> system. So
> > > > I tried to compile axiom with gcl as well.
> > > > 
> > > > I used the makefile and the small modifications to the algebra
> > > > files, which sucessfully compiled with cmu lisp. I ran 
> into similar
> > > > problems as with the cmu build of the algebra, namely that the
> > > > database files distributed do not exactly fit the algebra
> > > > (especially with linear ordinary differential equations, 
> > > but some others
> > > > as well). Compiling some files with some others manually 
> > > > preloaded and rebuilding the database files and the interpsys
> > > > image several times, I was finally able to compile all algebra
> > > > files. Right now, I try to compile all the algebra files from
> > > > scratch with the new database files. This will take a while
> > > > and I will report success or failure as soon as the compilation
> > > > will have finished.
> > > > 
> > > > Regards
> > > > 
> > > > Juergen Weiss
> > > > 
> > > > Juergen Weiss     | Universitaet Mainz, Zentrum fuer 
> > > Datenverarbeitung,
> > > > address@hidden| 55099 Mainz, Tel: +49(6131)39-26361, FAX:
> > > > +49(6131)39-26407
> > > > 
> > > > 
> > > > _______________________________________________
> > > > Axiom-developer mailing list
> > > > address@hidden
> > > > http://mail.nongnu.org/mailman/listinfo/axiom-developer
> > > > 
> > > > 
> > > > 
> > > 
> > > -- 
> > > Camm Maguire                                              
> > > address@hidden
> > > ==============================================================
> > > ============
> > > "The earth is but one country, and mankind its citizens."  -- 
> > >  Baha'u'llah
> > > 
> > 
> > 
> > _______________________________________________
> > Axiom-developer mailing list
> > address@hidden
> > http://mail.nongnu.org/mailman/listinfo/axiom-developer
> > 
> > 
> > 
> 
> -- 
> Camm Maguire                                          
> address@hidden
> ==============================================================
> ============
> "The earth is but one country, and mankind its citizens."  -- 
>  Baha'u'llah
>