aboutsummaryrefslogtreecommitdiff
path: root/lang/maude
Commit message (Collapse)AuthorAgeFilesLines
* lang/maude: fix build on GCC architecturesPiotr Kubaj2019-08-291-5/+9
| | | | | | | | | | | | | Don't link unconditinally with $NCURSESLIB. When NCURSESLIB is /usr/lib and the system compiler is base GCC, GCC from ports (currently GCC9) is used. Passing -L/usr/lib makes GCC try to link to base libstdc++ instead the one from ports. Also add USES=localbase:ldflags. PR: 239481 Approved by: linimon (mentor), greg@unrelenting.technology (maintainer) Differential Revision: https://reviews.freebsd.org/D21397 Notes: svn path=/head/; revision=510181
* math/cvc4: simplify post-patchFernando Apesteguía2019-08-061-2/+0
| | | | | | | | | | | | * Bump PORTREVISION * Unbreak lang/maude and lang/solidity (broken in r508058 and r508059) Reported by: jbeich@ Reviewed by: jbeich@ Differential Revision: https://reviews.freebsd.org/D21170 Notes: svn path=/head/; revision=508264
* Mark BROKEN: fails to buildAntoine Brodin2019-08-041-0/+2
| | | | | | | | | | | | | In file included from metaLevelOpSymbol.cc:100: In file included from ./descentFunctions.cc:584: In file included from ../../src/Mixfix/variableGenerator.hh:33: /usr/local/include/cvc4/expr/expr_manager.h:47:10: fatal error: 'cvc4_public.h' file not found #include "cvc4_public.h" Reported by: pkg-fallout Notes: svn path=/head/; revision=508058
* - Update to 2.7.1Li-Wen Hsu2018-12-1221-248/+61
| | | | | | | | | | | | | | - Add CVC4 support option and enabled by default - Unbreak on aarch64, sbrk is not used anymore - Remove build date to make the build reproducible - Pass maintainership to submitter - Pet `portlint -abct` PR: 231443 Submitted by: Greg V <greg@unrelenting.technology> Notes: svn path=/head/; revision=487278
* lang/maude: Fix build with Clang 6Tobias Kortkamp2018-08-275-4/+63
| | | | | | | | | | | ../../src/Core/termSet.hh:35:15: error: ISO C++11 does not allow access declarations; use using declarations instead PointerSet::cardinality; ^ http://beefy11.nyi.freebsd.org/data/head-i386-default/p477696_s338122/logs/errors/maude-2.6_1.log Notes: svn path=/head/; revision=478253
* - Remove always-true/false conditions after FreeBSD 9, 10.1, 10.2 EOLDmitry Marakasov2017-01-122-11/+5
| | | | | | | | | - Switch to options helpers Approved by: portmgr blanket Notes: svn path=/head/; revision=431248
* lang/maude: document ncurses requirementJohn Marino2016-12-171-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 Notes: svn path=/head/; revision=428787
* Mark as broken on various tier-2 archs.Mark Linimon2016-11-161-0/+2
| | | | | | | | | While here, pet portlint. Approved by: portmgr (tier-2 blanket) Notes: svn path=/head/; revision=426198
* lang/maude: fix fetching and unexpireRene Ladan2016-11-082-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 Notes: svn path=/head/; revision=425771
* Deprecate ports broken for more than 6 monthsAntoine Brodin2016-06-031-0/+2
| | | | Notes: svn path=/head/; revision=416324
* Remove ${PORTSDIR}/ from dependencies, categories h, i, j, k, and l.Mathieu Arnold2016-04-011-6/+6
| | | | | | | | With hat: portmgr Sponsored by: Absolight Notes: svn path=/head/; revision=412347
* Mark a few ports BROKEN: unfetchableAntoine Brodin2015-11-091-0/+2
| | | | Notes: svn path=/head/; revision=401096
* - Switch to USES=autoreconfDmitry Marakasov2015-06-101-3/+1
| | | | Notes: svn path=/head/; revision=389088
* Cleanup plistBaptiste Daroussin2014-10-271-1/+0
| | | | Notes: svn path=/head/; revision=371587
* - StagifyThomas Zander2014-09-0313-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 Notes: svn path=/head/; revision=367223
* Reset maintainership for non staged portsBaptiste Daroussin2014-08-251-1/+1
| | | | | | | With hat: portmgr Notes: svn path=/head/; revision=366050
* Modernize LIB_DEPENDSBaptiste Daroussin2014-07-131-4/+4
| | | | | | | With hat: portmgr Notes: svn path=/head/; revision=361728
* Remove indefinite articles and trailing periods from COMMENT, plus minorJimmy Olgeni2014-07-051-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) Notes: svn path=/head/; revision=360810
* 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 2025-02-11 23:50:29 +0000