# $Id: Portfile 45741 2009-01-21 03:45:10Z blb@macports.org $ PortSystem 1.0 name Omega version 1.4.2 revision 2 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}