#15580: Integrate prereq in the new build system
-------------------------------------+-------------------------------------
Reporter: jdemeyer | Owner:
Type: defect | Status: needs_review
Priority: blocker | Milestone: sage-6.1
Component: distribution | Resolution:
Keywords: | Merged in:
Authors: R. Andrew Ohana, | Reviewers: R. Andrew Ohana
Jeroen Demeyer | Work issues:
Report Upstream: N/A | Commit:
Branch: | 2e27abb8a34a779d5c7cf755450bc273abea443f
u/jdemeyer/ticket/15580 | Stopgaps:
Dependencies: #15596 |
-------------------------------------+-------------------------------------
Comment (by jdemeyer):
Replying to [comment:102 vbraun]:
> AFAIK we do guarantee that "sage -f" works even before building Sage, so
that you can install replacements for certain optional build-time
dependencies (e.g. ccache). Not using that mechanism means that "make
download" won't work, for example. Not to mention that it duplicates the
sagemath upstream url, doesn't verify the checksum, etc. I don't
necessarily care so much about using it, just wanted to make sure that you
thought about the potential downsides of downloading the confball
manually.
I was thinking of moving towards a more typical "configure + make" model.
Then `./sage -f` should be guaranteed to work only ''after'' `./configure`
but before `make`. What we actually want for optional packages would be
something like
{{{
$ ./configure --enable-ccache --enable-build-gcc --enable-
mirror=http://example.com/ --optional-packages=database_gap
$ make
}}}
--
Ticket URL: <http://trac.sagemath.org/ticket/15580#comment:104>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/groups/opt_out.
