# $Id$

PortSystem 1.0
name		Djinn
version		2006-07-21
revision	2
categories	devel
maintainers	bfulgham
description	Haskell Theorem Prover
long_description	\
		Djinn is a small program that takes a (Haskell) type and \
		returns a function of that type, if one exists.  In short, \
		a Haskell type can be seen as a proposition in logic (i.e., \
		the Curry-Howard isomorphism).  Djinn proves or disproves \
		the type proposition.  If it manages the proof, it extracts \
		a program from that. \
		This is mainly interesting as part of the lambdabot.

homepage	http://www.augustsson.net/Darcs/Djinn/
platforms	darwin
master_sites	${homepage}
distname	Djinn

checksums	md5 126688753b4ca7f092a434394ed26114

depends_build	port:ghc

configure	{
                  system -W ${worksrcpath} "runghc Setup configure --ghc --prefix=${prefix}"
		}

build		{
		  system -W ${worksrcpath} "runghc Setup build"
 		}

destroot	{
		  system -W ${worksrcpath} "runghc Setup copy --copy-prefix=${destroot}${prefix}"
		}

post-activate	{
		  catch { system -W ${worksrcpath} "runghc Setup unregister"}
		  system -W ${worksrcpath} "runghc Setup register"
		}