non port: lang/maude/Makefile |
SVNWeb
|
Number of commits found: 36 |
Tue, 6 Apr 2021
|
[ 14:31 Mathieu Arnold (mat) ] 305f148 (Only the first 10 of 29333 ports in this commit are shown above. )
Remove # $FreeBSD$ from Makefiles.
|
Thu, 29 Aug 2019
|
[ 19:37 pkubaj ]
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 ]
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 ]
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 ] (Only the first 10 of 21 ports in this commit are shown above. )
- 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 ]
- 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 ]
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 ]
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 ]
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 ] (Only the first 10 of 238 ports in this commit are shown above. )
Deprecate ports broken for more than 6 months
|
Fri, 1 Apr 2016
|
[ 14:08 mat ] (Only the first 10 of 481 ports in this commit are shown above. )
Remove ${PORTSDIR}/ from dependencies, categories h, i, j, k, and l.
With hat: portmgr
Sponsored by: Absolight
|
Mon, 9 Nov 2015
|
[ 12:59 antoine ] (Only the first 10 of 285 ports in this commit are shown above. )
Mark a few ports BROKEN: unfetchable
|
Wed, 10 Jun 2015
|
[ 17:26 amdmi3 ]
- Switch to USES=autoreconf
|
Wed, 3 Sep 2014
|
[ 19:58 riggs ] (Only the first 10 of 13 ports in this commit are shown above. )
- 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 ] (Only the first 10 of 12 ports in this commit are shown above. )
Reset maintainership for non staged ports
With hat: portmgr
|
Sun, 13 Jul 2014
|
[ 23:36 bapt ] (Only the first 10 of 69 ports in this commit are shown above. )
Modernize LIB_DEPENDS
With hat: portmgr
|
Sat, 5 Jul 2014
|
[ 19:27 olgeni ] (Only the first 10 of 86 ports in this commit are shown above. )
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 ] (Only the first 10 of 379 ports in this commit are shown above. )
Add NO_STAGE all over the place in preparation for the staging support (cat:
lang)
|
Tue, 16 Jul 2013
|
[ 05:42 ade ] (Only the first 10 of 51 ports in this commit are shown above. )
- 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 ]
Convert to new options framework
|
Fri, 3 May 2013
|
[ 21:08 bapt ]
Really fix build on FreeBSD 9+
|
[ 21:08 bapt ]
Fix build on FreeBSD 9+
|
Fri, 8 Mar 2013
|
[ 11:32 bapt ] (Only the first 10 of 209 ports in this commit are shown above. )
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 ]
- 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 ] (Only the first 10 of 2369 ports in this commit are shown above. )
- 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 ] (Only the first 10 of 235 ports in this commit are shown above. )
Round one migration of ports from automake{19,110} to automake111
|
Mon, 19 Apr 2010
|
[ 10:43 ale ] (Only the first 10 of 132 ports in this commit are shown above. )
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 ] (Only the first 10 of 95 ports in this commit are shown above. )
Chase libgmp and bump PORTREVISION.
|
Mon, 5 Jan 2009
|
[ 20:36 pav ] (Only the first 10 of 102 ports in this commit are shown above. )
- Remove conditional checks for FreeBSD 5.x and older
|
Fri, 15 Aug 2008
|
[ 00:34 edwin ]
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 ]
- Mark BROKEN with gcc42 across the board
|
Wed, 17 Oct 2007
|
[ 10:13 ade ] (Only the first 10 of 199 ports in this commit are shown above. )
Migration from bison 1.x to 2.x
PR: 117086
Tested by: -exp runs
|
Tue, 2 Oct 2007
|
[ 01:01 linimon ]
Mark as broken on gcc4.2 on 64-bit archs. Build status on i386 unknown.
|
Wed, 21 Feb 2007
|
[ 18:50 rafan ]
- 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 ]
Mark broken on 4.X/5.X: fails to compile.
|
Wed, 5 Apr 2006
|
[ 22:32 jylefort ]
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 )
|
Number of commits found: 36 |