Commit History - (may be incomplete: see SVNWeb link above for full details) |
Date | By | Description |
19 Oct 2020 14:59:18
5.8.0

|
arrowd  |
math/cryptominisat and math/py-cryptominisat: Update to 5.8.0.
Enable M4RI functionality, thanks to thierry@ for adding the port. |
09 Jul 2020 15:44:39
5.7.1

|
arrowd  |
math/cryptominisat and math/py-cryptominisat: Update to 5.7.1
Bump PORTREVISIONs of consumer ports. |
27 Mar 2020 14:59:08
5.6.8_6

|
arrowd  |
math/stp and math/cryptominisat: Use correct patch (at STP side) for specifying
dependency on
cryptomisat. |
04 Mar 2020 18:03:42
5.6.8_5

|
arrowd  |
math/cryptominisat: Add patch to fix CMake config file. Bump math/stp, as it was
affected by this issue. |
11 Dec 2019 17:53:49
5.6.8_4

|
jbeich  |
devel/boost-*: update to 1.72.0
Changes: http://www.boost.org/users/history/version_1_72_0.html
PR: 241449
Exp-run by: antoine
Differential Revision: https://reviews.freebsd.org/D22136 |
19 Aug 2019 15:35:28
5.6.8_3

|
jbeich  |
devel/boost-*: update to 1.71.0
Changes: http://www.boost.org/users/history/version_1_71_0.html
PR: 238827
Exp-run by: antoine
Differential Revision: https://reviews.freebsd.org/D20774 |
26 Jul 2019 20:46:57
5.6.8_2

|
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 Apr 2019 06:36:31
5.6.8_1

|
jbeich  |
devel/boost-*: update to 1.70.0
Changes: http://www.boost.org/users/history/version_1_70_0.html
PR: 235956
Exp-run by: antoine
Differential Revision: https://reviews.freebsd.org/D19303 |
23 Feb 2019 16:31:47
5.6.8

|
arrowd  |
math/cryptominisat and math/py-cryptominisat to 5.6.8.
Approved by: tcberner (mentor)
Differential Revision: https://reviews.freebsd.org/D19302 |
25 Dec 2018 20:25:40
5.6.3_3

|
tcberner  |
Change cmake default behaviour to outsource.
Ports that build out of source now simply can use "USES=cmake"
instead of "USES=cmake:outsource". Ports that fail to build
out of source now need to specify "USES=cmake:insource".
I tried to only set insource where explictely needed.
PR: 232038
Exp-run by: antoine |
12 Dec 2018 01:35:36
5.6.3_3

|
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 |
12 Dec 2018 00:15:50
5.6.3_2

|
jbeich  |
devel/boost-*: update to 1.69.0
Changes: http://www.boost.org/users/history/version_1_69_0.html
PR: 232525
Exp-run by: antoine
Differential Revision: https://reviews.freebsd.org/D17645 |
25 Sep 2018 07:29:26
5.6.3_1

|
linimon  |
These ports now build on powerpc64.
While here, pet portlint.
Approved by: portmgr (tier-2 blanket) |
10 Aug 2018 10:20:15
5.6.3_1

|
arrowd  |
math/cryptominisat: Unbreak on aarch64.
PR: 229724
Submitted by: Greg V <greg@unrelenting.technology>
Approved by: tcberner (mentor) |
10 Aug 2018 09:24:41
5.6.3

|
arrowd  |
math/cryptominisat: Update to 5.6.3.
Approved by: tcberner (mentor)
Differential Revision: https://reviews.freebsd.org/D16645 |
09 Aug 2018 06:58:31
5.6.1_2

|
jbeich  |
devel/boost-*: update to 1.68.0
- Switch to C++14 for libboost_system to support C++14 consumers
Changes: http://www.boost.org/users/history/version_1_68_0.html
PR: 229569
Exp-run by: antoine
Differential Revision: https://reviews.freebsd.org/D16165 |
29 Jul 2018 22:18:46
5.6.1_1

|
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 |
17 Jun 2018 20:36:22
5.6.1

|
arrowd  |
math/cryptominisat and math/py-cryptominisat: Update to 5.6.1.
Reviewed by: mat
Approved by: tcberner (mentor)
Differential Revision: https://reviews.freebsd.org/D15735 |
18 Apr 2018 13:57:43
5.0.1_9

|
jbeich  |
devel/boost-*: update to 1.67.0
Changes: http://www.boost.org/users/history/version_1_67_0.html
PR: 227427
Exp-run by: antoine
Differential Revision: https://reviews.freebsd.org/D15030 |
18 Jan 2018 04:11:03
5.0.1_8

