casa-mp-base

PortSystem 1.0

​

name        Djinn

version     2006-07-21

revision    2

categories  devel

maintainers nomaintainer

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    https://github.com/augustss/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"

        }

​