notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Want a good monitor light? See my photosAll times are UTC
Ukraine
This referral link gives you 10% off a Fastmail.com account and gives me a discount on my Fastmail account.

Get notified when packages are built

A new feature has been added. FreshPorts already tracks package built by the FreeBSD project. This information is displayed on each port page. You can now get an email when FreshPorts notices a new package is available for something on one of your watch lists. However, you must opt into that. Click on Report Subscriptions on the right, and New Package Notification box, and click on Update.

Finally, under Watch Lists, click on ABI Package Subscriptions to select your ABI (e.g. FreeBSD:14:amd64) & package set (latest/quarterly) combination for a given watch list. This is what FreshPorts will look for.

Port details
maude High-performance reflective language
2.7.1_2 lang on this many watch lists=0 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 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 search for ports maintained by this maintainer
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.
Homepage    cgit ¦ Codeberg ¦ GitHub ¦ GitLab ¦ SVNWeb

Manual pages:
FreshPorts has no man page information for this port.
pkg-plist: as obtained via: make generate-plist
Expand this list (16 items)
Collapse this list.
  1. /usr/local/share/licenses/maude-2.7.1_2/catalog.mk
  2. /usr/local/share/licenses/maude-2.7.1_2/LICENSE
  3. /usr/local/share/licenses/maude-2.7.1_2/GPLv2
  4. bin/maude
  5. share/maude/full-maude.maude
  6. share/maude/linear.maude
  7. share/maude/machine-int.maude
  8. share/maude/metaInterpreter.maude
  9. share/maude/model-checker.maude
  10. share/maude/prelude.maude
  11. @comment share/maude/smt.maude
  12. share/maude/socket.maude
  13. share/maude/term-order.maude
  14. @owner
  15. @group
  16. @mode
Collapse this list.
Dependency lines:
  • maude>0:lang/maude
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

Expand this list (2 items)

Collapse this list.

SHA256 (Full-Maude-2.7.1.zip) = 4c3a11b053ea92df4cfe89939a97c6b02c68489b174eb689c844c08decb18f78 SIZE (Full-Maude-2.7.1.zip) = 156771

Collapse this list.


Packages (timestamps in pop-ups are UTC):
maude
ABIaarch64amd64armv6armv7i386powerpcpowerpc64powerpc64le
FreeBSD:13:latest2.7.1_22.7.1_2-2.7.1_22.7.1_2---
FreeBSD:13:quarterly2.7.1_22.7.1_22.7.1_22.7.1_22.7.1_22.7.1_22.7.1_22.7.1_2
FreeBSD:14:latest2.7.1_22.7.1_22.7.1_22.7.1_22.7.1_22.7.1_2-2.7.1_2
FreeBSD:14:quarterly2.7.1_22.7.1_2-2.7.1_22.7.1_22.7.1_22.7.1_22.7.1_2
FreeBSD:15:latest2.7.1_22.7.1_2n/a2.7.1_2n/a2.7.1_22.7.1_22.7.1_2
FreeBSD:15:quarterly--n/a-n/a---
Dependencies
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Build dependencies:
  1. flex : textproc/flex
  2. bison : devel/bison
  3. autoconf>=2.71 : devel/autoconf
  4. automake>=1.16.5 : devel/automake
Library dependencies:
  1. libbdd.so : science/buddy
  2. libtecla.so : devel/libtecla
  3. libgmp.so : math/gmp
  4. libsigsegv.so : devel/libsigsegv
Patch dependencies:
  1. 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:
Expand this list (1 items)
Collapse this list.
  1. http://maude.cs.illinois.edu/w/images/d/d8/
Collapse this list.

Number of commits found: 46

Commit History - (may be incomplete: for full details, see links to repositories near top of page)
CommitCreditsLog message
2.7.1_2
07 Aug 2023 00:33:39
commit hash: 54def8552f323e3bdd6b11701dad210eacd1e861commit hash: 54def8552f323e3bdd6b11701dad210eacd1e861commit hash: 54def8552f323e3bdd6b11701dad210eacd1e861commit hash: 54def8552f323e3bdd6b11701dad210eacd1e861 files touched by this commit
Muhammad Moinur Rahman (bofh) search for other commits by this committer
lang/maude: Fix build with llvm16

