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

[Camm Maguire]

Greetings!

"Weiss, Juergen" <address@hidden> writes:

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

I hadn't -- thanks for pointing this out.  However, after moving
share/algebra over too, make clean, and then make, lodo1 still fails
to compile, as separately noted by Tim.  Do your changes resolve the
lodo1 compilation issue?

Take care,

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