Port details |
- py-pycosat Bindings to PicoSAT (a SAT solver)
- 0.6.3 math =2 0.6.3Version of this port present on the latest quarterly branch.
- Maintainer: bofh@FreeBSD.org
- Port Added: 2014-08-25 11:10:10
- Last Update: 2023-06-27 19:34:34
- Commit Hash: 3d9a815
- People watching this port, also watch:: jdictionary, py311-Automat, py311-python-gdsii, py39-PyOpenGL, p5-Sane
- Also Listed In: python
- License: MIT
- WWW:
- https://github.com/ContinuumIO/pycosat
- Description:
- PicoSAT is a popular SAT solver written by Armin Biere in pure C. This
package provides efficient Python bindings to picosat on the C level,
i.e. when importing pycosat, the picosat solver becomes part of the
Python process itself.
- ¦ ¦ ¦ ¦
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - There is no configure plist information for this port.
- Dependency lines:
-
- ${PYTHON_PKGNAMEPREFIX}pycosat>0:math/py-pycosat@${PY_FLAVOR}
- To install the port:
- cd /usr/ports/math/py-pycosat/ && make install clean
- To add the package, run one of these commands:
- pkg install math/py-pycosat
- pkg install py39-pycosat
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above. NOTE: This is a Python port. Instead of py39-pycosat listed in the above command, you can pick from the names under the Packages section.- PKGNAME: py39-pycosat
- Package flavors (<flavor>: <package>)
- distinfo:
- TIMESTAMP = 1533608453
SHA256 (pycosat-0.6.3.zip) = 4c99874946a7e939bb941bbb019dd2c20e6068e3107c91366e7779c69d70e0ed
SIZE (pycosat-0.6.3.zip) = 66825
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:
-
- py39-setuptools>=63.1.0 : devel/py-setuptools@py39
- python3.9 : lang/python39
- Test dependencies:
-
- python3.9 : lang/python39
- Runtime dependencies:
-
- py39-setuptools>=63.1.0 : devel/py-setuptools@py39
- python3.9 : lang/python39
- Library dependencies:
-
- libpicosat.so : math/picosat
- There are no ports dependent upon this port
Configuration Options:
- No options to configure
- Options name:
- math_py-pycosat
- USES:
- python zip
- 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.6.3 27 Jun 2023 19:34:34 |
Rene Ladan (rene) |
all: remove explicit versions in USES=python for "3.x+"
The logic in USES=python will automatically convert this to 3.8+ by
itself.
Adjust two ports that only had Python 3.7 mentioned but build fine
on Python 3.8 too.
finance/quickfix: mark BROKEN with PYTHON
libtool: compile: c++ -DHAVE_CONFIG_H -I. -I../.. -I -I. -I.. -I../.. -I../C++
-DLIBICONV_PLUG -DPYTHON_MAJOR_VERSION=3 -Wno-unused-variable
-Wno-maybe-uninitialized -O2 -pipe -DLIBICONV_PLUG -fstack-protector-strong
-fno-strict-aliasing -DLIBICONV_PLUG -Wall -ansi
-Wno-unused-command-line-argument -Wpointer-arith -Wwrite-strings
-Wno-overloaded-virtual -Wno-deprecated-declarations -Wno-deprecated -std=c++0x
-MT _quickfix_la-QuickfixPython.lo -MD -MP -MF
.deps/_quickfix_la-QuickfixPython.Tpo -c QuickfixPython.cpp -fPIC -DPIC -o
.libs/_quickfix_la-QuickfixPython.o
warning: unknown warning option '-Wno-maybe-uninitialized'; did you mean
'-Wno-uninitialized'? [-Wunknown-warning-option]
QuickfixPython.cpp:175:11: fatal error: 'Python.h' file not found
^~~~~~~~~~
1 warning and 1 error generated.
Reviewed by: portmgr, vishwin, yuri
Differential Revision: <https://reviews.freebsd.org/D40568> |
0.6.3 11 Jan 2023 15:58:34 |
Dmitry Marakasov (amdmi3) |
*/*: rename CHEESESHOP to PYPI in MASTER_SITES
PR: 267994
Differential revision: D37518
Approved by: bapt |
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.6.3 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.6.3 20 Jul 2022 14:22:24 |
Tobias C. Berner (tcberner) |
math: remove 'Created by' lines
A big Thank You to the original contributors of these ports:
* Aaron Dalton <aaron@FreeBSD.org>
* Aaron Dalton <aaron@daltons.ca>
* Alessando Sagratini <ale_sagra@hotmail.com>
* Alex Dupre <ale@FreeBSD.org>
* Alexey Dokuchaev <danfe@FreeBSD.org>
* Amarendra Godbole <amarendra.godbole@gmail.com>
* Anders Nordby <anders@FreeBSD.org>
* Andreas Fehlner (fehlner@gmx.de)
* Andrew L. Neporada <andrew@chg.ru>
* Andrey <gugu@zoo.rambler.ru>
* Andrey Zakhvatov (Only the first 15 lines of the commit message are shown above ) |
0.6.3 08 Mar 2022 02:09:57 |
Muhammad Moinur Rahman (bofh) |
*/*: Take maintainership |
0.6.3 07 Mar 2022 19:07:39 |
Rene Ladan (rene) |
all: return koobs' ports to the pool after safekeeping his commit bit. |
0.6.3 06 Apr 2021 14:31:07 |
Mathieu Arnold (mat) |
Remove # $FreeBSD$ from Makefiles. |
0.6.3 28 Dec 2020 23:02:15 |
antoine |
Drop python 2.7 support from a few ports
With hat: portmgr |
0.6.3 24 Dec 2020 13:46:02 |
kai |
Relax hardcoded paths to fix build with Python 3.8.7
Since r558913 Python 3.8 incorporates BPO-42604 [1] which changed the
shared libs naming scheme. This means "EXT_SUFFIX" is now derived from
SOABI and yields with Python 3.8 to ".cpython-38.so" instead of ".so".
The affected ports strip the libaries in the "post-install" target via
hardcoded path(s) and the build fails at the end because the new extension
is not expected at this place.
Remedy the issue by adding wildcards to these paths. This should also
prepare the ports for future Python releases, which will use the new shared
libs naming scheme.
[1] https://bugs.python.org/issue42604
PR: 252057
Reported by: John Kennedy
Reviewed by: fluffy, koobs
Approved by: koobs (python) |
0.6.3 07 Aug 2018 02:42:55 |
koobs |
math/py-pycosat: Update to 0.6.3
Changelog:
https://github.com/ContinuumIO/pycosat/blob/0.6.3/CHANGELOG |
0.6.1 19 May 2016 10:44:12 |
amdmi3 |
- Fix trailing whitespace in pkg-descrs, categories [g-n]*
Approved by: portmgr blanket |
0.6.1 01 Apr 2016 14:16:20 |
mat |
Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.
With hat: portmgr
Sponsored by: Absolight |
0.6.1 26 Dec 2015 07:23:01 |
koobs |
math/py-pycosat: Update to 0.6.1
- Update PORTVERSION and distinfo checksum (0.6.1) [1]
- Use PYTHON_SITELIBDIR in post-install STRIP_CMD
- Update test target to new convention
Changes:
https://github.com/ContinuumIO/pycosat/blob/0.6.1/CHANGELOG
PR: 205564 [1]
Submitted by: Yuri <yuri rawbw com> [1] |
0.6.0_1 25 Aug 2014 11:45:23 |
koobs |
math/py-pycosat: Chase category change for math/picosat
Change category change for math/picosat in LIB_DEPENDS |
0.6.0 25 Aug 2014 11:10:03 |
koobs |
Move picosat and py-pycosat from devel -> math
- Remove from devel/Makefile
- Add to math/Makefile
- Update CATEGORIES for both ports
- Add MOVED entries
While I'm here, sort MOVED entries causing MOVEDlint.awk error [1]
after r365599 [2]
[1] 6470: date going backwards from 2014-08-20 to 2014-08-15
[2] https://svnweb.freebsd.org/changeset/ports/365599
Suggested by: vsevolod |