notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Port details
maude High-performance reflective language
2.7.1 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 2.7.1Version of this port present on the latest quarterly branch.
Maintainer: greg@unrelenting.technology search for ports maintained by this maintainer
Port Added: 2006-04-05 22:34:56
Last Update: 2019-08-29 20:37:17
SVN Revision: 510181
License: GPLv2
Description:
SVNWeb : Homepage
pkg-plist: as obtained via: make generate-plist
Expand this list (13 items)
  1. /usr/local/share/licenses/maude-2.7.1/catalog.mk
  2. /usr/local/share/licenses/maude-2.7.1/LICENSE
  3. /usr/local/share/licenses/maude-2.7.1/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. share/maude/smt.maude
  12. share/maude/socket.maude
  13. share/maude/term-order.maude
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: pkg install maude
PKGNAME: maude
Flavors: there is no flavor information for this port.
distinfo:

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.69 : devel/autoconf
  4. automake>=1.16.1 : devel/automake
Library dependencies:
  1. libbdd.so : science/buddy
  2. libtecla.so : devel/libtecla
  3. libgmp.so : math/gmp
  4. libsigsegv.so : devel/libsigsegv
  5. libcvc4.so : math/cvc4
Patch dependencies:
  1. unzip : archivers/unzip
There are no ports dependent upon this port

Configuration Options

USES:

Master Sites:
  1. http://maude.cs.illinois.edu/w/images/d/d8/

Number of commits found: 38

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
29 Aug 2019 19:37:17
Original commit files touched by this commit  2.7.1
Revision:510181
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
06 Aug 2019 17:36:37
Original commit files touched by this commit  2.7.1
Revision:508264
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
04 Aug 2019 05:39:36
Original commit files touched by this commit  2.7.1
Revision:508058
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
12 Dec 2018 05:30:24
Original commit files touched by this commit  2.7.1
Revision:487278
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>
27 Aug 2018 21:08:25
Original commit files touched by this commit  2.6_1
Revision:478253
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
12 Jan 2017 11:28:49
Original commit files touched by this commit  2.6_1
Revision:431248
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
17 Dec 2016 17:31:26
Original commit files touched by this commit  2.6_1
Revision:428787
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
16 Nov 2016 00:34:23
Original commit files touched by this commit  2.6_1
Revision:426198
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)
08 Nov 2016 22:16:43
Original commit files touched by this commit  2.6_1
Revision:425771
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
03 Jun 2016 16:44:58
Original commit files touched by this commit  2.6_1
Revision:416324
antoine search for other commits by this committer
Deprecate ports broken for more than 6 months
01 Apr 2016 14:08:38
Original commit files touched by this commit  2.6_1
Revision:412347
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
09 Nov 2015 12:59:04
Original commit files touched by this commit  2.6_1
Revision:401096
antoine search for other commits by this committer
Mark a few ports BROKEN: unfetchable
10 Jun 2015 17:26:08
Original commit files touched by this commit  2.6_1
Revision:389088
amdmi3 search for other commits by this committer
- Switch to USES=autoreconf
27 Oct 2014 15:23:31
Original commit files touched by this commit  2.6_1
Revision:371587
bapt search for other commits by this committer
Cleanup plist
03 Sep 2014 19:58:37
Original commit files touched by this commit  2.6_1
Revision:367223
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
25 Aug 2014 10:01:52
Original commit files touched by this commit  2.6
Revision:366050
bapt search for other commits by this committer
Reset maintainership for non staged ports

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

With hat:	portmgr
05 Jul 2014 19:27:04
Original commit files touched by this commit  2.6
Revision:360810
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)
20 Sep 2013 19:53:10
Original commit files touched by this commit  2.6
Revision:327741
bapt search for other commits by this committer
Add NO_STAGE all over the place in preparation for the staging support (cat:
lang)
16 Jul 2013 05:42:37
Original commit files touched by this commit  2.6
Revision:323088
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
12 May 2013 06:05:03
Original commit files touched by this commit  2.6
Revision:317932
bapt search for other commits by this committer
Convert to new options framework
03 May 2013 21:08:32
Original commit files touched by this commit  2.6
Revision:317257
bapt search for other commits by this committer
Really fix build on FreeBSD 9+
03 May 2013 21:08:14
Original commit files touched by this commit  2.6
Revision:317256
bapt search for other commits by this committer
Fix build on FreeBSD 9+
08 Mar 2013 11:32:12
Original commit files touched by this commit  2.6
Revision:313635
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
03 Dec 2011 20:41:57
Original commit files touched by this commit  2.6

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
23 Sep 2011 22:26:39
Original commit files touched by this commit  2.3_2

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
03 Jul 2011 13:45:36
Original commit files touched by this commit  2.3_2

ohauer search for other commits by this committer
- remove MD5
05 Oct 2010 19:57:56
Original commit files touched by this commit  2.3_2

ade search for other commits by this committer
Round one migration of ports from automake{19,110} to automake111
19 Apr 2010 10:43:43
Original commit files touched by this commit  2.3_2

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)
13 May 2009 09:46:02
Original commit files touched by this commit  2.3_1

ale search for other commits by this committer
Chase libgmp and bump PORTREVISION.
05 Jan 2009 20:36:33
Original commit files touched by this commit  2.3

pav search for other commits by this committer
- Remove conditional checks for FreeBSD 5.x and older
15 Aug 2008 00:34:02
Original commit files touched by this commit  2.3

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>
21 Dec 2007 21:22:13
Original commit files touched by this commit  2.2_1

pav search for other commits by this committer
- Mark BROKEN with gcc42 across the board
17 Oct 2007 10:13:01
Original commit files touched by this commit  2.2_1

ade search for other commits by this committer
Migration from bison 1.x to 2.x

PR:             117086
Tested by:      -exp runs
02 Oct 2007 01:01:57
Original commit files touched by this commit  2.2

linimon search for other commits by this committer
Mark as broken on gcc4.2 on 64-bit archs.  Build status on i386 unknown.
21 Feb 2007 18:50:49
Original commit files touched by this commit  2.2

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)
16 Jul 2006 20:25:01
Original commit files touched by this commit  2.2

linimon search for other commits by this committer
Mark broken on 4.X/5.X: fails to compile.
05 Apr 2006 22:32:56
Original commit files touched by this commit  2.2

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: 38

Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD

This site
What is FreshPorts?
About the authors
Issues
FAQ
How big is it?
The latest upgrade!
Privacy
Forums
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
python37Oct 19
py-pillowOct 15
mod_perl2Oct 09
xpdfOct 06
xpdf3Oct 06
xpdf4Oct 06
unboundOct 03
cactiOct 02
gitlab-ceOct 02
gitlab-ceOct 02
ruby24Oct 02
ruby25Oct 02
mongodb34Sep 30
mongodb34Sep 30
mongodb36Sep 30

4 vulnerabilities affecting 12 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Last updated:
2019-10-19 10:52:46


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 37696
Broken 75
Deprecated 99
Ignore 340
Forbidden 3
Restricted 156
No CDROM 73
Vulnerable 26
Expired 15
Set to expire 70
Interactive 0
new 24 hours 0
new 48 hours0
new 7 days16
new fortnight56
new month158

Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD
Valid HTML, CSS, and RSS.
Copyright © 2000-2019 Dan Langille. All rights reserved.