aboutsummaryrefslogtreecommitdiff
path: root/lang/maude
Commit message (Expand)AuthorAgeFilesLines
* lang/maude: fix build on GCC architecturesPiotr Kubaj2019-08-291-5/+9
* math/cvc4: simplify post-patchFernando ApesteguĂ­a2019-08-061-2/+0
* Mark BROKEN: fails to buildAntoine Brodin2019-08-041-0/+2
* - Update to 2.7.1Li-Wen Hsu2018-12-1221-248/+61
* lang/maude: Fix build with Clang 6Tobias Kortkamp2018-08-275-4/+63
* - Remove always-true/false conditions after FreeBSD 9, 10.1, 10.2 EOLDmitry Marakasov2017-01-122-11/+5
* lang/maude: document ncurses requirementJohn Marino2016-12-171-4/+6
* Mark as broken on various tier-2 archs.Mark Linimon2016-11-161-0/+2
* lang/maude: fix fetching and unexpireRene Ladan2016-11-082-8/+5
* Deprecate ports broken for more than 6 monthsAntoine Brodin2016-06-031-0/+2
* Remove ${PORTSDIR}/ from dependencies, categories h, i, j, k, and l.Mathieu Arnold2016-04-011-6/+6
* Mark a few ports BROKEN: unfetchableAntoine Brodin2015-11-091-0/+2
* - Switch to USES=autoreconfDmitry Marakasov2015-06-101-3/+1
* Cleanup plistBaptiste Daroussin2014-10-271-1/+0
* - StagifyThomas Zander2014-09-0313-5/+197
* Reset maintainership for non staged portsBaptiste Daroussin2014-08-251-1/+1
* Modernize LIB_DEPENDSBaptiste Daroussin2014-07-131-4/+4
* Remove indefinite articles and trailing periods from COMMENT, plus minorJimmy Olgeni2014-07-051-1/+1
* Add NO_STAGE all over the place in preparation for the staging support (cat: ...Baptiste Daroussin2013-09-201-0/+1
* - Update devel/automake to 1.14Ade Lovett2013-07-161-0/+1
* Convert to new options frameworkBaptiste Daroussin2013-05-121-4/+7
* Really fix build on FreeBSD 9+Baptiste Daroussin2013-05-031-1/+1
* Fix build on FreeBSD 9+Baptiste Daroussin2013-05-031-1/+1
* Convert USE_BISON to USES= bisonBaptiste Daroussin2013-03-081-6/+2
* - Update to 2.6.Michael Scheidell2011-12-038-368/+76
* - Add LDFLAGS to CONFIGURE_ENV and MAKE_ENV (as it was done with LDFLAGS)Dmitry Marakasov2011-09-231-1/+2
* - remove MD5Olli Hauer2011-07-031-1/+0
* Round one migration of ports from automake{19,110} to automake111Ade Lovett2010-10-053-18/+327
* Switch to use newer GMP version.Alex Dupre2010-04-191-2/+2
* Chase libgmp and bump PORTREVISION.Alex Dupre2009-05-131-0/+1
* - Remove conditional checks for FreeBSD 5.x and olderPav Lucistnik2009-01-051-7/+1
* Update port: lang/maude 2.2 -> 2.3Edwin Groothuis2008-08-156-34/+61
* - Mark BROKEN with gcc42 across the boardPav Lucistnik2007-12-211-2/+0
* Migration from bison 1.x to 2.xAde Lovett2007-10-171-1/+2
* Mark as broken on gcc4.2 on 64-bit archs. Build status on i386 unknown.Mark Linimon2007-10-021-0/+4
* - Update master siteRong-En Fan2007-02-211-1/+1
* Mark broken on 4.X/5.X: fails to compile.Mark Linimon2006-07-161-1/+7
* Add maude.Jean-Yves Lefort2006-04-055-0/+90