#14447: Add Cygwin as supported platform
-------------------------------------+--------------------------------------
Reporter: jdemeyer | Owner: tbd
Type: defect | Status: needs_review
Priority: major | Milestone: sage-5.9
Component: porting: Cygwin | Resolution:
Keywords: cygwin | Work issues:
Report Upstream: N/A | Reviewers: Jeroen Demeyer
Authors: Jean-Pierre Flori | Merged in:
Dependencies: | Stopgaps:
-------------------------------------+--------------------------------------
Changes (by jpflori):
* status: new => needs_review
Old description:
> The prereqs were not sufficiently modified in #14406 to build Sage on
> Cygwin without setting SAGE_PORT.
>
> Apply [attachment:trac_14447-cygwin.patch].
New description:
The prereqs were not sufficiently modified in #14406 to build Sage on
Cygwin without setting SAGE_PORT.
Apply [attachment:trac_14447-case.patch].
--
Comment:
Ok, I've put up four different patches which should achieve the same goal
:
* the uname, echo and sed version make minimal changes by modifying UNAME
on Cygwin only using the corresponding command to detect we are on Cygwin
(uname was suggested by Jeroen on #14406, echo avoid recalling uname, sed
is what is used in sage/bin/sage-env to modify UNAME on Cygwin)
* the case version does not modify UNAME but replace the
if/elif/elif/.../else construction used to filter OSes by a case
statement.
This last one is my preferred one, but I'll let Jeroen decide.
I tested it on Linux, Cygwin and Solaris this time, so the patches should
be fine.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/14447#comment:2>
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?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.
