BSD Portsmath/petanque 1.1.0_1 FreeBSD
Library that helps manipulate symbolic boolean expressions
- System
- FreeBSD
- Repository
- FreeBSD ports
- Maintainer
- [email protected]
- Last update
- Commit
da28c3f6af- License
- BSD3CLAUSE
- Categories
- math
- Package size
- 58.3 KiB, 202.7 KiB installed
Description
petanque is a library that helps manipulate symbolic boolean expressions.
In the other systems
| System | Port | Version |
|---|---|---|
| FreeBSD | math/petanque | 1.1.0_1 |
| DragonFly | math/petanque | 1.1.0 |
Install
Binary package:
pkg install petanqueFrom the ports tree:
cd /usr/ports/math/petanque/ && make install cleanTo depend on this port in another port's Makefile:
RUN_DEPENDS= petanque>0:math/petanque
LIB_DEPENDS= libpetanque.so:math/petanquePackages
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 | 1.1.0_1 | 1.1.0_1 | 1.1.0 | 1.1.0 | 1.1.0_1 |
| FreeBSD:14:quarterly | 1.1.0_1 | 1.1.0_1 | n/a | 1.1.0 | 1.1.0_1 |
| FreeBSD:15:latest | 1.1.0_1 | 1.1.0_1 | n/a | 1.1.0 | 1.1.0 |
| FreeBSD:15:quarterly | 1.1.0_1 | 1.1.0_1 | n/a | n/a | n/a |
| FreeBSD:16:latest | 1.1.0_1 | 1.1.0_1 | n/a | n/a | n/a |
| FreeBSD:16:quarterly | n/a | n/a | n/a | n/a | n/a |
Dependencies
The Makefile names none itself; they come from USES and USE_*.
The full lists below include those, and their dependencies in turn.
Build dependencies 15
No port depends on this one.
Configuration
No options to configure.
- USES
- cmake:testing compiler:c++14-lang
- Service scripts
- none
Files
pkg-plist 13
- include/pa/analyses.h
- include/pa/app.h
- include/pa/bitfield.h
- include/pa/exprs.h
- include/pa/matrix.h
- include/pa/prettyprinter.h
- include/pa/subs.h
- include/pa/symbols.h
- include/pa/syms_hist.h
- include/pa/syms_set.h
- include/pa/traits.h
- include/pa/vector.h
- lib/libpetanque.so
distinfo 1
| File | Size | SHA256 |
|---|---|---|
| quarkslab-arybo-release-1.1.0_GH0.tar.gz | 940821 | 96749f152e366c16803c9239e05d15cc9d3f1c156203064519c325be66a57acb |