|
jbeich  |
devel/boost-*: update to 1.66.0
Changes: http://www.boost.org/users/history/version_1_66_0.html
PR: 223922
Exp-run by: antoine
Differential Revision: https://reviews.freebsd.org/D13279 |
11 Jan 2018 20:34:08
5.0.1_7

|
adamw  |
Chase vim-lite -> vim-console rename |
25 Sep 2017 00:08:17
5.0.1_7

|
jbeich  |
devel/boost-*: update to 1.65.1
Changes: http://www.boost.org/users/history/version_1_65_1.html
PR: 218835
Approved by: maintainer timeout (1.65.1: 2 weeks; 1.65.0: 1 month)
Tested by: jhibbits (on powerpc64, earlier version)
Exp-run by: antoine
Differential Revision: https://reviews.freebsd.org/D11582 |
25 Sep 2017 00:05:06
5.0.1_6

|
jbeich  |
devel/boost-*: enable C++11 features
PR: 218835
Obtained from: https://github.com/DragonFlyBSD/DeltaPorts/pull/690
Approved by: maintainer timeout (2 months)
Exp-run by: antoine
Differential Revision: https://reviews.freebsd.org/D11582 |
10 Sep 2017 20:55:39
5.0.1_5

|
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 |
26 Jun 2017 19:37:22
5.0.1_4

|
sunpoet  |
Fix WWW
Approved by: portmgr (blanket) |
20 May 2017 16:58:10
5.0.1_4

|
linimon  |
Mark some ports failing on power64. In cases where the error message
was a stub, provide a real one.
While here, pet portlint.
Reported by: swills
Approved by: portmgr (tier-2 blanket) |
02 May 2017 06:48:11
5.0.1_4

|
jbeich  |
devel/boost-*: update to 1.64.0
Changes: http://www.boost.org/users/history/version_1_64_0.html
PR: 218835
Approved by: office (bapt)
Exp-run by: antoine
Differential Revision: https://reviews.freebsd.org/D10472 |
01 Apr 2017 15:23:32
5.0.1_3

|
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 |
06 Jan 2017 08:45:04
5.0.1_2

|
jbeich  |
devel/boost-*: update to 1.63.0
Changes: http://www.boost.org/users/history/version_1_63_0.html
PR: 215598
Exp-run by: antoine
Approved by: office (bapt)
MFH: 2017Q1 |
23 Nov 2016 12:45:47
5.0.1_1

|
jbeich  |
devel/boost-*: update to 1.62.0
- Enable `long double` C99 math usage
- Switch 9.x back to building with GCC
Changes: http://www.boost.org/users/history/
PR: 199601
Submitted by: Chen Xu, bapt, amdmi3, truckman (based on)
Reviewed by: rakuco (kde) (earlier version)
Exp-run by: antoine (3 tries), truckman (consumers only, earlier versions)
Approved by: bapt (office) |
11 Nov 2016 19:43:03
5.0.1

|
amdmi3  |
- Update to 5.0.1
PR: 212601
Submitted by: 6yearold@gmail.com (maintainer) |
01 Sep 2016 13:25:49
5.0.0

|
cpm  |
- Update math/cryptominisat and math/py-cryptominisat to 5.0.0
PR: 211460
Submitted by: maintainer
Reviewed by: koobs, feld (mentor)
Approved by: feld (mentor) |
01 Apr 2016 14:16:20
4.5.3

|
mat  |
Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.
With hat: portmgr
Sponsored by: Absolight |
06 Jan 2016 14:07:05
4.5.3

|
koobs  |
math/{py-}cryptominisat: Update to 4.5.3
Common:
- Update PORTVERSION and distinfo checksum (4.5.3) [1]
- Switch to GITHUB for DISTFILES, remove USES=tar accordingly [1]
py-cryptominisat:
- Convert into fully fledged port
- Add distinfo and proper (unique) pkg-descr
- Remove MASTER port overrides accordingly
- Match COMMENT to upstream setup.py:description
- De-scope USES=compiler to compiler only
- Remove upstreamed patches (Only the first 15 lines of the commit message are shown above ) |
05 May 2015 21:54:30
4.2.0

|
jbeich  |
math/cryptominisat, math/py-cryptominisat: add new ports
CryptoMiniSat is a modern, multi-threaded, feature-rich, simplifying SAT
solver, featuring over 100 configurable parameters to tune to specific
need, collection of statistical data to MySQL database + javascript-based
visualization of it and clean C++ and python interfaces.
WWW: http://www.msoos.org/cryptominisat4/
PR: 199929
Submitted by: 6yearold@gmail.com (based on) |