devel/ocaml-pomap 4.1.2 FreeBSD
OCaml library to maintain a list of partially ordered elements
- System
- FreeBSD
- Repository
- FreeBSD ports
- Maintainer
- [email protected]
- Last update
- Commit
5e7b9b3613- License
- LGPL21+
- Categories
- devel
- Package size
- 426.3 KiB, 1649.4 KiB installed
Description
The Pomap-library implements an ADT that maintains maps of partially ordered elements. Whereas a total order allows you to say whether some element is lower, equal or greater than another one, partial orders also allow for a "don-t know" case.
In the other systems
| System | Port | Version |
|---|---|---|
| FreeBSD | devel/ocaml-pomap | 4.1.2 |
| DragonFly | devel/ocaml-pomap | 4.1.1_3 |
| GhostBSD | devel/ocaml-pomap | 4.1.2 |
Install
Binary package:
pkg install ocaml-pomap
From the ports tree:
cd /usr/ports/devel/ocaml-pomap/ && make install clean
To depend on this port in another port's Makefile:
RUN_DEPENDS= ocaml-pomap>0:devel/ocaml-pomap
Packages
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 | 4.1.2 | 4.1.2 | - | 4.1.1_3 | 4.1.2 |
| FreeBSD:14:quarterly | 4.1.2 | 4.1.2 | n/a | 4.1.1_3 | 4.1.2 |
| FreeBSD:15:latest | 4.1.2 | 4.1.2 | n/a | 4.1.1_3 | 4.1.1_3 |
| FreeBSD:15:quarterly | 4.1.2 | 4.1.2 | n/a | n/a | n/a |
| FreeBSD:16:latest | 4.1.2 | 4.1.2 | 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.
Build 1
dune: devel/ocaml-dune
The full lists below include those, and their dependencies in turn.
Build dependencies 2
Run dependencies 1
No port depends on this one.
Configuration
Options name: devel_pomap
| Option | Default | Description |
|---|---|---|
| DOCS | off | Build and/or install documentation |
| EXAMPLES | off | Build and/or install examples |
- USES
- ocaml
- Service scripts
- none
Files
pkg-plist 55
- %%OCAML_SITELIBDIR%%/pomap/META
- %%OCAML_SITELIBDIR%%/pomap/display_hasse_impl.ml
- %%OCAML_SITELIBDIR%%/pomap/display_hasse_impl.mli
- %%OCAML_SITELIBDIR%%/pomap/display_hasse_intf.ml
- %%OCAML_SITELIBDIR%%/pomap/dune-package
- %%OCAML_SITELIBDIR%%/pomap/opam
- %%OCAML_SITELIBDIR%%/pomap/pomap.a
- %%OCAML_SITELIBDIR%%/pomap/pomap.cma
- %%OCAML_SITELIBDIR%%/pomap/pomap.cmi
- %%OCAML_SITELIBDIR%%/pomap/pomap.cmt
- %%OCAML_SITELIBDIR%%/pomap/pomap.cmx
- %%OCAML_SITELIBDIR%%/pomap/pomap.cmxa
- %%OCAML_SITELIBDIR%%/pomap/pomap.cmxs
- %%OCAML_SITELIBDIR%%/pomap/pomap.ml
- %%OCAML_SITELIBDIR%%/pomap/pomap__Display_hasse_impl.cmi
- %%OCAML_SITELIBDIR%%/pomap/pomap__Display_hasse_impl.cmt
- %%OCAML_SITELIBDIR%%/pomap/pomap__Display_hasse_impl.cmti
- %%OCAML_SITELIBDIR%%/pomap/pomap__Display_hasse_impl.cmx
- %%OCAML_SITELIBDIR%%/pomap/pomap__Display_hasse_intf.cmi
- %%OCAML_SITELIBDIR%%/pomap/pomap__Display_hasse_intf.cmt
- %%OCAML_SITELIBDIR%%/pomap/pomap__Display_hasse_intf.cmx
- %%OCAML_SITELIBDIR%%/pomap/pomap__Pomap_impl.cmi
- %%OCAML_SITELIBDIR%%/pomap/pomap__Pomap_impl.cmt
- %%OCAML_SITELIBDIR%%/pomap/pomap__Pomap_impl.cmti
- %%OCAML_SITELIBDIR%%/pomap/pomap__Pomap_impl.cmx
- %%OCAML_SITELIBDIR%%/pomap/pomap__Pomap_intf.cmi
- %%OCAML_SITELIBDIR%%/pomap/pomap__Pomap_intf.cmt
- %%OCAML_SITELIBDIR%%/pomap/pomap__Pomap_intf.cmx
- %%OCAML_SITELIBDIR%%/pomap/pomap__Ptset.cmi
- %%OCAML_SITELIBDIR%%/pomap/pomap__Ptset.cmt
- %%OCAML_SITELIBDIR%%/pomap/pomap__Ptset.cmti
- %%OCAML_SITELIBDIR%%/pomap/pomap__Ptset.cmx
- %%OCAML_SITELIBDIR%%/pomap/pomap__Store_impl.cmi
- %%OCAML_SITELIBDIR%%/pomap/pomap__Store_impl.cmt
- %%OCAML_SITELIBDIR%%/pomap/pomap__Store_impl.cmti
- %%OCAML_SITELIBDIR%%/pomap/pomap__Store_impl.cmx
- %%OCAML_SITELIBDIR%%/pomap/pomap__Store_intf.cmi
- %%OCAML_SITELIBDIR%%/pomap/pomap__Store_intf.cmt
- %%OCAML_SITELIBDIR%%/pomap/pomap__Store_intf.cmx
- %%OCAML_SITELIBDIR%%/pomap/pomap_impl.ml
- %%OCAML_SITELIBDIR%%/pomap/pomap_impl.mli
- %%OCAML_SITELIBDIR%%/pomap/pomap_intf.ml
- %%OCAML_SITELIBDIR%%/pomap/ptset.ml
- %%OCAML_SITELIBDIR%%/pomap/ptset.mli
- %%OCAML_SITELIBDIR%%/pomap/store_impl.ml
- %%OCAML_SITELIBDIR%%/pomap/store_impl.mli
- %%OCAML_SITELIBDIR%%/pomap/store_intf.ml
- share/doc/ocaml-pomap/CHANGES.md
- share/doc/ocaml-pomap/LICENSE.md
- share/doc/ocaml-pomap/README.md
- share/examples/ocaml-pomap/hasse/Makefile
- share/examples/ocaml-pomap/hasse/README.md
- share/examples/ocaml-pomap/hasse/dune
- share/examples/ocaml-pomap/hasse/hasse.ml
- share/examples/ocaml-pomap/hasse/po_examples.ml
distinfo 1
| File | Size | SHA256 |
|---|---|---|
| mmottl-pomap-4.1.2_GH0.tar.gz | 32041 | 912b04c8da6f2e29808656bc1b795c992476ef9840ad58d46e44737aedc2531f |
Commit history 2
| Date | Commit | Credits | Log message |
|---|---|---|---|
5e7b9b3613 |
Christos Longros | Update maintainer email address Update to [email protected]
Approved by: jrm (mentor)
Differential Revision: https://reviews.freebsd.org/D60621 |
|
3403587d32 |
Christos Longros | devel/ocaml-pomap: Update 4.1.1 => 4.1.2, take maintainership Changelog:
https://github.com/mmottl/pomap/blob/4.1.2/CHANGES.md
PR: 297859
Approved by: osa, vvd (Mentors, implicit) |