| Port details |
- py-clingo Grounder and solver for logic programs
- 5.7.1 math
 =2      5.7.1Version of this port present on the latest quarterly branch. - Maintainer: yuri@FreeBSD.org
- Port Added: 2022-09-14 11:42:48
- Last Update: 2024-04-21 04:01:37
- Commit Hash: e62d8e4
- People watching this port, also watch:: jdictionary, py311-Automat, py311-python-gdsii, py39-PyOpenGL, p5-Sane
- Also Listed In: python
- License: MIT
- WWW:
- https://potassco.org/clingo/
- Description:
- Answer Set Programming (ASP) offers a simple and powerful modeling language to
solve combinatorial problems. With these tools users can concentrate on an
actual problem, rather than a smart way of implementing it.
  ¦  ¦  ¦  ¦ 
- 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}clingo>0:math/py-clingo@${PY_FLAVOR}
- To install the port:
- cd /usr/ports/math/py-clingo/ && make install clean
- To add the package, run one of these commands:
- pkg install math/py-clingo
- pkg install py39-clingo
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-clingo listed in the above command, you can pick from the names under the Packages section.- PKGNAME: py39-clingo
- Package flavors (<flavor>: <package>)
- distinfo:
- TIMESTAMP = 1713670274
SHA256 (clingo-5.7.1.tar.gz) = 17400a1894da46b2d4941a4a85012c98fa8b3c67a5c6b4c73dcd8c8facbc059f
SIZE (clingo-5.7.1.tar.gz) = 1866665
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
- py39-cffi>0 : devel/py-cffi@py39
- py39-scikit-build>0 : devel/py-scikit-build@py39
- py39-setuptools>=63.1.0 : devel/py-setuptools@py39
- python3.9 : lang/python39
- Test dependencies:
-
- python3.9 : lang/python39
- Runtime dependencies:
-
- py39-cffi>0 : devel/py-cffi@py39
- py39-setuptools>=63.1.0 : devel/py-setuptools@py39
- python3.9 : lang/python39
- This port is required by:
- for Build
-
- math/py-clingcon
- for Run
-
- math/py-clingcon
Configuration Options:- No options to configure
- Options name:
- math_py-clingo
- USES:
- compiler:c++14-lang python
- 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 |
|---|
5.7.1
21 Apr 2024 04:01:37
 |
Yuri Victorovich (yuri) |
math/{,py-}clingo: update 5.6.2 → 5.7.1
Reported by: portscout |
5.6.2_1
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> |
5.6.2_1
31 Mar 2023 17:51:26
|
Yuri Victorovich (yuri) |
math/py-clingo: Add missing dependeency py-cffi |
5.6.2
31 Mar 2023 16:52:34
|
Yuri Victorovich (yuri) |
math/py-clingo: Remove comment about broken tests
All tests pass. |
5.6.2
20 Mar 2023 08:29:04
|
Yuri Victorovich (yuri) |
math/{,py-}clingo: Update 5.6.1 → 5.6.2
Reported by: portscout |
5.6.1
11 Jan 2023 15:58:34
|
Dmitry Marakasov (amdmi3) |
*/*: rename CHEESESHOP to PYPI in MASTER_SITES
PR: 267994
Differential revision: D37518
Approved by: bapt |
5.6.1
18 Sep 2022 06:11:33
|
Yuri Victorovich (yuri) |
math/{,py-}clingo: Update 5.6.0 -> 5.6.1
Reported by: portscout |
5.6.0
14 Sep 2022 17:34:22
|
Yuri Victorovich (yuri) |
math/py-clingo: Fix tests |
5.6.0
14 Sep 2022 04:59:19
|
Yuri Victorovich (yuri) |
math/py-clingo: Correct cmake dependency; Use PYTHON_EXT_SUFFIX |
5.6.0
14 Sep 2022 04:41:14
|
Yuri Victorovich (yuri) |
math/py-clingo: New port: Grounder and solver for logic programs |
As an Amazon Associate I earn from qualifying purchases.