I know what you want to say Felix but once the pre-requisite are in place
we are more less performing all the install from a "sage shell" in which
sage-env is used to set the environment.
When spkg-install is at work, sage-env is read. At least that's how I understand
it works.
Francois
On 2/05/2014, at 19:34, Felix Salfelder <fe...@salfelder.org> wrote:
> On Fri, May 02, 2014 at 09:12:34AM +1200, François Bissey wrote:
>>> We could put it into sage-env as well, but regarding how often that's
>>> called...
>>
>> I was actually thinking of feeding it to sage-env :)
>
> sage-env is a part of sage ("the library"). the environment for
> pkgconfig (and probably others, think of python) must be present before
> the library package/module has been configured/built/installed.
>
> please consider an environment for sage ("the distribution"), which is
> fed from toplevel configure and later included by sage-env.
>
> cheers
> felix
>
> --
> You received this message because you are subscribed to the Google Groups
> "sage-devel" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to sage-devel+unsubscr...@googlegroups.com.
> To post to this group, send email to sage-devel@googlegroups.com.
> Visit this group at http://groups.google.com/group/sage-devel.
> For more options, visit https://groups.google.com/d/optout.
This email may be confidential and subject to legal privilege, it may
not reflect the views of the University of Canterbury, and it is not
guaranteed to be virus free. If you are not an intended recipient,
please notify the sender immediately and erase all copies of the message
and any attachments.
Please refer to http://www.canterbury.ac.nz/emaildisclaimer for more
information.
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
