README

-*- outline -*-

* Dependencies
The aggregate-plugin depends on following libraries and programs:

** dlvhex
Naturally, dlvhex must already be installed on the system.


* Building and installing dlvhex-aggregateplugin

** Prerequisites

*** dlvhex
For instructions how to install dlvhex, see the respective README there.

** Configuration
Run "configure" to create the necessary Makefiles. If you want to install the
plugin locally in your home, use the configure-switch --enable-userinstall
(then, the plugin will be installed in ~/.dlvhex/plugins, where dlvhex will
find it). Otherwise, the default installation is automatically determined from
the configuration of dlvhex (usually /usr/local/lib/dlvhex/plugins or similar).

** Installation
Run "make install" to install the plugin. It will be placed at a location
determined by configure.

* Using the aggregate-plugin

tbd.