# -*- 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
# $Id$

PortSystem          1.0

name                Maude
version             2.6
categories          lang
platforms           darwin
maintainers         gmail.com:dcolish
license             GPL-2

description         high-performance reflective language and system \
                    supporting both equational and rewriting logic \
                    specification and programming

long_description    ${name} is a ${description} for a wide range of \
                    applications. Maude has been influenced in important \
                    ways by the OBJ3 language, which can be regarded as an \
                    equational logic sublanguage. Besides supporting \
                    equational specification and programming, Maude also \
                    supports rewriting logic computation.

homepage            http://maude.cs.uiuc.edu/
master_sites        ${homepage}download/current/

checksums           sha1    3f1ec2f39a22942bb096102d1d8d6eed4510483e \
                    rmd160  a9387701016e04ba4a256c3db8c9f10195147183

depends_build       port:bison \
                    port:flex

depends_lib         port:gmp \
                    port:libsigsegv \
                    port:buddy

patchfiles          patch-src-Mixfix-Makefile.in.diff

configure.args      --without-tecla

notes "
Set MAUDE_LIB=${prefix}/share in order to load prelude correctly
"

livecheck.type      regex
livecheck.url       [lindex ${master_sites} 0]
livecheck.regex     ${name}-(\[0-9.\]+)\\.