| Commit History - (may be incomplete: see SVNWeb link above for full details) |
| Date | By | Description |
26 Jul 2019 20:46:57
  2.4.1_7
|
gerald  |
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 |
12 Dec 2018 01:35:36
2.4.1_6
|
gerald |
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 |
29 Jul 2018 22:18:46
2.4.1_5
|
gerald |
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 |
10 Mar 2018 17:46:06
2.4.1_4
|
gerald |
Bump PORTREVISIONs of all users of math/mpc that we just updated to
version 1.1.0 (via revision 464079). |
10 Sep 2017 20:55:39
2.4.1_3
|
gerald |
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 |
01 Apr 2017 15:23:32
2.4.1_2
|
gerald |
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 |
11 Feb 2017 19:54:32
2.4.1_1
|
jbeich |
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()'
}
^ |
20 Nov 2016 09:38:09
2.4.1_1
|
gerald |
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. |
21 Oct 2016 15:21:13
2.4.1
|
mat |
Use USES=pathfix where applicable.
PR: 213195
Submitted by: mat
Exp-run by: antoine
Sponsored by: Absolight
Differential Revision: https://reviews.freebsd.org/D8093 |
23 May 2016 18:36:52
2.4.1
|
amdmi3 |
Convert tab after WWW: in pkg-descrs to single space as per PHB
Approved by: portmgr blanket |
19 May 2016 10:44:12
2.4.1
|
amdmi3 |
- Fix trailing whitespace in pkg-descrs, categories [g-n]*
Approved by: portmgr blanket |
01 Apr 2016 14:16:20
2.4.1
|
mat |
Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.
With hat: portmgr
Sponsored by: Absolight |
13 Nov 2014 23:24:01
2.4.1
|
antoine |
Cleanup plist |
16 Jul 2014 03:25:08
2.4.1
|
vanilla |
Stagify.
Approved by: lwhsu@ (maintainer) |
13 Jul 2014 23:36:40
2.4.1
|
bapt |
Modernize LIB_DEPENDS
With hat: portmgr |
07 Jul 2014 15:31:02
2.4.1
|
olgeni |
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) |
13 Nov 2013 15:55:10
2.4.1
|
lwhsu |
- Try to fix build with USE_GCC, anyway, cvc4 is out and would be ported later |
20 Sep 2013 20:55:06
2.4.1
|
bapt |
Add NO_STAGE all over the place in preparation for the staging support (cat:
math) |
16 Sep 2013 16:32:07
2.4.1
|
bapt |
Convert to new perl framework
Convert USE_GMAKE to USES |
08 Mar 2013 11:32:12
2.4.1
|
bapt |
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 |
04 Feb 2012 14:37:52
2.4.1
|
lwhsu |
- Update to 2.4.1 |
20 Mar 2011 12:54:45
1.2.1_3
|
miwi |
- Get Rid MD5 support |
19 Apr 2010 10:43:43
1.2.1_3
|
ale |
Switch to use newer GMP version.
PR: ports/144487
Submitted by: ale
Approved by: portmgr (-exp run by erwin) |
13 May 2009 09:46:02
1.2.1_2
|
ale |
Chase libgmp and bump PORTREVISION. |
17 Oct 2007 10:13:01
1.2.1_1
|
ade |
Migration from bison 1.x to 2.x
PR: 117086
Tested by: -exp runs |
07 Sep 2007 22:54:09
1.2.1
|
lwhsu |
- Update to 1.2.1 |
04 Apr 2007 08:49:31
1.0
|
lwhsu |
- Change to my FreeBSD.org email
Approved by: clsung (mentor) |
25 Mar 2007 04:04:31
1.0
|
clsung |
Add cvc3 1.0, an automatic theorem prover for the SMT problem.
PR: ports/110770
Submitted by: Li-Wen Hsu <lwhsu at lwhsu.org> |
As an Amazon Associate I earn from qualifying purchases.
