GitHub - hexhex/nestedhexplugin: Nested HEX-Programs
-
Notifications
You must be signed in to change notification settings - Fork 0
NestedHexPlugin ===============
This file provides some hints how to install and run the nestedhex plugin for dlvhex.
You want to build and install from source
dlvhex uses the standard
$ ./configure
approach for installation.
This is dlvhex-nestedhexplugin, a plugin for `dlvhex’.
Dependencies
boost
If you have compiled boost by yourself, you have to tell the configure script where you have installed it with
$ ./configure –with-boost=/path/to/boost-prefix