#19781: Fix optional packages
------------------------------------------+------------------------
       Reporter:  jdemeyer                |        Owner:
           Type:  enhancement             |       Status:  new
       Priority:  blocker                 |    Milestone:  sage-7.0
      Component:  packages: experimental  |   Resolution:
       Keywords:                          |    Merged in:
        Authors:  Jeroen Demeyer          |    Reviewers:
Report Upstream:  N/A                     |  Work issues:
         Branch:                          |       Commit:
   Dependencies:                          |     Stopgaps:
------------------------------------------+------------------------

Old description:

> The following optional packages are broken and should either be fixed or
> moved to experimental:
>
> * `4ti2`: various doctest failures: #19783
> * `cryptominisat`: crashes Sage on 32-bit.
> * `lie`: a very arcane build process (copies over the complete build
> directory and requires `bison`).
> * `tides`: does not build on 32-bit.

New description:

 The following optional packages are broken and should either be fixed or
 moved to experimental:

 * `4ti2`: various doctest failures: #19783
 * `cryptominisat`: crashes Sage on 32-bit.
 * `lie`: a very arcane build process (copies over the complete build
 directory and requires `bison`).

--

Comment (by jdemeyer):

 Yes, tides seems to build on 32-bit. I don't know why/how it failed
 before. Maybe I confused with a different package?

--
Ticket URL: <http://trac.sagemath.org/ticket/19781#comment:41>
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 https://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.

Reply via email to