#16466: Add gambit as an optional package
-------------------------------------+-------------------------------------
       Reporter:  jcampbell          |        Owner:
           Type:  enhancement        |       Status:  needs_work
       Priority:  major              |    Milestone:  sage-6.3
      Component:  packages:          |   Resolution:
  optional                           |    Merged in:
       Keywords:                     |    Reviewers:  Thierry Monteil
        Authors:  James Campbell     |  Work issues:
Report Upstream:  N/A                |       Commit:
         Branch:                     |  5470da3e66d90b58a526ffe1aebbf0108a578c1b
  u/jcampbell/add_gambit_as_an_optional_package|     Stopgaps:
   Dependencies:                     |
-------------------------------------+-------------------------------------
Changes (by tmonteil):

 * status:  needs_review => needs_work


Comment:

 Hi Vince, the tarball you proposes for upload is not the same as the
 upstream one (whose sha1sum is
 `47696dce362653ed5536b7b18dec475bbd5f4313`). It is better use the original
 one, that can be downloaded at
 http://sourceforge.net/projects/gambit/files/gambit14/14.0.2/. If you need
 to modify it to let it work with Sage, you should add patches in the
 `SAGE_ROOT/build/pkgs/gambit/patches/` directory and apply them from the
 `spkg-install` script.

 While you are at it, could you please add a newline at the end of the
 files `package-version.txt`,  `spkg-install` and `SPKG.txt` ?

--
Ticket URL: <http://trac.sagemath.org/ticket/16466#comment:14>
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/d/optout.

Reply via email to