Approved by:	portmgr (blanket)
Sponsored by:	The FreeBSD Foundation
2.7.1_2
04 Jan 2023 11:50:53
commit hash: 410c0280b73b8f81e4baf562da8bcfe312830dd3commit hash: 410c0280b73b8f81e4baf562da8bcfe312830dd3commit hash: 410c0280b73b8f81e4baf562da8bcfe312830dd3commit hash: 410c0280b73b8f81e4baf562da8bcfe312830dd3 files touched by this commit
Yuri Victorovich (yuri) search for other commits by this committer
lang/maude: CVC4 is broken because project doesn't yet support CVC5
2.7.1_1
09 Oct 2022 11:56:28
commit hash: f57221afde929c42521a9325c8e6416e2e400178commit hash: f57221afde929c42521a9325c8e6416e2e400178commit hash: f57221afde929c42521a9325c8e6416e2e400178commit hash: f57221afde929c42521a9325c8e6416e2e400178 files touched by this commit
Fernando Apesteguía (fernape) search for other commits by this committer
*/*: Release ports from maintainership

Maintainer releases all his ports.

PR:		266871
Reported by:	unrelentingtech <greg@unrelenting.technology>
07 Sep 2022 21:58:51
commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4 files touched by this commit
Stefan Eßer (se) search for other commits by this committer
Remove WWW entries moved into port Makefiles

Commit b7f05445c00f has added WWW entries to port Makefiles based on
WWW: lines in pkg-descr files.

This commit removes the WWW: lines of moved-over URLs from these
pkg-descr files.

Approved by:		portmgr (tcberner)
2.7.1_1
07 Sep 2022 21:10:59
commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52 files touched by this commit
Stefan Eßer (se) search for other commits by this committer
Add WWW entries to port Makefiles

It has been common practice to have one or more URLs at the end of the
ports' pkg-descr files, one per line and prefixed with "WWW:". These
URLs should point at a project website or other relevant resources.

Access to these URLs required processing of the pkg-descr files, and
they have often become stale over time. If more than one such URL was
present in a pkg-descr file, only the first one was tarnsfered into
the port INDEX, but for many ports only the last line did contain the
port specific URL to further information.

There have been several proposals to make a project URL available as
a macro in the ports' Makefiles, over time.
(Only the first 15 lines of the commit message are shown above View all of this commit message)
2.7.1_1
12 Aug 2022 14:46:53
commit hash: 4cf39decb348615b9c8a28370d987a85d1b8a5edcommit hash: 4cf39decb348615b9c8a28370d987a85d1b8a5edcommit hash: 4cf39decb348615b9c8a28370d987a85d1b8a5edcommit hash: 4cf39decb348615b9c8a28370d987a85d1b8a5ed files touched by this commit
Dima Panov (fluffy) search for other commits by this committer
*/*: bump all consumers after recent boost upgrade
2.7.1
20 Jul 2022 14:22:15
commit hash: f98ae56653d5255e3519da4e97d6edbaa7e6df91commit hash: f98ae56653d5255e3519da4e97d6edbaa7e6df91commit hash: f98ae56653d5255e3519da4e97d6edbaa7e6df91commit hash: f98ae56653d5255e3519da4e97d6edbaa7e6df91 files touched by this commit
Tobias C. Berner (tcberner) search for other commits by this committer
lang: remove 'Created by' lines

A big Thank You to the original contributors of these ports:

  *  Aaron Dalton <aaron@FreeBSD.org>
  *  Adam Weinberger <adamw@FreeBSD.org>
  *  Akinori MUSHA aka knu <knu@idaemons.org>
  *  Alex Dupre <ale@FreeBSD.org>
  *  Alexey Dokuchaev <danfe@FreeBSD.org>
  *  Alonso Cardenas Marquez <acm@FreeBSD.org>
  *  Andreas Klemm <andreas@klemm.gtn.com>
  *  Andrew Pantyukhin <infofarmer@FreeBSD.org>
  *  Andrey Zakhvatov
  *  Anton Berezin <tobez@FreeBSD.org>
  *  Anton Berezin <tobez@tobez.org>
