notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Ukraine
FreshPorts needs to find a new hosting provide willing to take a 2U chassis and host it free of charge. This is part of the FreshPorts project. Preferably in the Austin area. This is not a primary server, but it used for development.
Port details
apron APRON numerical abstract domain library
0.9.13 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 View this port on Repology. pkg-fallout Version 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: 2022-07-28 00:02:49
Commit Hash: c39ad89
License: LGPL21
Description:
SVNWeb : git : Homepage
pkg-plist: as obtained via: make generate-plist
Expand this list (204 items)
Collapse this list.
  1. @ldconfig
  2. /usr/local/share/licenses/apron-0.9.13/catalog.mk
  3. /usr/local/share/licenses/apron-0.9.13/LICENSE
  4. /usr/local/share/licenses/apron-0.9.13/LGPL21
  5. bin/ap_ppl_test
  6. bin/octtestD
  7. bin/octtestMPQ
  8. include/ap_abstract0.h
  9. include/ap_abstract1.h
  10. include/ap_coeff.h
  11. include/ap_config.h
  12. include/ap_dimension.h
  13. include/ap_disjunction.h
  14. include/ap_environment.h
  15. include/ap_expr0.h
  16. include/ap_expr1.h
  17. include/ap_generator0.h
  18. include/ap_generator1.h
  19. include/ap_generic.h
  20. include/ap_global0.h
  21. include/ap_global1.h
  22. include/ap_interval.h
  23. include/ap_lincons0.h
  24. include/ap_lincons1.h
  25. include/ap_linearize.h
  26. include/ap_linearize_aux.h
  27. include/ap_linexpr0.h
  28. include/ap_linexpr1.h
  29. include/ap_manager.h
  30. include/ap_pkgrid.h
  31. include/ap_policy.h
  32. include/ap_ppl.h
  33. include/ap_reducedproduct.h
  34. include/ap_scalar.h
  35. include/ap_tcons0.h
  36. include/ap_tcons1.h
  37. include/ap_texpr0.h
  38. include/ap_texpr1.h
  39. include/ap_var.h
  40. include/ap_version.h
  41. include/apronxx/apronxx.hh
  42. include/apronxx/apxx_abstract0.hh
  43. include/apronxx/apxx_abstract0_inline.hh
  44. include/apronxx/apxx_abstract1.hh
  45. include/apronxx/apxx_abstract1_inline.hh
  46. include/apronxx/apxx_box.hh
  47. include/apronxx/apxx_box_inline.hh
  48. include/apronxx/apxx_coeff.hh
  49. include/apronxx/apxx_coeff_inline.hh
  50. include/apronxx/apxx_dimension.hh
  51. include/apronxx/apxx_dimension_inline.hh
  52. include/apronxx/apxx_environment.hh
  53. include/apronxx/apxx_environment_inline.hh
  54. include/apronxx/apxx_expr0.hh
  55. include/apronxx/apxx_expr1.hh
  56. include/apronxx/apxx_generator0.hh
  57. include/apronxx/apxx_generator0_inline.hh
  58. include/apronxx/apxx_generator1.hh
  59. include/apronxx/apxx_generator1_inline.hh
  60. include/apronxx/apxx_interval.hh
  61. include/apronxx/apxx_interval_inline.hh
  62. include/apronxx/apxx_lincons0.hh
  63. include/apronxx/apxx_lincons0_inline.hh
  64. include/apronxx/apxx_lincons1.hh
  65. include/apronxx/apxx_lincons1_inline.hh
  66. include/apronxx/apxx_linexpr0.hh
  67. include/apronxx/apxx_linexpr0_inline.hh
  68. include/apronxx/apxx_linexpr1.hh
  69. include/apronxx/apxx_linexpr1_inline.hh
  70. include/apronxx/apxx_manager.hh
  71. include/apronxx/apxx_manager_inline.hh
  72. include/apronxx/apxx_oct.hh
  73. include/apronxx/apxx_oct_inline.hh
  74. include/apronxx/apxx_polka.hh
  75. include/apronxx/apxx_polka_inline.hh
  76. include/apronxx/apxx_ppl.hh
  77. include/apronxx/apxx_ppl_inline.hh
  78. include/apronxx/apxx_ppl_product.hh
  79. include/apronxx/apxx_ppl_product_inline.hh
  80. include/apronxx/apxx_scalar.hh
  81. include/apronxx/apxx_scalar_inline.hh
  82. include/apronxx/apxx_t1p.hh
  83. include/apronxx/apxx_t1p_inline.hh
  84. include/apronxx/apxx_tcons0.hh
  85. include/apronxx/apxx_tcons0_inline.hh
  86. include/apronxx/apxx_tcons1.hh
  87. include/apronxx/apxx_tcons1_inline.hh
  88. include/apronxx/apxx_texpr0.hh
  89. include/apronxx/apxx_texpr0_inline.hh
  90. include/apronxx/apxx_texpr1.hh
  91. include/apronxx/apxx_texpr1_inline.hh
  92. include/apronxx/apxx_var.hh
  93. include/apronxx/apxx_var_inline.hh
  94. include/bound.h
  95. include/bound_def.h
  96. include/box.h
  97. include/itv.h
  98. include/itv_config.h
  99. include/itv_fun.h
  100. include/itv_linearize.h
  101. include/itv_linexpr.h
  102. include/num.h
  103. include/num_config.h
  104. include/num_name.h
  105. include/num_numflt.h
  106. include/num_numint.h
  107. include/num_numrat.h
  108. include/numflt.h
  109. include/numflt_mpfr.h
  110. include/numflt_native.h
  111. include/numint.h
  112. include/numint_mpz.h
  113. include/numint_native.h
  114. include/numrat.h
  115. include/numrat_mpq.h
  116. include/numrat_native.h
  117. include/oct.h
  118. include/oct/oct_fun.h
  119. include/oct/oct_internal.h
  120. include/pk.h
  121. include/pkeq.h
  122. include/t1p.h
  123. lib/libap_pkgrid.a
  124. lib/libap_pkgrid.so
  125. lib/libap_pkgrid_debug.a
  126. lib/libap_pkgrid_debug.so
  127. lib/libap_ppl.a
  128. lib/libap_ppl.so
  129. lib/libap_ppl_debug.a
  130. lib/libap_ppl_debug.so
  131. lib/libapron.a
  132. lib/libapron.so
  133. lib/libapron_debug.a
  134. lib/libapron_debug.so
  135. lib/libapronxx.a
  136. lib/libapronxx.so
  137. lib/libapronxx_debug.a
  138. lib/libapronxx_debug.so
  139. lib/libboxD.a
  140. lib/libboxD.so
  141. lib/libboxD_debug.a
  142. lib/libboxD_debug.so
  143. lib/libboxMPFR.a
  144. lib/libboxMPFR.so
  145. lib/libboxMPFR_debug.a
  146. lib/libboxMPFR_debug.so
  147. lib/libboxMPQ.a
  148. lib/libboxMPQ.so
  149. lib/libboxMPQ_debug.a
  150. lib/libboxMPQ_debug.so
  151. lib/libitv.a
  152. lib/libitvD.a
  153. lib/libitvD_debug.a
  154. lib/libitvDl.a
  155. lib/libitvDl_debug.a
  156. lib/libitvIl.a
  157. lib/libitvIl_debug.a
  158. lib/libitvIll.a
  159. lib/libitvIll_debug.a
  160. lib/libitvMPFR.a
  161. lib/libitvMPFR_debug.a
  162. lib/libitvMPQ.a
  163. lib/libitvMPQ_debug.a
  164. lib/libitvMPZ.a
  165. lib/libitvMPZ_debug.a
  166. lib/libitvRl.a
  167. lib/libitvRl_debug.a
  168. lib/libitvRll.a
  169. lib/libitvRll_debug.a
  170. lib/libitv_debug.a
  171. lib/liboctD.a
  172. lib/liboctD.so
  173. lib/liboctD_debug.a
  174. lib/liboctD_debug.so
  175. lib/liboctMPQ.a
  176. lib/liboctMPQ.so
  177. lib/liboctMPQ_debug.a
  178. lib/liboctMPQ_debug.so
  179. lib/libpolkaMPQ.a
  180. lib/libpolkaMPQ.so
  181. lib/libpolkaMPQ_debug.a
  182. lib/libpolkaMPQ_debug.so
  183. lib/libpolkaRll.a
  184. lib/libpolkaRll.so
  185. lib/libpolkaRll_debug.a
  186. lib/libpolkaRll_debug.so
  187. lib/libt1pD.a
  188. lib/libt1pD.so
  189. lib/libt1pD_debug.a
  190. lib/libt1pD_debug.so
  191. lib/libt1pMPFR.a
  192. lib/libt1pMPFR.so
  193. lib/libt1pMPFR_debug.a
  194. lib/libt1pMPFR_debug.so
  195. lib/libt1pMPQ.a
  196. lib/libt1pMPQ.so
  197. lib/libt1pMPQ_debug.a
  198. lib/libt1pMPQ_debug.so
  199. lib/oct.idl
  200. lib/polka.idl
  201. lib/ppl.idl
  202. @owner
  203. @group
  204. @mode
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, 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:
Packages (timestamps in pop-ups are UTC):
apron
ABIlatestquarterly
FreeBSD:11:aarch64--
FreeBSD:11:amd640.9.130.9.12
FreeBSD:11:armv6--
FreeBSD:11:i3860.9.130.9.12
FreeBSD:11:mips--
FreeBSD:11:mips64--
FreeBSD:12:aarch64--
FreeBSD:12:amd640.9.130.9.13
FreeBSD:12:armv6--
FreeBSD:12:armv7--
FreeBSD:12:i3860.9.130.9.13
FreeBSD:12:mips--
FreeBSD:12:mips64--
FreeBSD:12:powerpc64-0.9.12
FreeBSD:13:aarch64--
FreeBSD:13:amd640.9.130.9.13
FreeBSD:13:armv6--
FreeBSD:13:armv7--
FreeBSD:13:i3860.9.130.9.13
FreeBSD:13:mips--
FreeBSD:13:mips64--
FreeBSD:13:powerpc64-0.9.12
FreeBSD:13:riscv64--
FreeBSD:14:aarch64--
FreeBSD:14:amd640.9.13-
FreeBSD:14:armv6--
FreeBSD:14:armv7--
FreeBSD:14:i3860.9.13-
FreeBSD:14:mips--
FreeBSD:14:mips64--
FreeBSD:14:powerpc640.9.12-
FreeBSD:14:riscv64--
 

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

