| Port details on branch 2022Q2 |
- isl Integer Set Library
- 0.27 devel
 =3      0.27Version of this port present on the latest quarterly branch. - Maintainer: wen@FreeBSD.org
- Port Added: 2014-05-25 07:31:32
- Last Update: 2024-09-08 13:23:52
- Commit Hash: 204dd0f
- People watching this port, also watch:: linux-c7-atk, libssh, py311-PyOpenGL, noto-tc, kf5-kquickcharts
- Also Listed In: math
- License: MIT
- WWW:
- https://libisl.sourceforge.io/
- Description:
- 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.
  ¦  ¦  ¦  ¦ 
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - Dependency lines:
-
- To install the port:
- cd /usr/ports/devel/isl/ && make install clean
- To add the package, run one of these commands:
- pkg install devel/isl
- pkg install isl
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.- PKGNAME: isl
- Flavors: there is no flavor information for this port.
- distinfo:
- TIMESTAMP = 1725453889
SHA256 (isl-0.27.tar.xz) = 6d8babb59e7b672e8cb7870e874f3f7b813b6e00e6af3f8b04f7579965643d5c
SIZE (isl-0.27.tar.xz) = 2056436
Packages (timestamps in pop-ups are UTC):
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- pkgconf>=1.3.0_1 : devel/pkgconf
- Library dependencies:
-
- libgmp.so : math/gmp
- This port is required by:
- for Libraries
-
- devel/avr-gcc
- devel/gcc-msp430-ti-toolchain
- lang/gnat12
- lang/gnat13
- math/barvinok
- math/cloog
- math/py-islpy
-
Deleted ports which required this port:
- * - deleted ports are only shown under the This port is required by section. It was harder to do for the Required section. Perhaps later...
Configuration Options:- ===> The following configuration options are available for isl-0.27:
OPTIMIZED_CFLAGS=on: Use extra compiler optimizations
===> Use 'make config' to modify these settings
- Options name:
- devel_isl
- USES:
- libtool pkgconfig tar:xz
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|
As an Amazon Associate I earn from qualifying purchases.