On Wed, Oct 13, 2021 at 09:24:26AM -0600, Tracey Emery wrote: > On Wed, Oct 13, 2021 at 09:06:22AM -0600, Tracey Emery wrote: > > Hello, > > > > Attached is a new port, math/isl. This is a new library to go with the > > new xtensa-lx106-elf port build. The port has been tested successfully > > on both amd64 and sparc64. > > > > pkg/DESCR: > > > > isl is a library for manipulating sets and relations of integer points > > bounded by linear constraints. Supported operations on sets include > > intersection, union, set difference, emptiness check, convex hull, > > (integer) affine hull, integer projection, computing the lexicographic > > minimum using parametric integer programming, coalescing and parametric > > vertex enumeration. It also includes an ILP solver based on generalized > > basis reduction, transitive closures on maps (which may encode infinite > > graphs), dependence analysis and bounds on piecewise step-polynomials. > > > > Ok? > > > > -- > > > > Tracey Emery > > Now with 100% more attachment. Thanks tb@ for the eyes. > > -- > > Tracey Emery
Privately, bcallah mentions that egcc will most likely pick this up in its build if installed. I'm unsure if this will cause issues with that build. I did not think to test this out that far. -- Tracey Emery