Configuration Options:
Options name:

USES:

FreshPorts was unable to extract/find any pkg message
Master Sites:
Expand this list (1 items)
Collapse this list.
  1. https://codeload.github.com/antoinemine/apron/tar.gz/v0.9.13?dummy=/
Collapse this list.

Number of commits found: 12

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
28 Jul 2022 00:02:49
 files touched by this commit commit hash:c39ad8950962df42166007f980365d88742480f9  0.9.13
Yuri Victorovich (yuri) search for other commits by this committer
math/apron: Broken on aarch64

Reported by:	fallout
20 Jul 2022 02:27:06
 files touched by this commit commit hash:de1a502d2f2a8b05362398d88f2eef677a32a313  0.9.13
Yuri Victorovich (yuri) search for other commits by this committer
math/apron: Broken on armv6, armv7, riscv64
19 Jul 2022 08:03:17
 files touched by this commit commit hash:3fcd3f2050725aaf5276a3f0c0c2aaaad7632d49  0.9.13
Yuri Victorovich (yuri) search for other commits by this committer
math/apron: Remove BROKEN line
19 Jul 2022 08:00:52
 files touched by this commit commit hash:7c00c142b73b100af153af8fbda428cd0d6aaf53  0.9.13
Yuri Victorovich (yuri) search for other commits by this committer
math/apron: Add #include statement for fpsetround(3)

