aboutsummaryrefslogtreecommitdiffstats
path: root/lang/maude
Commit message (Collapse)AuthorAgeFilesLines
* lang/maude: document ncurses requirementmarino2016-12-181-4/+6
| | | | | | | - 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
* Mark as broken on various tier-2 archs.linimon2016-11-161-0/+2
| | | | | | While here, pet portlint. Approved by: portmgr (tier-2 blanket)
* lang/maude: fix fetching and unexpirerene2016-11-092-8/+5
| | | | | | | | | 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
* Deprecate ports broken for more than 6 monthsantoine2016-06-041-0/+2
|
* Remove ${PORTSDIR}/ from dependencies, categories h, i, j, k, and l.mat2016-04-011-6/+6
| | | | | With hat: portmgr Sponsored by: Absolight
* Mark a few ports BROKEN: unfetchableantoine2015-11-091-0/+2
|
* - Switch to USES=autoreconfamdmi32015-06-111-3/+1
|
* Cleanup plistbapt2014-10-271-1/+0
|
* - Stagifyriggs2014-09-0413-5/+197
| | | | | | | | | | | | | | | - 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
* Reset maintainership for non staged portsbapt2014-08-251-1/+1
| | | | With hat: portmgr
* Modernize LIB_DEPENDSbapt2014-07-141-4/+4
| | | | With hat: portmgr
* Remove indefinite articles and trailing periods from COMMENT, plus minorolgeni2014-07-061-1/+1
| | | | | | | | | 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)
* Add NO_STAGE all over the place in preparation for the staging support (cat: ↵bapt2013-09-211-0/+1
| | | | lang)
* - Update devel/automake to 1.14ade2013-07-161-0/+1
| | | | | | | | | | | - 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
* Convert to new options frameworkbapt2013-05-121-4/+7
|
* Really fix build on FreeBSD 9+bapt2013-05-041-1/+1
|
* Fix build on FreeBSD 9+bapt2013-05-041-1/+1
|
* Convert USE_BISON to USES= bisonbapt2013-03-081-6/+2
| | | | | | | | | | | | | | 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
* - Update to 2.6.scheidell2011-12-048-368/+76
| | | | | | | | | | | | | | | - 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
* - Add LDFLAGS to CONFIGURE_ENV and MAKE_ENV (as it was done with LDFLAGS)amdmi32011-09-241-1/+2
| | | | | | | | | - 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
* - remove MD5ohauer2011-07-031-1/+0
|
* Round one migration of ports from automake{19,110} to automake111ade2010-10-063-18/+327
|
* Switch to use newer GMP version.ale2010-04-191-2/+2
| | | | | | PR: ports/144487 Submitted by: ale Approved by: portmgr (-exp run by erwin)
* Chase libgmp and bump PORTREVISION.ale2009-05-131-0/+1
|
* - Remove conditional checks for FreeBSD 5.x and olderpav2009-01-061-7/+1
|
* Update port: lang/maude 2.2 -> 2.3edwin2008-08-156-34/+61
| | | | | | | | | | | | | | | | | | 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>
* - Mark BROKEN with gcc42 across the boardpav2007-12-221-2/+0
|
* Migration from bison 1.x to 2.xade2007-10-171-1/+2
| | | | | PR: 117086 Tested by: -exp runs
* Mark as broken on gcc4.2 on 64-bit archs. Build status on i386 unknown.linimon2007-10-021-0/+4
|
* - Update master siterafan2007-02-221-1/+1
| | | | | | PR: ports/109395 Spotted by: Bill distfiles Fenner Submitted by: Rick van der Zwet <rick at wzoeterwoude.net> (maintainer)
* Mark broken on 4.X/5.X: fails to compile.linimon2006-07-171-1/+7
|
* Add maude.jylefort2006-04-065-0/+90
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. WWW: http://maude.cs.uiuc.edu/ PR: ports/94986 Submitted by: Rick van der Zwet <rick@traffie.wzoeterwoude.net>
generated by cgit (git 2.34.1) at 2024-12-13 06:37:24 +0800