mirror of
https://github.com/macports/macports-ports.git
synced 2026-07-12 18:20:25 -07:00
51 lines
1.8 KiB
Tcl
51 lines
1.8 KiB
Tcl
# -*- 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.\]+)\\.
|