# $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" }