# $Id: Portfile 50980 2009-05-14 19:41:55Z and.damore@macports.org $

PortSystem 1.0
name		Djinn
version		2006-07-21
revision	1
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	{ cd ${worksrcpath}
                  system "runghc Setup configure --ghc --prefix=${prefix}"
		}

build		{ cd ${worksrcpath}
		  system "runghc Setup build"
 		}

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

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

