casa-mp-base

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

​

PortSystem          1.0

​

name                Maude

version             2.7.1

categories          lang

platforms           darwin

maintainers         nomaintainer

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.illinois.edu

master_sites        http://maude.cs.illinois.edu/w/images/d/d8/

​

worksrcdir          maude-${version}

checksums           sha1    3a1b0b4d46cdafe326fa0fed3d3b6c3fed7468a0 \

                    rmd160  9b323056b9b3fa287d3db48ef131fdf91cd7f6e5 \

                    sha256  b1887c7fa75e85a1526467727242f77b5ec7cd6a5dfa4ceb686b6f545bb1534b \

                    size    1853963

​

depends_build       port:bison \

                    port:flex

​

depends_lib         port:gmp \

                    port:libsigsegv \

                    port:buddy \

                    port:cvc4

​

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.\]+)\\.