Portfile

# $Id: Portfile 20549 2006-11-06 18:20:22Z gwright@macports.org $

PortSystem 1.0
name Djinn
version 2006-07-21
revision 1
categories devel
maintainers bfulgham@macports.org
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"
}