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

[Camm Maguire]

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