Equeue contains a generic implementation of queues of events of any type, and a
specific implementation of queues of file descriptor events.
The generic module allows to associate an event queue with an event source, and
one or several event handlers. The event source generates new events that are
triggered from the outer world. The handlers consume events, but it is allowed
that handlers also generate events.
The module for file descriptor events already defines an event source; this
source watches registered file descriptors and produces events if a descriptor
wants to deliver data, or if a descriptor is ready to accept data. As in the
generic module, the handlers consume the events.
The concept of engines is suggested to construct event-driven programs in a
systematic way. There are already a number of basic engines (polling, copying,
connecting with a network service, accepting connections, SOCKS), and a number
of operations for engines (sequential execution, synchronization).
It is possible to let Equeue cooperate with the event queue implementation of
Tcl. Now, also the Shell library is included in the Equeue distribution.
WWW: http://www.ocaml-programming.de/programming/equeue.html
===> The following configuration options are available for ocaml-equeue-2.1.4_4:
DOCS=on: Build and/or install documentation
EQUEUE_TCL=off: Integration with the labltk event system
===> Use 'make config' to modify these settings
- Return my ports back to the pool. I was unable to make any fixes to
my ports in the past 3 weeks while ports were broken on any 10.x
machines, which means I'm unable to maintain them. So let people know
that there's no available support for them until things are back to
normal (which also means that anyone with spare time will be able
to fix them without getting approval).
- Bump portrevisions on all ocaml libraries, as it appears that compiled
interface files (.cmi) are not backward compatible with a newer ocaml
version.
PR: ports/156195
Suggested by: mandree
- DISTNAME= ${PORTNAME}-${PORTVERSION} is the default and not needed.
PR: ports/153292
Submitted by: myself (pgollucci)
Tested by: -exp run by pav
Approved by: portmgr (pav)
