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}

