casa-mp-base

PortSystem 1.0

name                    Omega

version                 1.4.2

revision                3

categories              lang

platforms               darwin freebsd

maintainers             gmail.com:ggreif

description             An interpreted, functional language with an expressive type system

long_description \

    Omega is a strict dialect of Haskell \

    providing type-level computations and \

    by this virtue integrates a theorem prover.

​

homepage                http://web.cecs.pdx.edu/~sheard/Omega/

master_sites            ${homepage}

distname                Omega${version}b

checksums               md5 b5e5505626a1d5bdc8c539ce54112946 \

                        sha1 93752d7a24a1c6f9f1b21268c51726fd55e0f260 \

                        rmd160 611b6c4870e647634488c96d9eae27bf22846ebc

​

use_zip                 yes

​

worksrcdir              ${name}

patchfiles              patch-Makefile.diff patch-Bind.hs.diff \

                        patch-Infer2.hs.diff patch-Toplevel.hs.diff

​

use_configure           no

​

build.target            strip

depends_build           port:ghc

depends_lib             port:libedit

​

destroot.destdir        DESTDIR=${destroot}${prefix}

​