(Only the first 15 lines of the commit message are shown above View all of this commit message)
2.7.1
06 Apr 2021 14:31:07
commit hash: 305f148f482daf30dcf728039d03d019f88344ebcommit hash: 305f148f482daf30dcf728039d03d019f88344ebcommit hash: 305f148f482daf30dcf728039d03d019f88344ebcommit hash: 305f148f482daf30dcf728039d03d019f88344eb files touched by this commit
Mathieu Arnold (mat) search for other commits by this committer
Remove # $FreeBSD$ from Makefiles.
2.7.1
29 Aug 2019 19:37:17
Revision:510181Original commit files touched by this commit
pkubaj search for other commits by this committer
lang/maude: fix build on GCC architectures

Don't link unconditinally with $NCURSESLIB. When NCURSESLIB is /usr/lib and the
system compiler is base GCC, GCC from ports (currently GCC9) is used. Passing
-L/usr/lib makes GCC try to link to base libstdc++ instead the one from ports.

Also add USES=localbase:ldflags.

PR:		239481
Approved by:	linimon (mentor), greg@unrelenting.technology (maintainer)
Differential Revision:	https://reviews.freebsd.org/D21397
2.7.1
06 Aug 2019 17:36:37
Revision:508264Original commit files touched by this commit
fernape search for other commits by this committer
math/cvc4: simplify post-patch

* Bump PORTREVISION
* Unbreak lang/maude and lang/solidity (broken in r508058 and r508059)

Reported by:	jbeich@
Reviewed by:	jbeich@
Differential Revision:	https://reviews.freebsd.org/D21170
2.7.1
04 Aug 2019 05:39:36
Revision:508058Original commit files touched by this commit
antoine search for other commits by this committer
Mark BROKEN: fails to build

In file included from metaLevelOpSymbol.cc:100:
In file included from ./descentFunctions.cc:584:
In file included from ../../src/Mixfix/variableGenerator.hh:33:
/usr/local/include/cvc4/expr/expr_manager.h:47:10: fatal error: 'cvc4_public.h'
file not found
#include "cvc4_public.h"

Reported by:	pkg-fallout
2.7.1
12 Dec 2018 05:30:24
Revision:487278Original commit files touched by this commit
lwhsu search for other commits by this committer
- Update to 2.7.1
- Add CVC4 support option and enabled by default
- Unbreak on aarch64, sbrk is not used anymore
- Remove build date to make the build reproducible
- Pass maintainership to submitter
- Pet `portlint -abct`

PR:		231443
Submitted by:	Greg V <greg@unrelenting.technology>
2.6_1
27 Aug 2018 21:08:25
Revision:478253Original commit files touched by this commit
tobik search for other commits by this committer
lang/maude: Fix build with Clang 6

../../src/Core/termSet.hh:35:15: error: ISO C++11 does not allow access
declarations; use using declarations instead
  PointerSet::cardinality;
              ^

http://beefy11.nyi.freebsd.org/data/head-i386-default/p477696_s338122/logs/errors/maude-2.6_1.log
2.6_1
12 Jan 2017 11:28:49
Revision:431248Original commit files touched by this commit
amdmi3 search for other commits by this committer
- Remove always-true/false conditions after FreeBSD 9, 10.1, 10.2 EOL
- Switch to options helpers

Approved by:	portmgr blanket
2.6_1
17 Dec 2016 17:31:26
Revision:428787Original commit files touched by this commit
marino search for other commits by this committer
lang/maude: document ncurses requirement

- Set to link directly against ncurses (not curses)
- Explicitly set extra patches to apply to DF as well.  They were already
  but it wasn't clear if that was wanted or not.
- set USES=alias to fix building on DF
2.6_1
16 Nov 2016 00:34:23
Revision:426198Original commit files touched by this commit
linimon search for other commits by this committer
Mark as broken on various tier-2 archs.

While here, pet portlint.

Approved by:	portmgr (tier-2 blanket)
2.6_1
08 Nov 2016 22:16:43
Revision:425771Original commit files touched by this commit
rene search for other commits by this committer
lang/maude: fix fetching and unexpire

