Package: picoprolog
Version: 2016-12-22-85c651fd5ef8
Revision: 1
Description: Prolog interpreter
License: Restrictive/Distributable

BuildDepends: fpc

# Unpack Phase
Source: https://bitbucket.org/Spivey/pprolog/get/85c651fd5ef8.zip
Source-Checksum: SHA256(e2fed609c6d8ff2fa185a1e1c468dc317112499d6f1ddba9bae5d159abd10555)
SourceDirectory: Spivey-pprolog-85c651fd5ef8

# Compile Phase
Compilescript: make fp-pprolog

# Install Phase
Installscript: <<
  mkdir -p %i/bin/
  install -c -m 755 fp-pprolog %i/bin/
  ln -s fp-pprolog %i/bin/picoprolog
<<

# Documentation
DocFiles: README.md

# Additional Info
DescDetail: <<
  PicoProlog is a minimal subset of Prolog, implemented by an interpreter
  written in Pascal.  It is described in the book, An introduction to logic
  programming through Prolog, available from the homepage:

  http://spivey.oriel.ox.ac.uk/wiki2/files/logprog/logic.pdf

  For a start, read the book and start the interpreter with the command 
  "picoprolog"
<<

Homepage: http://spivey.oriel.ox.ac.uk/corner/PicoProlog
Maintainer: Karl-Michael Schindler <karl-michael.schindler@web.de>