source: trunk/dports/lang/Omega/Portfile

Last change on this file was 131201, checked in by cal@…, 3 years ago

revbump all haskell ports, follows r131199, #44891

  • Property svn:eol-style set to native
  • Property svn:keywords set to Id
File size: 1.2 KB
Line 
1# $Id: Portfile 131201 2015-01-06 19:52:47Z ryandesign@macports.org $
2PortSystem 1.0
3name                    Omega
4version                 1.4.2
5revision                3
6categories              lang
7platforms               darwin freebsd
8maintainers             gmail.com:ggreif
9description             An interpreted, functional language with an expressive type system
10long_description \
11    Omega is a strict dialect of Haskell \
12    providing type-level computations and \
13    by this virtue integrates a theorem prover.
14
15homepage                http://web.cecs.pdx.edu/~sheard/Omega/
16master_sites            ${homepage}
17distname                Omega${version}b
18checksums               md5 b5e5505626a1d5bdc8c539ce54112946 \
19                        sha1 93752d7a24a1c6f9f1b21268c51726fd55e0f260 \
20                        rmd160 611b6c4870e647634488c96d9eae27bf22846ebc
21
22use_zip                 yes
23
24worksrcdir              ${name}
25patchfiles              patch-Makefile.diff patch-Bind.hs.diff \
26                        patch-Infer2.hs.diff patch-Toplevel.hs.diff
27
28use_configure           no
29
30build.target            strip
31depends_build           port:ghc
32depends_lib             port:libedit
33
34destroot.destdir        DESTDIR=${destroot}${prefix}
35
Note: See TracBrowser for help on using the repository browser.