[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiomdeveloper] Building Axiom twice
From: 
Gabriel Dos Reis 
Subject: 
Re: [Axiomdeveloper] Building Axiom twice 
Date: 
24 Nov 2006 16:58:17 +0100 
root <address@hidden> writes:
 > So, I believe we are now back to the question: If AXIOMsys must be a
 > copy of interpsys, why do we have both?

 there should be a difference between obj/sys/interpsys and
 mnt/bin/AXIOMsys. the difference is that interpsys is a build
 image and AXIOMsys is a user image.

 the fact that they are the same is due to time pressure.

 i did not have time to polish the details like database
 timestamps and the difference between interpsys and AXIOMsys.
In my local tree, I have reorganized src/Makefile so that
* algebra/ uses interpsys for compilation
* etc/ is built after algebra, then generates the database
* AXIOMsys is built after etc/ complteted
* input/ directly depends on AXIOMsys, and uses it for testing.
I'm testing.
 Gaby
 [Axiomdeveloper] Building Axiom twice, Waldek Hebisch, 2006/11/22
 Re: [Axiomdeveloper] Building Axiom twice, Gabriel Dos Reis, 2006/11/22
 Re: [Axiomdeveloper] Building Axiom twice, root, 2006/11/22
 Re: [Axiomdeveloper] Building Axiom twice, Gabriel Dos Reis, 2006/11/22
 Re: [Axiomdeveloper] Building Axiom twice, root, 2006/11/22
 Re: [Axiomdeveloper] Building Axiom twice, Gabriel Dos Reis, 2006/11/24
 Re: [Axiomdeveloper] Building Axiom twice, root, 2006/11/24
 Re: [Axiomdeveloper] Building Axiom twice,
Gabriel Dos Reis <=
 Re: [Axiomdeveloper] Building Axiom twice, Waldek Hebisch, 2006/11/24
 Re: [Axiomdeveloper] Building Axiom twice, Waldek Hebisch, 2006/11/22
 Re: [Axiomdeveloper] Building Axiom twice, root, 2006/11/22
 Re: [Axiomdeveloper] Building Axiom twice, Gabriel Dos Reis, 2006/11/22
 Re: [Axiomdeveloper] Building Axiom twice, Waldek Hebisch, 2006/11/22
 Re: [Axiomdeveloper] Building Axiom twice, Gabriel Dos Reis, 2006/11/22
 Re: [Axiomdeveloper] Building Axiom twice, root, 2006/11/22
 Re: [Axiomdeveloper] Building Axiom twice, Gabriel Dos Reis, 2006/11/22
 Re: [Axiomdeveloper] Building Axiom twice, Gabriel Dos Reis, 2006/11/22
 Re: [Axiomdeveloper] Building Axiom twice, Waldek Hebisch, 2006/11/24