You've already forked macports-ports
mirror of
https://github.com/macports/macports-ports.git
synced 2026-07-12 18:20:25 -07:00
Lawrence Velázquez
34b3070336
for pf in */*/Portfile
do
ed -s "$pf" <<-'EOF'
1,3g/^[[:space:]]*#[[:space:]]*\$Id.*\$[[:space:]]*$/d
1g/^[[:space:]]*$/d
w
q
EOF
done
35 lines
1.2 KiB
Plaintext
35 lines
1.2 KiB
Plaintext
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}
|
|
|