devel/isl 0.28
Integer Set Library
- Repository
- FreeBSD ports
- Maintainer
- [email protected]
- Last update
- Commit
87129a3976- License
- MIT
- Categories
- devel, math
- Package size
- 1298.3 KiB, 10573.5 KiB installed
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.
Install
As a binary package — by origin, or by package name:
pkg install devel/isl
pkg install islFrom the ports tree:
cd /usr/ports/devel/isl/ && make install cleanTo depend on this port in another port's Makefile:
RUN_DEPENDS= isl>0:devel/isl
LIB_DEPENDS= libisl.so:devel/islPackages
The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.
| Repository | aarch64 | amd64 | armv6 | armv7 | i386 |
|---|---|---|---|---|---|
| FreeBSD:14:latest | 0.28 | 0.28 | 0.25 | 0.27 | 0.28 |
| FreeBSD:14:quarterly | 0.28 | 0.28 | n/a | 0.27 | 0.28 |
| FreeBSD:15:latest | 0.28 | 0.28 | n/a | 0.27 | 0.27 |
| FreeBSD:15:quarterly | 0.28 | 0.28 | n/a | n/a | n/a |
| FreeBSD:16:latest | 0.28 | 0.28 | n/a | n/a | n/a |
| FreeBSD:16:quarterly | n/a | n/a | n/a | n/a | n/a |
Dependencies
As this port's Makefile names them.
Library 1
libgmp.so: math/gmp
The full lists below include those, and their dependencies in turn.
All build dependencies 3
All run dependencies 2
Required by 46
- cad/ghdl
- cad/py-vunit-hdl
- cad/yosys-ghdl-plugin
- devel/adacurses
- devel/alire
- devel/arduino
- devel/arduino-builder
- devel/arduino-mk
- devel/arduino-openglcd
- devel/arduino-tools
- devel/arduino18
- devel/asfml
- devel/avr-gcc
- devel/avr-libc
- devel/gcc-msp430-ti-toolchain
- devel/getopt-ada
- devel/gnatcoll-bindings
- devel/gnatcoll-bindings-cpp
- devel/gnatcoll-bindings-gmp
- devel/gnatcoll-bindings-iconv
- devel/gnatcoll-bindings-lzma
- devel/gnatcoll-bindings-omp
- devel/gnatcoll-bindings-python
- devel/gnatcoll-bindings-readline
- devel/gnatcoll-bindings-syslog
- devel/gnatcoll-bindings-zlib
- devel/gnatcoll-core
- devel/gnatcoll-minimal
- devel/gprbuild
- devel/libgpr
- devel/libpololu-avr
- devel/matreshka
- devel/opencircuitx
- devel/simavr
- lang/gnat12
- lang/gnat13
- lang/gnat14
- lang/gnat15
- math/adasat
- math/barvinok
- math/cloog
- math/py-islpy
- misc/ini_file_manager
- ports-mgmt/synth
- sysutils/py-qmk
- textproc/xmlada
Configuration
Options name: devel_isl
| Option | Default | Description |
|---|---|---|
| OPTIMIZED_CFLAGS | on | Use extra compiler optimizations |
- USES
- libtool pkgconfig tar:xz
- Service scripts
- none
Files
pkg-plist 74
- include/isl/aff.h
- include/isl/aff_type.h
- include/isl/arg.h
- include/isl/ast.h
- include/isl/ast_build.h
- include/isl/ast_type.h
- include/isl/constraint.h
- include/isl/cpp.h
- include/isl/ctx.h
- include/isl/fixed_box.h
- include/isl/flow.h
- include/isl/hash.h
- include/isl/hbase.h
- include/isl/hbase_templ.c
- include/isl/hmap.h
- include/isl/hmap_templ.c
- include/isl/hset.h
- include/isl/hset_templ.c
- include/isl/id.h
- include/isl/id_set.h
- include/isl/id_to_ast_expr.h
- include/isl/id_to_id.h
- include/isl/id_to_pw_aff.h
- include/isl/id_type.h
- include/isl/ilp.h
- include/isl/list.h
- include/isl/local_space.h
- include/isl/lp.h
- include/isl/map.h
- include/isl/map_to_basic_set.h
- include/isl/map_type.h
- include/isl/mat.h
- include/isl/maybe.h
- include/isl/maybe_ast_expr.h
- include/isl/maybe_basic_set.h
- include/isl/maybe_id.h
- include/isl/maybe_pw_aff.h
- include/isl/maybe_templ.h
- include/isl/multi.h
- include/isl/obj.h
- include/isl/options.h
- include/isl/point.h
- include/isl/polynomial.h
- include/isl/polynomial_type.h
- include/isl/printer.h
- include/isl/printer_type.h
- include/isl/schedule.h
- include/isl/schedule_node.h
- include/isl/schedule_type.h
- include/isl/set.h
- include/isl/set_type.h
- include/isl/space.h
- include/isl/space_type.h
- include/isl/stdint.h
- include/isl/stream.h
- include/isl/stride_info.h
- include/isl/typed_cpp.h
- include/isl/union_map.h
- include/isl/union_map_type.h
- include/isl/union_set.h
- include/isl/union_set_type.h
- include/isl/val.h
- include/isl/val_gmp.h
- include/isl/val_type.h
- include/isl/vec.h
- include/isl/version.h
- include/isl/vertices.h
- lib/libisl.a
- lib/libisl.so
- lib/libisl.so.23
- lib/libisl.so.23.5.0
- lib/libisl.so.23.5.0-gdb.py
- libdata/pkgconfig/isl.pc
- share/aclocal/isl_detect_clang.m4
distinfo 1
| File | Size | SHA256 |
|---|---|---|
| isl-0.28.tar.xz | 1.942484e+06 | 3dc31b8e1b18329e42d5dfbf84dd55e15c59b61569a2ab246f61497d9592f727 |
Master sites 1
- SOURCEFORGE/libisl