aboutsummaryrefslogtreecommitdiff
path: root/lang/maude/Makefile
Commit message (Expand)AuthorAgeFilesLines
* lang/maude: Fix build with llvm16Muhammad Moinur Rahman2023-08-071-0/+1
* lang/maude: CVC4 is broken because project doesn't yet support CVC5Yuri Victorovich2023-01-041-3/+4
* */*: Release ports from maintainershipFernando Apesteguía2022-10-091-1/+1
* Add WWW entries to port MakefilesStefan Eßer2022-09-071-0/+1
* */*: bump all consumers after recent boost upgradeDima Panov2022-08-121-0/+1
* lang: remove 'Created by' linesTobias C. Berner2022-07-201-2/+0
* Remove # $FreeBSD$ from Makefiles.Mathieu Arnold2021-04-061-1/+0
* 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-121-13/+16
* - Remove always-true/false conditions after FreeBSD 9, 10.1, 10.2 EOLDmitry Marakasov2017-01-121-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-081-6/+2
* 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
* - StagifyThomas Zander2014-09-031-5/+18
* 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-031-4/+32
* - Add LDFLAGS to CONFIGURE_ENV and MAKE_ENV (as it was done with LDFLAGS)Dmitry Marakasov2011-09-231-1/+2
* Round one migration of ports from automake{19,110} to automake111Ade Lovett2010-10-051-1/+0
* 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-151-5/+4
* - 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-051-0/+30
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-13 03:37:37 +0000