Re: [Axiom-mail] compilation of .as files within axiom

[Mike Dewar]

Hi Ralf,

Provided that you want to use Aldor to extend the standard Axiom system
and things haven't changed too much in the open system then just issuing
e.g. )co foo.as from within Axiom should work.  The only slightly tricky
thing is when you want to mix your own spad code with your own aldor
code (i.e. the spad code isn't in libaxiom.al).  Then the procedure is
as follows:

1. In Axiom do e.g. the following:
   cons : List Symbol := ['RealPolynomialUtilitiesPackage, _
            'RealRootCharacterizationCategory, 'RealClosedField, _
            'RightOpenIntervalRootCharacterization, 'RealClosure]
   (these are your spad constructors and the order is important and should 
    reflect dependencies as in the spad file).

    makeAxFile("reclos.ax",cons)$Lisp 

    )sys axiomxl -Wname=axiom -lAxiomLib=axiom -Y $AXIOM/../../share/algebra 
reclos.ax

2. Now you should have a file called reclos.ao.  In your Aldor file put:
   #include "axiom.as"
   #library RealClosure "reclos.ao"
   import from RealClosure;
   ... and with any luck you should be in business ...

I hope this helps!

Cheers, Mike.
   

On Mon, Sep 29, 2003 at 12:40:10PM +0200, Barry M Trager wrote:
> My current situation is that I can create a ".ax" file which contains the 
> declarative information
> about the types I need to use an I am able to compile this producing a 
> ".ao" file.
> However if I refer directly to this .ao file in subsequent ".as" files, it 
> compiles fine but when
> use it within axiom, it tries to load the non-existent code from that 
> declarative ".ao" file.
> Does this file need to be added to libaxiom.al for it to work properly? If 
> so how do I do it?
> Thanks for your help,
> Barry
> 
> 
> ________________________________________________________________________
> This e-mail has been scanned for all viruses by Star Internet. The
> service is powered by MessageLabs. For more information on a proactive
> anti-virus service working around the clock, around the globe, visit:
> http://www.star.net.uk
> ________________________________________________________________________


On Tue, Feb 17, 2004 at 01:30:50PM +0100, Ralf HEMMECKE wrote:
> Could someone point me to some documentation about the use of .as files 
> to extend AXIOM?
> 
> I've just compiled AXIOM and realised that the Aldor compiler is not in 
> the distribution. OK, it's not too difficult to get it from aldor.org 
> and install it.
> 
> But what I am missing is libaxiom.a[l].
> 
> I have found it here
> 
> dragonfly:/zvol/axiom/cvs>find |grep libaxiom
> ./axiom/src/share/algebra/libaxiom.al
> 
> but not in the installation directory after 'make install'.
> 
> I would find it very helpful if after a compilation there would be a 
> line printed which points me to some web-page (or even local page) where 
> I then can find additional things that need be done in order to get a 
> complete system (like installing TeXmacs and aldor, and copying 
> libaxiom.al by hand etc.)
> 
> Ralf Hemmecke
> 
> 
> _______________________________________________
> Axiom-mail mailing list
> address@hidden
> http://mail.nongnu.org/mailman/listinfo/axiom-mail
> 
> ________________________________________________________________________
> This e-mail has been scanned for all viruses by Star Internet. The
> service is powered by MessageLabs. For more information on a proactive
> anti-virus service working around the clock, around the globe, visit:
> http://www.star.net.uk
> ________________________________________________________________________

________________________________________________________________________
This e-mail has been scanned for all viruses by Star Internet. The
service is powered by MessageLabs. For more information on a proactive
anti-virus service working around the clock, around the globe, visit:
http://www.star.net.uk
________________________________________________________________________