GV

GeezerVison

The World Wide Web, restored to 800 pixels of glory.

Home|About|Gaming cabinet|Archives|How it works|Starter sites

On this site

  • Sign in
  • ActionsCI/CD and automation
  • CodespacesCloud development environments
  • All Features
  • Documentation
  • Training
  • Certifications
  • Build with Copilot
  • Customize Copilot
  • Integrations
  • Trending repos
  • GitHub Sponsors
  • Developer articles
  • Enterprises

This view

  • Original page
  • New address

GeezerVison is showing github.com — GitHub - hexhex/nestedhexplugin: Nested HEX-Programs

BranchesTags
Open more actions menu

Latest commit

 

History

14 Commits
14 Commits

Folders and files

NameName
Last commit message
Last commit date
dlvhex-common @ 7754c9e
dlvhex-common @ 7754c9e
 
 
examples
examples
 
 
include
include
 
 
m4
m4
 
 
src
src
 
 
testsuite
testsuite
 
 
vs10
vs10
 
 
.gitmodules
.gitmodules
 
 
AUTHORS
AUTHORS
 
 
ChangeLog
ChangeLog
 
 
Makefile.am
Makefile.am
 
 
NEWS
NEWS
 
 
README
README
 
 
bootstrap.sh
bootstrap.sh
 
 
configure.ac
configure.ac
 
 

Repository files navigation

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

About

Nested HEX-Programs

Resources

Readme
Activity
Custom properties

Stars

0 stars

Watchers

19 watching

Forks

0 forks
Report repository

Releases

Packages

Contributors

Languages

You are visitor 01402503 — GeezerVison does not store the pages you look up.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.