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 on branch 2022Q2
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.

There are no commits on branch 2022Q2 for this port