source: trunk/dports/lang/Maude/Portfile

Last change on this file was 78298, checked in by ryandesign@…, 6 years ago

Maude: new port, version 2.6; see #29335

  • Property svn:eol-style set to native
  • Property svn:keywords set to Id
File size: 1.6 KB
Line 
1# -*- coding: utf-8; mode: tcl; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- vim:fenc=utf-8:ft=tcl:et:sw=4:ts=4:sts=4
2# $Id: Portfile 78298 2011-05-01 22:56:41Z ryandesign@macports.org $
3
4PortSystem          1.0
5
6name                Maude
7version             2.6
8categories          lang
9platforms           darwin
10maintainers         gmail.com:dcolish
11license             GPL-2
12
13description         high-performance reflective language and system \
14                    supporting both equational and rewriting logic \
15                    specification and programming
16
17long_description    ${name} is a ${description} for a wide range of \
18                    applications. Maude has been influenced in important \
19                    ways by the OBJ3 language, which can be regarded as an \
20                    equational logic sublanguage. Besides supporting \
21                    equational specification and programming, Maude also \
22                    supports rewriting logic computation.
23
24homepage            http://maude.cs.uiuc.edu/
25master_sites        ${homepage}download/current/
26
27checksums           sha1    3f1ec2f39a22942bb096102d1d8d6eed4510483e \
28                    rmd160  a9387701016e04ba4a256c3db8c9f10195147183
29
30depends_build       port:bison \
31                    port:flex
32
33depends_lib         port:gmp \
34                    port:libsigsegv \
35                    port:buddy
36
37patchfiles          patch-src-Mixfix-Makefile.in.diff
38
39configure.args      --without-tecla
40
41notes "
42Set MAUDE_LIB=${prefix}/share in order to load prelude correctly
43"
44
45livecheck.type      regex
46livecheck.url       [lindex ${master_sites} 0]
47livecheck.regex     ${name}-(\[0-9.\]+)\\.
Note: See TracBrowser for help on using the repository browser.