| Port details |
- libpoly C library for manipulating polynomials
- 0.1.13 math
 =2      0.1.13Version of this port present on the latest quarterly branch. - Maintainer: yuri@FreeBSD.org
- Port Added: 2018-07-21 08:30:17
- Last Update: 2024-10-01 18:56:20
- Commit Hash: 4485bd8
- People watching this port, also watch:: jdictionary, py311-Automat, py311-python-gdsii, py39-PyOpenGL, p5-Sane
- License: GPLv3
- WWW:
- https://github.com/SRI-CSL/libpoly
- Description:
- LibPoly is a C library for manipulating polynomials. The target applications are
symbolic reasoning engines, such as SMT solvers, that need to reason about
polynomial constraints. It is research software under development, so the
features and the API might change rapidly.
  ¦  ¦  ¦  ¦ 
- 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/math/libpoly/ && make install clean
- To add the package, run one of these commands:
- pkg install math/libpoly
- pkg install libpoly
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.- PKGNAME: libpoly
- Flavors: there is no flavor information for this port.
- distinfo:
- TIMESTAMP = 1705110337
SHA256 (SRI-CSL-libpoly-v0.1.13_GH0.tar.gz) = ca7092eeeced3dd8bd86cdd3410207802ef1752d7052d92eee3e9e6bb496763c
SIZE (SRI-CSL-libpoly-v0.1.13_GH0.tar.gz) = 621704
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:
-
- cmake : devel/cmake-core
- ninja : devel/ninja
- Library dependencies:
-
- libgmp.so : math/gmp
- This port is required by:
- for Libraries
-
- math/py-libpoly
Configuration Options:- No options to configure
- Options name:
- math_libpoly
- USES:
- cmake:testing
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|
| Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
| Commit | Credits | Log message |
|---|
0.1.13
01 Oct 2024 18:56:20
 |
