notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Ukraine
non port: lang/maude/Makefile
SVNWeb

Number of commits found: 36

Tue, 6 Apr 2021
[ 14:31 Mathieu Arnold (mat) search for other commits by this committer ]    commit hash:305f148f482daf30dcf728039d03d019f88344eb  305f148  (Only the first 10 of 29333 ports in this commit are shown above. View all ports for this commit)
Remove # $FreeBSD$ from Makefiles.
Thu, 29 Aug 2019
[ 19:37 pkubaj search for other commits by this committer ] Original commit   Revision:510181
lang/maude: fix build on GCC architectures

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
Tue, 6 Aug 2019
[ 17:36 fernape search for other commits by this committer ] Original commit   Revision:508264
math/cvc4: simplify post-patch

* 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
Sun, 4 Aug 2019
[ 05:39 antoine search for other commits by this committer ] Original commit   Revision:508058
Mark BROKEN: fails to build

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
Wed, 12 Dec 2018
[ 05:30 lwhsu search for other commits by this committer ] Original commit   Revision:487278 (Only the first 10 of 21 ports in this commit are shown above. View all ports for this commit)
- Update to 2.7.1
- 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>
Thu, 12 Jan 2017
[ 11:28 amdmi3 search for other commits by this committer ] Original commit   Revision:431248
- Remove always-true/false conditions after FreeBSD 9, 10.1, 10.2 EOL
- Switch to options helpers

Approved by:	portmgr blanket
Sat, 17 Dec 2016
[ 17:31 marino search for other commits by this committer ] Original commit   Revision:428787
lang/maude: document ncurses requirement

- 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
Wed, 16 Nov 2016
[ 00:34 linimon search for other commits by this committer ] Original commit   Revision:426198
Mark as broken on various tier-2 archs.

While here, pet portlint.

Approved by:	portmgr (tier-2 blanket)
Tue, 8 Nov 2016
[ 22:16 rene search for other commits by this committer ] Original commit   Revision:425771
lang/maude: fix fetching and unexpire

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
Fri, 3 Jun 2016
[ 16:44 antoine search for other commits by this committer ] Original commit   Revision:416324 (Only the first 10 of 238 ports in this commit are shown above. View all ports for this commit)
Deprecate ports broken for more than 6 months
Fri, 1 Apr 2016
[ 14:08 mat search for other commits by this committer ] Original commit   Revision:412347 (Only the first 10 of 481 ports in this commit are shown above. View all ports for this commit)
Remove ${PORTSDIR}/ from dependencies, categories h, i, j, k, and l.

With hat:	portmgr
Sponsored by:	Absolight
Mon, 9 Nov 2015
[ 12:59 antoine search for other commits by this committer ] Original commit   Revision:401096 (Only the first 10 of 285 ports in this commit are shown above. View all ports for this commit)
Mark a few ports BROKEN: unfetchable
Wed, 10 Jun 2015
[ 17:26 amdmi3 search for other commits by this committer ] Original commit   Revision:389088
- Switch to USES=autoreconf
Wed, 3 Sep 2014
[ 19:58 riggs search for other commits by this committer ] Original commit   Revision:367223 (Only the first 10 of 13 ports in this commit are shown above. View all ports for this commit)
- Stagify
- 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
Mon, 25 Aug 2014
[ 10:01 bapt search for other commits by this committer ] Original commit   Revision:366050 (Only the first 10 of 12 ports in this commit are shown above. View all ports for this commit)
Reset maintainership for non staged ports

With hat:	portmgr
Sun, 13 Jul 2014
[ 23:36 bapt search for other commits by this committer ] Original commit   Revision:361728 (Only the first 10 of 69 ports in this commit are shown above. View all ports for this commit)
Modernize LIB_DEPENDS

