notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Port details
apron APRON numerical abstract domain library
0.9.11 math on this many watch lists=0 search for ports that depend on this port Find issues related to this port Report an issue related to this port 0.9.11Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2018-12-14 19:54:06
Last Update: 2018-12-14 19:56:58
SVN Revision: 487463
License: LGPL21
Description:
SVNWeb : Homepage
pkg-plist: as obtained via: make generate-plist
Expand this list (95 items)
  1. /usr/local/share/licenses/apron-0.9.11/catalog.mk
  2. /usr/local/share/licenses/apron-0.9.11/LICENSE
  3. /usr/local/share/licenses/apron-0.9.11/LGPL21
  4. include/ap_abstract0.h
  5. include/ap_abstract1.h
  6. include/ap_coeff.h
  7. include/ap_config.h
  8. include/ap_dimension.h
  9. include/ap_disjunction.h
  10. include/ap_environment.h
  11. include/ap_expr0.h
  12. include/ap_expr1.h
  13. include/ap_generator0.h
  14. include/ap_generator1.h
  15. include/ap_generic.h
  16. include/ap_global0.h
  17. include/ap_global1.h
  18. include/ap_interval.h
  19. include/ap_lincons0.h
  20. include/ap_lincons1.h
  21. include/ap_linearize.h
  22. include/ap_linearize_aux.h
  23. include/ap_linexpr0.h
  24. include/ap_linexpr1.h
  25. include/ap_manager.h
  26. include/ap_pkgrid.h
  27. include/ap_policy.h
  28. include/ap_ppl.h
  29. include/ap_reducedproduct.h
  30. include/ap_scalar.h
  31. include/ap_tcons0.h
  32. include/ap_tcons1.h
  33. include/ap_texpr0.h
  34. include/ap_texpr1.h
  35. include/ap_var.h
  36. include/bound.h
  37. include/bound_def.h
  38. include/box.h
  39. include/itv.h
  40. include/itv_config.h
  41. include/itv_fun.h
  42. include/itv_linearize.h
  43. include/itv_linexpr.h
  44. include/num.h
  45. include/num_config.h
  46. include/num_name.h
  47. include/num_numflt.h
  48. include/num_numint.h
  49. include/num_numrat.h
  50. include/numflt.h
  51. include/numflt_mpfr.h
  52. include/numflt_native.h
  53. include/numint.h
  54. include/numint_mpz.h
  55. include/numint_native.h
  56. include/numrat.h
  57. include/numrat_mpq.h
  58. include/numrat_native.h
  59. include/oct.h
  60. include/oct/oct_fun.h
  61. include/oct/oct_internal.h
  62. include/pk.h
  63. include/pkeq.h
  64. include/t1p.h
  65. lib/libap_pkgrid.so
  66. lib/libap_pkgrid_debug.so
  67. lib/libap_ppl.so
  68. lib/libap_ppl_debug.so
  69. lib/libapron.so
  70. lib/libapron_debug.so
  71. lib/libboxD.so
  72. lib/libboxD_debug.so
  73. lib/libboxMPFR.so
  74. lib/libboxMPFR_debug.so
  75. lib/libboxMPQ.so
  76. lib/libboxMPQ_debug.so
  77. lib/liboctD.so
  78. lib/liboctD_debug.so
  79. lib/liboctMPQ.so
  80. lib/liboctMPQ_debug.so
  81. lib/libpolkaMPQ.so
  82. lib/libpolkaMPQ_debug.so
  83. lib/libpolkaRll.so
  84. lib/libpolkaRll_debug.so
  85. lib/libt1pD.so
  86. lib/libt1pD_debug.so
  87. lib/libt1pMPFR.so
  88. lib/libt1pMPFR_debug.so
  89. lib/libt1pMPQ.so
  90. lib/libt1pMPQ_debug.so
  91. lib/oct.idl
  92. lib/polka.idl
  93. lib/ppl.idl
  94. @postexec /usr/sbin/service ldconfig restart > /dev/null
  95. @postunexec /usr/sbin/service ldconfig restart > /dev/null
Collapse this list.
Dependency lines:
  • apron>0:math/apron
To install the port: cd /usr/ports/math/apron/ && make install clean
To add the package: pkg install apron
PKGNAME: apron
Flavors: there is no flavor information for this port.
distinfo:

Dependencies
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Build dependencies:
  1. gmake : devel/gmake
Library dependencies:
  1. libgmp.so : math/gmp
  2. libmpfr.so : math/mpfr
  3. libppl.so : devel/ppl
Fetch dependencies:
  1. svn : devel/subversion
This port is required by:
for Libraries
  1. devel/ikos

Configuration Options

USES:

Master Sites:
  1. There is no master site for this port.

Number of commits found: 3

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
14 Dec 2018 19:56:58
Original commit files touched by this commit  0.9.11
Revision:487463
yuri search for other commits by this committer
math/apron: Rm stray line
14 Dec 2018 19:56:26
Original commit files touched by this commit  0.9.11
Revision:487462
yuri search for other commits by this committer
math/apron: Add forgotten patches that set SONAME on shared libraries
14 Dec 2018 19:53:47
Original commit files touched by this commit  0.9.11
Revision:487460
yuri search for other commits by this committer
New port: math/apron: APRON numerical abstract domain library

Number of commits found: 3

Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD

This site
What is FreshPorts?
About the authors
Issues
FAQ
How big is it?
The latest upgrade!
Privacy
Forums
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
drm-current-kmodNov 20
drm-devel-kmodNov 20
drm-fbsd12.0-kmodNov 20
squidNov 19
libidn2Nov 18
gcpioNov 15
libmadNov 13
chromiumNov 12
wordpressNov 12
wordpressNov 12
wordpressNov 12
wordpressNov 12
wordpressNov 12
nexus2-ossNov 07
php71Nov 06

9 vulnerabilities affecting 115 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Last updated:
2019-11-20 10:58:20


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 38083
Broken 777
Deprecated 95
Ignore 1047
Forbidden 3
Restricted 157
No CDROM 72
Vulnerable 33
Expired 7
Set to expire 65
Interactive 0
new 24 hours 5
new 48 hours6
new 7 days26
new fortnight62
new month131

Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD
Valid HTML, CSS, and RSS.
Copyright © 2000-2019 Dan Langille. All rights reserved.