| Port details on branch 2022Q2 |
- py-spot Python binding for 'Spot', the library for omega automata manipulation
- 2.11.6 math
 =0      2.11.6Version of this port present on the latest quarterly branch. - Maintainer: yuri@FreeBSD.org
- Port Added: 2018-08-04 23:37:12
- Last Update: 2023-08-02 07:49:50
- Commit Hash: 548080322
- License: GPLv3
- WWW:
- https://spot.lrde.epita.fr
- Description:
- The python binding for 'Spot', the library for LTL, omega-automata manipulation
and model checking.
  ¦  ¦  ¦  ¦ 
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - Dependency lines:
-
- ${PYTHON_PKGNAMEPREFIX}spot>0:math/py-spot@${PY_FLAVOR}
- To install the port:
- cd /usr/ports/math/py-spot/ && make install clean
- To add the package, run one of these commands:
- pkg install math/py-spot
- pkg install py39-spot
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-spot listed in the above command, you can pick from the names under the Packages section.- PKGNAME: py39-spot
- Flavors: there is no flavor information for this port.
- distinfo:
- TIMESTAMP = 1690958519
SHA256 (spot-2.11.6.tar.gz) = a692794f89c0db3956ba5919bdd5313e372e0de34000a9022f29e1c6e91c538a
SIZE (spot-2.11.6.tar.gz) = 7573694
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:
-
- gmake>=4.3 : devel/gmake
- python3.9 : lang/python39
- Test dependencies:
-
- python3.9 : lang/python39
- Runtime dependencies:
-
- python3.9 : lang/python39
- Library dependencies:
-
- libspot.so : math/spot
- There are no ports dependent upon this port
Configuration Options:- No options to configure
- Options name:
- math_py-spot
- USES:
- compiler:c++17-lang gmake libtool python
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|
As an Amazon Associate I earn from qualifying purchases.