With hat:	portmgr
Sat, 5 Jul 2014
[ 19:27 olgeni search for other commits by this committer ] Original commit   Revision:360810 (Only the first 10 of 86 ports in this commit are shown above. View all ports for this commit)
Remove indefinite articles and trailing periods from COMMENT, plus minor
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)
Fri, 20 Sep 2013
[ 19:53 bapt search for other commits by this committer ] Original commit   Revision:327741 (Only the first 10 of 379 ports in this commit are shown above. View all ports for this commit)
Add NO_STAGE all over the place in preparation for the staging support (cat:
lang)
Tue, 16 Jul 2013
[ 05:42 ade search for other commits by this committer ] Original commit   Revision:323088 (Only the first 10 of 51 ports in this commit are shown above. View all ports for this commit)
- Update devel/automake to 1.14
- 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
Sun, 12 May 2013
[ 06:05 bapt search for other commits by this committer ] Original commit   Revision:317932
Convert to new options framework
Fri, 3 May 2013
[ 21:08 bapt search for other commits by this committer ] Original commit   Revision:317257
Really fix build on FreeBSD 9+
[ 21:08 bapt search for other commits by this committer ] Original commit   Revision:317256
Fix build on FreeBSD 9+
Fri, 8 Mar 2013
[ 11:32 bapt search for other commits by this committer ] Original commit   Revision:313635 (Only the first 10 of 209 ports in this commit are shown above. View all ports for this commit)
Convert USE_BISON to USES= bison

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
Sat, 3 Dec 2011
[ 20:41 scheidell search for other commits by this committer ] Original commit 
- Update to 2.6.
- 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
Fri, 23 Sep 2011
[ 22:26 amdmi3 search for other commits by this committer ] Original commit  (Only the first 10 of 2369 ports in this commit are shown above. View all ports for this commit)
- Add LDFLAGS to CONFIGURE_ENV and MAKE_ENV (as it was done with LDFLAGS)
- 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
Tue, 5 Oct 2010
[ 19:57 ade search for other commits by this committer ] Original commit  (Only the first 10 of 235 ports in this commit are shown above. View all ports for this commit)
Round one migration of ports from automake{19,110} to automake111
Mon, 19 Apr 2010
[ 10:43 ale search for other commits by this committer ] Original commit  (Only the first 10 of 132 ports in this commit are shown above. View all ports for this commit)
Switch to use newer GMP version.

PR:             ports/144487
Submitted by:   ale
Approved by:    portmgr (-exp run by erwin)
Wed, 13 May 2009
[ 09:46 ale search for other commits by this committer ] Original commit  (Only the first 10 of 95 ports in this commit are shown above. View all ports for this commit)
Chase libgmp and bump PORTREVISION.
Mon, 5 Jan 2009
[ 20:36 pav search for other commits by this committer ] Original commit  (Only the first 10 of 102 ports in this commit are shown above. View all ports for this commit)
- Remove conditional checks for FreeBSD 5.x and older
Fri, 15 Aug 2008
[ 00:34 edwin search for other commits by this committer ] Original commit 
Update port: lang/maude 2.2 -> 2.3

        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>
Fri, 21 Dec 2007
[ 21:22 pav search for other commits by this committer ] Original commit 
- Mark BROKEN with gcc42 across the board
Wed, 17 Oct 2007
[ 10:13 ade search for other commits by this committer ] Original commit  (Only the first 10 of 199 ports in this commit are shown above. View all ports for this commit)
Migration from bison 1.x to 2.x

PR:             117086
Tested by:      -exp runs
Tue, 2 Oct 2007
[ 01:01 linimon search for other commits by this committer ] Original commit 
Mark as broken on gcc4.2 on 64-bit archs.  Build status on i386 unknown.
Wed, 21 Feb 2007
[ 18:50 rafan search for other commits by this committer ] Original commit 
- Update master site

PR:             ports/109395
Spotted by:     Bill distfiles Fenner
Submitted by:   Rick van der Zwet <rick at wzoeterwoude.net> (maintainer)
Sun, 16 Jul 2006
[ 20:25 linimon search for other commits by this committer ] Original commit 
Mark broken on 4.X/5.X: fails to compile.
Wed, 5 Apr 2006
[ 22:32 jylefort search for other commits by this committer ] Original commit 
Add maude.

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
(Only the first 15 lines of the commit message are shown above View all of this commit message)

Number of commits found: 36