#18437: Fix PolyBoRi and Python 3
--------------------------------------+------------------------
Reporter: ohanar | Owner:
Type: task | Status: new
Priority: major | Milestone: sage-6.7
Component: packages: standard | Resolution:
Keywords: | Merged in:
Authors: | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
Dependencies: | Stopgaps:
--------------------------------------+------------------------
Comment (by ohanar):
So I looked a bit more into how exactly polybori modifies cudd, and other
than the build system changes, it appears to be just one of two things:
1. Prefixing the symbols to not collide with another installation of cudd
2. stripping out code that polybori doesn't use (there is only one case
that polybori makes any meaningful changes to do this).
Given this, I don't think it would be hard to make polybori work with a
vanilla version of cudd. Also, since upstream cudd is not completely dead,
the author might be receptive to a better build system if we provide it.
--
Ticket URL: <http://trac.sagemath.org/ticket/18437#comment:6>
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.