The MASTER_SITES was changed and so was the name of one distfile, the
contents remained the same.

PR:		210018
Submitted by:	Keith Gaughan <k@stereochro.me>
MFH:		2016Q4
2.6_1
03 Jun 2016 16:44:58
Revision:416324Original commit files touched by this commit
antoine search for other commits by this committer
Deprecate ports broken for more than 6 months
2.6_1
01 Apr 2016 14:08:38
Revision:412347Original commit files touched by this commit
mat search for other commits by this committer
Remove ${PORTSDIR}/ from dependencies, categories h, i, j, k, and l.

With hat:	portmgr
Sponsored by:	Absolight
2.6_1
09 Nov 2015 12:59:04
Revision:401096Original commit files touched by this commit
antoine search for other commits by this committer
Mark a few ports BROKEN: unfetchable
2.6_1
10 Jun 2015 17:26:08
Revision:389088Original commit files touched by this commit
amdmi3 search for other commits by this committer
- Switch to USES=autoreconf
2.6_1
27 Oct 2014 15:23:31
Revision:371587Original commit files touched by this commit
bapt search for other commits by this committer
Cleanup plist
2.6_1
03 Sep 2014 19:58:37
Revision:367223Original commit files touched by this commit
riggs search for other commits by this committer
- Stagify
- Fix build on clang
- Add MAKE_JOBS_UNSAFE
- Add LICENSE
- Add DOCS option
- Bump PORTREVISION
- Pet portlint

PR:		191049
Submitted by:	k@stereochro.me
Reviewed by:	cpm@fbsd.es, joemann@beefree.free.de, marino, riggs
Final patch by:	cpm@fbsd.es, riggs
MFH:		2014Q3
2.6
25 Aug 2014 10:01:52
Revision:366050Original commit files touched by this commit
bapt search for other commits by this committer
Reset maintainership for non staged ports

With hat:	portmgr
2.6
13 Jul 2014 23:36:40
Revision:361728Original commit files touched by this commit
bapt search for other commits by this committer
Modernize LIB_DEPENDS

With hat:	portmgr
2.6
05 Jul 2014 19:27:04
Revision:360810Original commit files touched by this commit
olgeni search for other commits by this committer
Remove indefinite articles and trailing periods from COMMENT, plus minor
COMMENT typos and surrounding whitespace fixes. A few Makefiles where not
included as they contain Latin-1 characters that break the Phabricator
workflow. Categories J-L.

CR:		D305
Approved by:	portmgr (swills)
2.6
20 Sep 2013 19:53:10
Revision:327741Original commit files touched by this commit
bapt search for other commits by this committer
Add NO_STAGE all over the place in preparation for the staging support (cat:
lang)
2.6
16 Jul 2013 05:42:37
Revision:323088Original commit files touched by this commit
ade search for other commits by this committer
- Update devel/automake to 1.14
- Update devel/gettext to 0.18.3
- Fix known-broken (from exp-runs) ports
- Clean up a lot of cruft in the devel/gettext port itself,
  based on work from tijl@

PR:		178883
Submitted by:	ade
Sponsored by:	Wadsworth 6X
2.6
12 May 2013 06:05:03
Revision:317932Original commit files touched by this commit
bapt search for other commits by this committer
Convert to new options framework
2.6
03 May 2013 21:08:32
Revision:317257Original commit files touched by this commit
bapt search for other commits by this committer
Really fix build on FreeBSD 9+
2.6
03 May 2013 21:08:14
Revision:317256Original commit files touched by this commit
bapt search for other commits by this committer
Fix build on FreeBSD 9+
2.6
08 Mar 2013 11:32:12
Revision:313635Original commit files touched by this commit
bapt search for other commits by this committer
Convert USE_BISON to USES= bison

It brings bison as a build dependency in case it is set the following way:
USES= bison or USES= bison:build

it brings bison as a run dependency in case it is set the following way:
USES= bison:run

it brings bison both as a run and build dependency in case it the set the
following way:
USES= bison:both