Lack of fpsetround(3) declaration caused breakage on some
architectures.
Reported by:	fallout
02 Sep 2021 03:50:05
 files touched by this commit commit hash:b2892643a365beff3e84f73d08df71fe12c85807  0.9.13
Yuri Victorovich (yuri) search for other commits by this committer
math/apron: Update 0.9.12 -> 0.9.12
07 Apr 2021 08:09:01
 files touched by this commit commit hash:cf118ccf875508b9a1c570044c93cfcc82bd455c  0.9.12
Mathieu Arnold (mat) search for other commits by this committer
One more small cleanup, forgotten yesterday.
Reported by:	lwhsu
06 Apr 2021 14:31:07
 files touched by this commit commit hash:305f148f482daf30dcf728039d03d019f88344eb  0.9.12
Mathieu Arnold (mat) search for other commits by this committer
Remove # $FreeBSD$ from Makefiles.
15 Nov 2020 10:17:34
Original commit files touched by this commit Revision:555186  0.9.12
mikael search for other commits by this committer
Mark these ports broken on aarch64

Reported by:	linimon
09 Feb 2020 21:15:51
Original commit files touched by this commit Revision:525675  0.9.12
yuri search for other commits by this committer
math/apron: Update 0.9.11 -> 0.9.12

Reported by:	repology
14 Dec 2018 19:56:58
Original commit files touched by this commit Revision:487463  0.9.11
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 Revision:487462  0.9.11
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 Revision:487460  0.9.11
yuri search for other commits by this committer
New port: math/apron: APRON numerical abstract domain library

Number of commits found: 12