Port details on branch 2022Q2 |
- maude High-performance reflective language
- 2.7.1_2 lang =0 2.7.1_2Version of this port present on the latest quarterly branch.
- There is no maintainer for this port.
- Any concerns regarding this port should be directed to the FreeBSD Ports mailing list via ports@FreeBSD.org
- Port Added: 2006-04-05 22:34:56
- Last Update: 2023-08-07 00:33:39
- Commit Hash: 54def85
- License: GPLv2
- WWW:
- https://maude.cs.uiuc.edu/
- Description:
- Maude is a high-performance reflective language and system supporting both
equational and rewriting logic specification and programming 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.
Rewriting logic is a logic of concurrent change that can naturally deal with
state and with concurrent computations. It has good properties as a general
semantic framework for giving executable semantics to a wide range of
languages and models of concurrency. In particular, it supports very well
concurrent object-oriented computation. The same reasons making rewriting
logic a good semantic framework make it also a good logical framework, that
is, a metalogic in which many other logics can be naturally represented and
executed.
Maude supports in a systematic and efficient way logical reflection. This
makes Maude remarkably extensible and powerful, supports an extensible algebra
of module composition operations, and allows many advanced metaprogramming and
metalanguage applications. Indeed, some of the most interesting applications
of Maude are metalanguage applications, in which Maude is used to create
executable environments for different logics, theorem provers, languages, and
models of computation.
- ¦ ¦ ¦ ¦
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - Dependency lines:
-
- To install the port:
- cd /usr/ports/lang/maude/ && make install clean
- To add the package, run one of these commands:
- pkg install lang/maude
- pkg install maude
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.- PKGNAME: maude
- Flavors: there is no flavor information for this port.
- distinfo:
- TIMESTAMP = 1537177216
SHA256 (Maude-2.7.1.tar.gz) = b1887c7fa75e85a1526467727242f77b5ec7cd6a5dfa4ceb686b6f545bb1534b
SIZE (Maude-2.7.1.tar.gz) = 1853963
Packages (timestamps in pop-ups are UTC):
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- flex : textproc/flex
- bison : devel/bison
- autoconf>=2.71 : devel/autoconf
- automake>=1.16.5 : devel/automake
- Library dependencies:
-
- libbdd.so : science/buddy
- libtecla.so : devel/libtecla
- libgmp.so : math/gmp
- libsigsegv.so : devel/libsigsegv
- Patch dependencies:
-
- unzip : archivers/unzip
- There are no ports dependent upon this port
Configuration Options:
- ===> The following configuration options are available for maude-2.7.1_2:
CVC4=off: Enable SMT support via CVC4
DOCS=on: Build and/or install documentation
FULL_MAUDE=on: Install full-maude
===> Use 'make config' to modify these settings
- Options name:
- lang_maude
- USES:
- alias autoreconf bison compiler:c++11-lang localbase:ldflags ncurses
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|