While here trim some headers
Convert some USE_GNOME= gnomehack to USES= pathfix
2.6
03 Dec 2011 20:41:57
Original commit files touched by this commit
scheidell search for other commits by this committer
- Update to 2.6.
- Make all files in ${DATADIR} loadable by filename without an explicit path,
and without setting MAUDE_LIB. Currently only
${DATADIR}/prelude.maude is loaded (during startup).
- Add option FULL_MAUDE (default: on) for user convenience. This
installs full-maude26b.maude into ${DATADIR}.
- previous maintainer turns port over to committer

PR:             ports/162955
Submitted by:   joemann@beefree.free.de
Reviewed by:    info@rickvanderzwet.nl
Approved by:    maintainer, gabor(mentor)
Feature safe:   yes
2.3_2
23 Sep 2011 22:26:39
Original commit files touched by this commit
amdmi3 search for other commits by this committer
- Add LDFLAGS to CONFIGURE_ENV and MAKE_ENV (as it was done with LDFLAGS)
- Fix all ports that add {CPP,LD}FLAGS to *_ENV to modify flags instead

PR:             157936
Submitted by:   myself
Exp-runs by:    pav
Approved by:    pav
2.3_2
03 Jul 2011 13:45:36
Original commit files touched by this commit
ohauer search for other commits by this committer
- remove MD5
2.3_2
05 Oct 2010 19:57:56
Original commit files touched by this commit
ade search for other commits by this committer
Round one migration of ports from automake{19,110} to automake111
2.3_2
19 Apr 2010 10:43:43
Original commit files touched by this commit
ale search for other commits by this committer
Switch to use newer GMP version.

PR:             ports/144487
Submitted by:   ale
Approved by:    portmgr (-exp run by erwin)
2.3_1
13 May 2009 09:46:02
Original commit files touched by this commit
ale search for other commits by this committer
Chase libgmp and bump PORTREVISION.
2.3
05 Jan 2009 20:36:33
Original commit files touched by this commit
pav search for other commits by this committer
- Remove conditional checks for FreeBSD 5.x and older
2.3
15 Aug 2008 00:34:02
Original commit files touched by this commit
edwin search for other commits by this committer
Update port: lang/maude 2.2 -> 2.3

        Maude 2.3 is compiles under 4.2 again, so port does not
        need to be marked as broken anymore.

        Quite a few hacks to get it installing properly:
        * Coder forgot to include the *.maude files into the
        Makefile.am while porting files into the MixFix directory
        to Main directory. Included again, which explains the current
        need of aclocal and automake to regenerate the Makefiles
        * Project requires MAUDE_LIB env to be set to the location
        of %%DATADIR%% which is quite cumbersome, introduced
        MAUDE_DATA_DIR into the code to get rid of the non handy
        environment variable.

PR:             ports/126438
Submitted by:   Rick van der Zwet <rick@wzoeterwoude.net>
2.2_1
21 Dec 2007 21:22:13
Original commit files touched by this commit
pav search for other commits by this committer
- Mark BROKEN with gcc42 across the board
2.2_1
17 Oct 2007 10:13:01
Original commit files touched by this commit
ade search for other commits by this committer
Migration from bison 1.x to 2.x

PR:             117086
Tested by:      -exp runs
2.2
02 Oct 2007 01:01:57
Original commit files touched by this commit
linimon search for other commits by this committer
Mark as broken on gcc4.2 on 64-bit archs.  Build status on i386 unknown.
2.2
21 Feb 2007 18:50:49
Original commit files touched by this commit
rafan search for other commits by this committer
- Update master site

PR:             ports/109395
Spotted by:     Bill distfiles Fenner
Submitted by:   Rick van der Zwet <rick at wzoeterwoude.net> (maintainer)
2.2
16 Jul 2006 20:25:01
Original commit files touched by this commit
linimon search for other commits by this committer
Mark broken on 4.X/5.X: fails to compile.
2.2
05 Apr 2006 22:32:56
Original commit files touched by this commit
jylefort search for other commits by this committer
Add maude.

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
(Only the first 15 lines of the commit message are shown above View all of this commit message)

Number of commits found: 46