[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
RE: [Axiom-developer] compiling the algebra files with gcl
From: |
Weiss, Juergen |
Subject: |
RE: [Axiom-developer] compiling the algebra files with gcl |
Date: |
Mon, 11 Aug 2003 21:58:00 +0200 |
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
>
- [Axiom-developer] compiling the algebra files with gcl, Weiss, Juergen, 2003/08/09
- RE: [Axiom-developer] compiling the algebra files with gcl, Weiss, Juergen, 2003/08/10
- RE: [Axiom-developer] compiling the algebra files with gcl,
Weiss, Juergen <=
- RE: [Axiom-developer] compiling the algebra files with gcl, Weiss, Juergen, 2003/08/12
- RE: [Axiom-developer] compiling the algebra files with gcl, Weiss, Juergen, 2003/08/12
- RE: [Axiom-developer] compiling the algebra files with gcl, Weiss, Juergen, 2003/08/13
- RE: [Axiom-developer] compiling the algebra files with gcl, Page, Bill, 2003/08/13