Package: isl3 # last of the i_n=15 series (isl3 in Fink) Version: 0.18 Revision: 1 BuildDepends: << gmp5 << Conflicts: << cloog-org, isl, isl2, isl3, isl22 << Replaces: << cloog-org, isl, isl2, isl3, isl22 << BuildDependsOnly: True Depends: %N-shlibs (= %v-%r) Source: ftp://gcc.gnu.org/pub/gcc/infrastructure/isl-%v.tar.bz2 Source-Checksum: SHA256(6b8b0fd7f81d0a957beb3679c81bbb34ccc7568d5682844d8924424a0dadcb1b) ConfigureParams: << --prefix=%p \ --mandir=%p/share/man \ --infodir=%p/share/info \ --with-gmp-prefix=%p \ --disable-silent-rules << InfoTest: TestScript: make check || : PatchScript: << perl -pi -e 's|="-O1"|="-O3"|g' ./configure # Patch to avoid flat namespace linkage on Yosemite and later. perl -pi -e 's/(10\.\[012\])\*/\1\,.\*/' configure << InstallScript: << make install DESTDIR=%d << SplitOff: << Package: %N-shlibs Depends: << gmp5-shlibs, libgmpxx5-shlibs << Files: << %p/lib/libisl.*.dylib << Shlibs: << %p/lib/libisl.15.dylib 19.0.0 %n (>= 0.18-1) << << License: BSD Description: Integer Set Library DescDetail: << 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, and computing the lexicographic minimum using parametric integer programming. It also includes an ILP solver based on generalized basis reduction. << DescPackaging: << The FSF gcc 4.2.1 compiler requires the optimization to be reduced to -O1 but this bug is not present in Apple's gcc 4.2.1 compiler so this change is reverted in the PatchScript. << Homepage: http://isl.gforge.inria.fr/ Maintainer: None