| Port details |
- apron APRON numerical abstract domain library
- 0.9.13 math
 =0      0.9.13Version of this port present on the latest quarterly branch. - Maintainer: yuri@FreeBSD.org
- Port Added: 2018-12-14 19:54:06
- Last Update: 2021-09-02 03:50:05
- Commit Hash: b289264
- License: LGPL21
- Description:
- The APRON library is dedicated to the static analysis of the numerical variables
of a program by Abstract Interpretation. The aim of such an analysis is to infer
invariants about these variables. like 1<=x+y<=z, which holds during any
execution of the program. You may look at to the Interproc analyzer for an
online demonstration of static analysis.
The APRON library is intended to be a common interface to various underlying
libraries/abstract domains and to provide additional services that can be
implemented independently from the underlying library/abstract domain.
WWW: http://apron.cri.ensmp.fr/library/
- SVNWeb : git : Homepage
- pkg-plist: as obtained via:
make generate-plist - Dependency lines:
-
- For LIB depends:
- libap_pkgrid.so:math/apron
- libap_pkgrid_debug.so:math/apron
- libap_ppl.so:math/apron
- libap_ppl_debug.so:math/apron
- libapron.so:math/apron
- libapron_debug.so:math/apron
- libapronxx.so:math/apron
- libapronxx_debug.so:math/apron
- libboxD.so:math/apron
- libboxD_debug.so:math/apron
- libboxMPFR.so:math/apron
- libboxMPFR_debug.so:math/apron
- libboxMPQ.so:math/apron
- libboxMPQ_debug.so:math/apron
- liboctD.so:math/apron
- liboctD_debug.so:math/apron
- liboctMPQ.so:math/apron
- liboctMPQ_debug.so:math/apron
- libpolkaMPQ.so:math/apron
- libpolkaMPQ_debug.so:math/apron
- libpolkaRll.so:math/apron
- libpolkaRll_debug.so:math/apron
- libt1pD.so:math/apron
- libt1pD_debug.so:math/apron
- libt1pMPFR.so:math/apron
- libt1pMPFR_debug.so:math/apron
- libt1pMPQ.so:math/apron
- libt1pMPQ_debug.so:math/apron
- To install the port:
- cd /usr/ports/math/apron/ && make install clean
- To add the package, run one of these commands:
- pkg install math/apron
- pkg install apron
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.- PKGNAME: apron
- Flavors: there is no flavor information for this port.
- distinfo:
- TIMESTAMP = 1630529475
SHA256 (antoinemine-apron-v0.9.13_GH0.tar.gz) = 4af627e24623ab26948ea980077d015bfb9543374d857fbb42a8b6571e2fb36e
SIZE (antoinemine-apron-v0.9.13_GH0.tar.gz) = 988019
- 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:
-
- gmake>=4.3 : devel/gmake
- Library dependencies:
-
- libgmp.so : math/gmp
- libmpfr.so : math/mpfr
- libppl.so : devel/ppl
- This port is required by:
- for Libraries
-
- devel/ikos
- Configuration Options:
- No options to configure
- Options name:
- math_apron
- USES:
- gmake localbase:ldflags
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|
Number of commits found: 8
| Commit History - (may be incomplete: see SVNWeb link above for full details) |
| Date | By | Description |
|---|
02 Sep 2021 03:50:05
  0.9.13
|
Yuri Victorovich (yuri) |
math/apron: Update 0.9.12 -> 0.9.12 |
07 Apr 2021 08:09:01
0.9.12
|
Mathieu Arnold (mat) |
One more small cleanup, forgotten yesterday.
Reported by: lwhsu |
06 Apr 2021 14:31:07
0.9.12
|
Mathieu Arnold (mat) |
Remove # $FreeBSD$ from Makefiles. |
15 Nov 2020 10:17:34
  0.9.12
|
mikael |
Mark these ports broken on aarch64
Reported by: linimon |
09 Feb 2020 21:15:51
0.9.12
|
yuri |
math/apron: Update 0.9.11 -> 0.9.12
Reported by: repology |
14 Dec 2018 19:56:58
0.9.11
|
yuri |
math/apron: Rm stray line |
14 Dec 2018 19:56:26
0.9.11
|
yuri |
math/apron: Add forgotten patches that set SONAME on shared libraries |
14 Dec 2018 19:53:47
0.9.11
|
yuri |
New port: math/apron: APRON numerical abstract domain library |
Number of commits found: 8
|
As an Amazon Associate I earn from qualifying purchases.