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

Number of commits found: 26

Fri, 4 Jun 2021
[ 05:53 Gerald Pfeifer (gerald) search for other commits by this committer ]    commit hash:d09ed096c44ca516f3e4922e292b4afabd03ff11  d09ed09  (Only the first 10 of 52 ports in this commit are shown above. View all ports for this commit)
*/*: Replace USE_GCC=any with USE_GCC=yes

USE_GCC=any has been equivalent to USE_GCC=yes in most cases (such
as i386 and amd64 since 12.x and depending on configuration 11.x,
most newer installations on other platforms, and 13.x across the
board).

Since commit 96c17633d90386b5bcf8 Mk/bsd.gcc.mk is treating them as
different spellings of the same, so continue the deorbiting of the
USE_GCC=any form and simply replace it with USE_GCC=yes.

This should not make any functional difference at all.

Discussed with:	mat, linimon, pkubaj
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.
Fri, 26 Jul 2019
[ 20:46 gerald search for other commits by this committer ] Original commit   Revision:507372 (Only the first 10 of 3853 ports in this commit are shown above. View all ports for this commit)
Bump PORTREVISION for ports depending on the canonical version of GCC
as defined in Mk/bsd.default-versions.mk which has moved from GCC 8.3
to GCC 9.1 under most circumstances now after revision 507371.

This includes ports
 - with USE_GCC=yes or USE_GCC=any,
 - with USES=fortran,
 - using Mk/bsd.octave.mk which in turn features USES=fortran, and
 - with USES=compiler specifying openmp, nestedfct, c11, c++0x, c++11-lang,
   c++11-lib, c++14-lang, c++17-lang, or gcc-c++11-lib
plus, everything INDEX-11 shows with a dependency on lang/gcc9 now.

PR:		238330
Wed, 12 Dec 2018
[ 01:35 gerald search for other commits by this committer ] Original commit   Revision:487272 (Only the first 10 of 3168 ports in this commit are shown above. View all ports for this commit)
Bump PORTREVISION for ports depending on the canonical version of GCC
defined via Mk/bsd.default-versions.mk which has moved from GCC 7.4 t
GCC 8.2 under most circumstances.

This includes ports
 - with USE_GCC=yes or USE_GCC=any,
 - with USES=fortran,
 - using Mk/bsd.octave.mk which in turn features USES=fortran, and
 - with USES=compiler specifying openmp, nestedfct, c11, c++0x, c++11-lang,
   c++11-lib, c++14-lang, c++17-lang, or gcc-c++11-lib
plus, as a double check, everything INDEX-11 showed depending on lang/gcc7.

PR:		231590
Sun, 29 Jul 2018
[ 22:18 gerald search for other commits by this committer ] Original commit   Revision:475857 (Only the first 10 of 1480 ports in this commit are shown above. View all ports for this commit)
Bump PORTREVISION for ports depending on the canonical version of GCC
in the ports tree (via Mk/bsd.default-versions.mk and lang/gcc) which
has now moved from GCC 6 to GCC 7 by default.

This includes ports
 - featuring USE_GCC=yes or USE_GCC=any,
 - featuring USES=fortran,
 - using Mk/bsd.octave.mk which in turn features USES=fortran, and those
 - with USES=compiler specifying one of openmp, nestedfct, c11, c++0x,
   c++11-lib, c++11-lang, c++14-lang, c++17-lang, or gcc-c++11-lib.

PR:		222542
Sat, 10 Mar 2018
[ 17:46 gerald search for other commits by this committer ] Original commit   Revision:464084 (Only the first 10 of 1104 ports in this commit are shown above. View all ports for this commit)
Bump PORTREVISIONs of all users of math/mpc that we just updated to
version 1.1.0 (via revision 464079).
Sun, 10 Sep 2017
[ 20:55 gerald search for other commits by this committer ] Original commit   Revision:449591 (Only the first 10 of 1201 ports in this commit are shown above. View all ports for this commit)
Bump PORTREVISION for ports depending on the canonical version of GCC
(via Mk/bsd.default-versions.mk and lang/gcc) which has moved from
GCC 5.4 to GCC 6.4 under most circumstances.

This includes ports
 - with USE_GCC=yes or USE_GCC=any,
 - with USES=fortran,
 - using Mk/bsd.octave.mk which in turn features USES=fortran, and
 - with USES=compiler specifying openmp, nestedfct, c++11-lib, c++11-lang,
   c++14-lang, c++0x, c11, or gcc-c++11-lib.

PR:		219275
Sat, 1 Apr 2017
[ 15:23 gerald search for other commits by this committer ] Original commit   Revision:437439 (Only the first 10 of 1118 ports in this commit are shown above. View all ports for this commit)
Bump PORTREVISIONs for ports depending on the canonical version of GCC and
lang/gcc which have moved from GCC 4.9.4 to GCC 5.4 (at least under some
circumstances such as versions of FreeBSD or platforms).

This includes ports
 - with USE_GCC=yes or USE_GCC=any,
 - with USES=fortran,
 - using using Mk/bsd.octave.mk which in turn has USES=fortran, and
 - with USES=compiler specifying openmp, nestedfct, c++11-lib, c++14-lang,
   c++11-lang, c++0x, c11, or gcc-c++11-lib.

PR:		216707
Sat, 11 Feb 2017
[ 19:54 jbeich search for other commits by this committer ] Original commit   Revision:433908
math/cvc3: unbreak with gcc6 or later

In file included from src/include/expr_manager.h:445:0,
                 from src/include/expr.h:803,
                 from expr.cpp:25:
src/include/expr_value.h: In static member function 'static size_t
CVC3::ExprString::hash(const string&)':
src/include/expr_value.h:667:34: error: no match for call to '(std::hash<char*>)
(const char*)'
     return s_charHash(str.c_str());
                                  ^
In file included from src/include/hash_map.h:54:0,
                 from src/include/compat_hash_map.h:34,
                 from src/include/expr.h:33,
                 from src/include/assumptions.h:36,
                 from src/include/theorem_producer.h:75,
                 from common_theorem_producer.h:34,
                 from common_theorem_producer.cpp:27:
src/include/hash_table.h: In instantiation of 'Hash::hash_table<_Key, _Value,
_HashFcn, _EqualKey, _ExtractKey>::~hash_table() [with _Key = CVC3::Expr; _Value
= std::pair<const CVC3::Expr, CVC3::CDOmap<CVC3::Expr, CVC3::Theorem,
std::hash<CVC3::Expr> >*>; _HashFcn = std::hash<CVC3::Expr>; _EqualKey =
std::equal_to<CVC3::Expr>; _ExtractKey = Hash::_Select1st<std::pair<const
CVC3::Expr, CVC3::CDOmap<CVC3::Expr, CVC3::Theorem, std::hash<CVC3::Expr> >*>
>]':
src/include/hash_map.h:82:9:   required from 'CVC3::CDMap<Key, Data,
HashFcn>::~CDMap() [with Key = CVC3::Expr; Data = CVC3::Theorem; HashFcn =
std::hash<CVC3::Expr>]'
common_theorem_producer.h:60:38:   required from here
src/include/hash_table.h:319:5: error: use of deleted function
'std::hash<CVC3::Expr>::~hash()'
     }
     ^
Sun, 20 Nov 2016
[ 09:38 gerald search for other commits by this committer ] Original commit   Revision:426566 (Only the first 10 of 364 ports in this commit are shown above. View all ports for this commit)
Bump PORTREVISIONS for ports depending on the canonical version of GCC and
lang/gcc which have moved from GCC 4.8.5 to GCC 4.9.4 (at least under some
circumstances such as versions of FreeBSD or platforms).

In particular that is ports with USE_GCC=yes, USE_GCC=any, or one of
gcc-c++11-lib, openmp, nestedfct, c++11-lib as well as c++14-lang,
c++11-lang, c++0x, c11 requested via USES=compiler.
Fri, 21 Oct 2016
[ 15:21 mat search for other commits by this committer ] Original commit   Revision:424427 (Only the first 10 of 354 ports in this commit are shown above. View all ports for this commit)
Use USES=pathfix where applicable.

PR:		213195
Submitted by:	mat
Exp-run by:	antoine
Sponsored by:	Absolight
Differential Revision:	https://reviews.freebsd.org/D8093
Fri, 1 Apr 2016
[ 14:16 mat search for other commits by this committer ] Original commit   Revision:412348 (Only the first 10 of 2612 ports in this commit are shown above. View all ports for this commit)
Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.

With hat:	portmgr
Sponsored by:	Absolight
Wed, 16 Jul 2014
[ 03:25 vanilla search for other commits by this committer ] Original commit   Revision:362025
Stagify.

Approved by:	lwhsu@ (maintainer)
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
Mon, 7 Jul 2014
[ 15:31 olgeni search for other commits by this committer ] Original commit   Revision:361099 (Only the first 10 of 193 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. Category M.

CR:		D306
Approved by:	portmgr (bapt)
Wed, 13 Nov 2013
[ 15:55 lwhsu search for other commits by this committer ] Original commit   Revision:333703
- Try to fix build with USE_GCC, anyway, cvc4 is out and would be ported later
Fri, 20 Sep 2013
[ 20:55 bapt search for other commits by this committer ] Original commit   Revision:327746 (Only the first 10 of 665 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:
math)
Mon, 16 Sep 2013
[ 16:32 bapt search for other commits by this committer ] Original commit   Revision:327411 (Only the first 10 of 18 ports in this commit are shown above. View all ports for this commit)
Convert to new perl framework
Convert USE_GMAKE to USES
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, 4 Feb 2012
[ 14:37 lwhsu search for other commits by this committer ] Original commit 
- Update to 2.4.1
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.
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
Fri, 7 Sep 2007
[ 22:54 lwhsu search for other commits by this committer ] Original commit 
- Update to 1.2.1
Wed, 4 Apr 2007
[ 08:49 lwhsu search for other commits by this committer ] Original commit  (Only the first 10 of 29 ports in this commit are shown above. View all ports for this commit)
- Change to my FreeBSD.org email

Approved by:     clsung (mentor)
Sun, 25 Mar 2007
[ 04:04 clsung search for other commits by this committer ] Original commit 
Add cvc3 1.0, an automatic theorem prover for the SMT problem.

PR:             ports/110770
Submitted by:   Li-Wen Hsu <lwhsu at lwhsu.org>

Number of commits found: 26