BSD Portsmath/py-spot 2.16 FreeBSD
Python binding for 'Spot', the library for omega automata manipulation
- System
- FreeBSD
- Repository
- FreeBSD ports
- Maintainer
- [email protected]
- Last update
- Commit
6464c4ca26- License
- GPLv3
- Categories
- math
- Package size
- 1299.3 KiB, 7703.6 KiB installed
Description
The python binding for 'Spot', the library for LTL, omega-automata manipulation and model checking.
Install
Binary package:
pkg install py312-spotFrom the ports tree:
cd /usr/ports/math/py-spot/ && make install cleanTo depend on this port in another port's Makefile:
RUN_DEPENDS= py312-spot>0:math/py-spotPackages
The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.
| Repository | aarch64 | amd64 | armv6 | armv7 | i386 |
|---|---|---|---|---|---|
| FreeBSD:14:latest | 2.16 | 2.16 | 2.11.3 | 2.12.1 | 2.16 |
| FreeBSD:14:quarterly | 2.16 | 2.16 | n/a | 2.12.1 | 2.16 |
| FreeBSD:15:latest | 2.16 | 2.16 | n/a | 2.12.1 | 2.12.1 |
| FreeBSD:15:quarterly | 2.16 | 2.16 | n/a | n/a | n/a |
| FreeBSD:16:latest | 2.16 | 2.16 | n/a | n/a | n/a |
| FreeBSD:16:quarterly | n/a | n/a | n/a | n/a | n/a |
Dependencies
As this port's Makefile names them.
Library 1
libspot.so: math/spot
The full lists below include those, and their dependencies in turn.
Build dependencies 9
Run dependencies 8
No port depends on this one.
Configuration
No options to configure.
- USES
- compiler:c++17-lang gmake libtool python
- Service scripts
- none
Files
pkg-plist 32
- %%PYTHON_SITELIBDIR%%/__pycache__/buddy.opt-1.pyc
- %%PYTHON_SITELIBDIR%%/__pycache__/buddy.opt-2.pyc
- %%PYTHON_SITELIBDIR%%/__pycache__/buddy.pyc
- %%PYTHON_SITELIBDIR%%/_buddy.so
- %%PYTHON_SITELIBDIR%%/buddy.py
- %%PYTHON_SITELIBDIR%%/spot/__init__.py
- %%PYTHON_SITELIBDIR%%/spot/__pycache__/__init__.opt-1.pyc
- %%PYTHON_SITELIBDIR%%/spot/__pycache__/__init__.opt-2.pyc
- %%PYTHON_SITELIBDIR%%/spot/__pycache__/__init__.pyc
- %%PYTHON_SITELIBDIR%%/spot/__pycache__/aux_.opt-1.pyc
- %%PYTHON_SITELIBDIR%%/spot/__pycache__/aux_.opt-2.pyc
- %%PYTHON_SITELIBDIR%%/spot/__pycache__/aux_.pyc
- %%PYTHON_SITELIBDIR%%/spot/__pycache__/gen.opt-1.pyc
- %%PYTHON_SITELIBDIR%%/spot/__pycache__/gen.opt-2.pyc
- %%PYTHON_SITELIBDIR%%/spot/__pycache__/gen.pyc
- %%PYTHON_SITELIBDIR%%/spot/__pycache__/impl.opt-1.pyc
- %%PYTHON_SITELIBDIR%%/spot/__pycache__/impl.opt-2.pyc
- %%PYTHON_SITELIBDIR%%/spot/__pycache__/impl.pyc
- %%PYTHON_SITELIBDIR%%/spot/__pycache__/jupyter.opt-1.pyc
- %%PYTHON_SITELIBDIR%%/spot/__pycache__/jupyter.opt-2.pyc
- %%PYTHON_SITELIBDIR%%/spot/__pycache__/jupyter.pyc
- %%PYTHON_SITELIBDIR%%/spot/__pycache__/ltsmin.opt-1.pyc
- %%PYTHON_SITELIBDIR%%/spot/__pycache__/ltsmin.opt-2.pyc
- %%PYTHON_SITELIBDIR%%/spot/__pycache__/ltsmin.pyc
- %%PYTHON_SITELIBDIR%%/spot/_gen.so
- %%PYTHON_SITELIBDIR%%/spot/_impl.so
- %%PYTHON_SITELIBDIR%%/spot/_ltsmin.so
- %%PYTHON_SITELIBDIR%%/spot/aux_.py
- %%PYTHON_SITELIBDIR%%/spot/gen.py
- %%PYTHON_SITELIBDIR%%/spot/impl.py
- %%PYTHON_SITELIBDIR%%/spot/jupyter.py
- %%PYTHON_SITELIBDIR%%/spot/ltsmin.py
distinfo 1
| File | Size | SHA256 |
|---|---|---|
| spot-2.16.tar.gz | 9.516931e+06 | 688463cb2fa393c51d9cf938fb01a716b91e4c8122aeb52fd116a3bbfddab869 |
Master sites 1
- http://www.lrde.epita.fr/dload/spot/