aboutsummaryrefslogtreecommitdiff
path: root/lang/maude
Commit message (Collapse)AuthorAgeFilesLines
* Add NO_STAGE all over the place in preparation for the staging support (cat: ↵Baptiste Daroussin2013-09-201-0/+1
| | | | | | | lang) Notes: svn path=/head/; revision=327741
* - Update devel/automake to 1.14Ade Lovett2013-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 Notes: svn path=/head/; revision=323088
* Convert to new options frameworkBaptiste Daroussin2013-05-121-4/+7
| | | | Notes: svn path=/head/; revision=317932
* Really fix build on FreeBSD 9+Baptiste Daroussin2013-05-031-1/+1
| | | | Notes: svn path=/head/; revision=317257
* Fix build on FreeBSD 9+Baptiste Daroussin2013-05-031-1/+1
| | | | Notes: svn path=/head/; revision=317256
* Convert USE_BISON to USES= bisonBaptiste Daroussin2013-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 Notes: svn path=/head/; revision=313635
* - Update to 2.6.Michael Scheidell2011-12-038-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 Notes: svn path=/head/; revision=286822
* - Add LDFLAGS to CONFIGURE_ENV and MAKE_ENV (as it was done with LDFLAGS)Dmitry Marakasov2011-09-231-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 Notes: svn path=/head/; revision=282282
* - remove MD5Olli Hauer2011-07-031-1/+0
| | | | Notes: svn path=/head/; revision=276987
* Round one migration of ports from automake{19,110} to automake111Ade Lovett2010-10-053-18/+327
| | | | Notes: svn path=/head/; revision=262460
* Switch to use newer GMP version.Alex Dupre2010-04-191-2/+2
| | | | | | | | | PR: ports/144487 Submitted by: ale Approved by: portmgr (-exp run by erwin) Notes: svn path=/head/; revision=252906
* Chase libgmp and bump PORTREVISION.Alex Dupre2009-05-131-0/+1
| | | | Notes: svn path=/head/; revision=233833
* - Remove conditional checks for FreeBSD 5.x and olderPav Lucistnik2009-01-051-7/+1
| | | | Notes: svn path=/head/; revision=225297
* Update port: lang/maude 2.2 -> 2.3Edwin Groothuis2008-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> Notes: svn path=/head/; revision=218576
* - Mark BROKEN with gcc42 across the boardPav Lucistnik2007-12-211-2/+0
| | | | Notes: svn path=/head/; revision=204288
* Migration from bison 1.x to 2.xAde Lovett2007-10-171-1/+2
| | | | | | | | PR: 117086 Tested by: -exp runs Notes: svn path=/head/; revision=201613
* Mark as broken on gcc4.2 on 64-bit archs. Build status on i386 unknown.Mark Linimon2007-10-021-0/+4
| | | | Notes: svn path=/head/; revision=200572
* - Update master siteRong-En Fan2007-02-211-1/+1
| | | | | | | | | PR: ports/109395 Spotted by: Bill distfiles Fenner Submitted by: Rick van der Zwet <rick at wzoeterwoude.net> (maintainer) Notes: svn path=/head/; revision=185647
* Mark broken on 4.X/5.X: fails to compile.Mark Linimon2006-07-161-1/+7
| | | | Notes: svn path=/head/; revision=168008
* Add maude.Jean-Yves Lefort2006-04-055-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> Notes: svn path=/head/; revision=158902
generated by cgit v1.2.3 (git 2.25.1) at 2024-10-16 23:25:41 +0000