Rene Ladan (rene) |
all: drop support for expired FreeBSD 14.0
Simplify expressions for FreeBSD 13.X
Reviewed by: many
Differential Revision: https://reviews.freebsd.org/D46601 |
0.1.13
13 Jan 2024 01:49:07
|
Yuri Victorovich (yuri) |
math/libpoly: Do not build tests by default |
0.1.13
03 Dec 2023 11:13:47
|
Piotr Kubaj (pkubaj) |
math/libpoly: fix build on powerpc*
/wrkdirs/usr/ports/math/libpoly/work/libpoly-0.1.13/test/polyxx/test_algebraic_number.cpp:31:3:
error: invalid operand for instruction
CHECK(-1.5 < d1);
^
/wrkdirs/usr/ports/math/libpoly/work/libpoly-0.1.13/test/polyxx/doctest.h:2971:20:
note: expanded from macro 'CHECK'
^
/wrkdirs/usr/ports/math/libpoly/work/libpoly-0.1.13/test/polyxx/doctest.h:2442:28:
note: expanded from macro 'DOCTEST_CHECK'
^
/wrkdirs/usr/ports/math/libpoly/work/libpoly-0.1.13/test/polyxx/doctest.h:2398:9:
note: expanded from macro 'DOCTEST_ASSERT_IMPLEMENT_1'
DOCTEST_ASSERT_IMPLEMENT_2(assert_type, __VA_ARGS__);
\
^
/wrkdirs/usr/ports/math/libpoly/work/libpoly-0.1.13/test/polyxx/doctest.h:2393:5:
note: expanded from macro 'DOCTEST_ASSERT_IMPLEMENT_2'
DOCTEST_ASSERT_LOG_REACT_RETURN(DOCTEST_RB)
\
^
/wrkdirs/usr/ports/math/libpoly/work/libpoly-0.1.13/test/polyxx/doctest.h:2139:17:
note: expanded from macro 'DOCTEST_ASSERT_LOG_REACT_RETURN'
if(b.log()) DOCTEST_BREAK_INTO_DEBUGGER();
\
^
/wrkdirs/usr/ports/math/libpoly/work/libpoly-0.1.13/test/polyxx/doctest.h:462:47:
note: expanded from macro 'DOCTEST_BREAK_INTO_DEBUGGER'
^
<inline asm>:1:5: note: instantiated into assembly here
li r0, 20
^ |
0.1.13
25 Aug 2023 03:27:57
|
Yuri Victorovich (yuri) |
math/libpoly: Fix build by removing -Werror
Reported by: fallout |
0.1.13
02 Aug 2023 07:49:49
|
Yuri Victorovich (yuri) |
math/{,py-}libpoly: Update 0.1.12 → 0.1.13
Reported by: portscout |
0.1.12
29 Jul 2023 06:35:58
|
Yuri Victorovich (yuri) |
math/{,py-}libpoly: Update 0.1.11 → 0.1.12
Reported by: portscout |
0.1.11
17 May 2023 16:30:15
|
Muhammad Moinur Rahman (bofh) |
*/*: llvm15 build fixes
llvm15 was also merged into 13.2-STABLE effective from OSVERSION
1302505. Fix the ports that failed to build with llvm15.
Approved by: portmgr (blanket) |
0.1.11
06 May 2023 14:39:03
|
Muhammad Moinur Rahman (bofh) |
math/libpoly: Unbreak on HEAD
Approved by: portmgr (blanket) |
07 Sep 2022 21:58:51
|
Stefan Eßer (se) |
Remove WWW entries moved into port Makefiles
Commit b7f05445c00f has added WWW entries to port Makefiles based on
WWW: lines in pkg-descr files.
This commit removes the WWW: lines of moved-over URLs from these
pkg-descr files.
Approved by: portmgr (tcberner) |
0.1.11
07 Sep 2022 21:10:59
|
Stefan Eßer (se) |
Add WWW entries to port Makefiles
It has been common practice to have one or more URLs at the end of the
ports' pkg-descr files, one per line and prefixed with "WWW:". These
URLs should point at a project website or other relevant resources.
Access to these URLs required processing of the pkg-descr files, and
they have often become stale over time. If more than one such URL was
present in a pkg-descr file, only the first one was tarnsfered into
the port INDEX, but for many ports only the last line did contain the
port specific URL to further information.
There have been several proposals to make a project URL available as
a macro in the ports' Makefiles, over time.
(Only the first 15 lines of the commit message are shown above  ) |
0.1.11
06 Oct 2021 16:11:48
|
Yuri Victorovich (yuri) |
math/libpoly: Update 0.1.10 -> 0.1.11
Reported by: portscout |
0.1.10
27 Jul 2021 13:17:35
|
Yuri Victorovich (yuri) |
math/{libpoly,py-libpoly}: 0.1.9 -> 0.1.10
Reported by: portscout |
0.1.9
14 Apr 2021 08:37:19
|
Yuri Victorovich (yuri) |
math/libpoly: Update 0.1.8 -> 0.1.9
Reported by: portscout |
0.1.8
07 Apr 2021 08:09:01
|
Mathieu Arnold (mat) |
One more small cleanup, forgotten yesterday.
Reported by: lwhsu |
0.1.8
06 Apr 2021 14:31:07
|
Mathieu Arnold (mat) |
Remove # $FreeBSD$ from Makefiles. |
0.1.8
04 Apr 2020 21:14:25
 |
yuri |
math/libpoly: Update 0.1.7 -> 0.1.8
Reported by: portscout |
0.1.7
25 Dec 2018 20:25:40
|
tcberner |
Change cmake default behaviour to outsource.
Ports that build out of source now simply can use "USES=cmake"
instead of "USES=cmake:outsource". Ports that fail to build
out of source now need to specify "USES=cmake:insource".
I tried to only set insource where explictely needed.
PR: 232038
Exp-run by: antoine |
0.1.7
21 Jul 2018 08:30:08
|
yuri |
New port: math/libpoly: C library for manipulating polynomial |
As an Amazon Associate I earn from qualifying purchases.