Commit History - (may be incomplete: see SVNWeb link above for full details) |
Date | By | Description |
01 Jan 2021 23:51:49
2.3.3_6,1

|
linimon  |
Mark ports that are BROKEN due to sbrk on aarch64, also BROKEN on riscv64
where appropriate.
While here, pet portlint (Makevar order; whitespace).
Approved by: portmgr (tier-2 blanket) |
09 Jul 2020 15:44:39
2.3.3_6,1

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

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

|
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
2.3.3_3,1

|
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
2.3.3_2,1

|
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 |
01 Aug 2019 09:52:08
2.3.3_1,1

|
arrowd  |
math/stp: Update WWW in pkg-descr. |
26 Jul 2019 20:46:57
2.3.3_1,1

|
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 |
21 Jul 2019 13:38:04
2.3.3,1

|
arrowd  |
math/stp: Update to 2.3.3. |
12 Apr 2019 06:36:31
2.3.2_2,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 |
10 Apr 2019 06:18:32
2.3.2_1,1

|
antoine  |
Bump a few PORTREVISIONs after r498529
With hat: portmgr |
23 Feb 2019 16:24:49
2.3.2,1

|
arrowd  |
math/stp: Update to 2.3.2.
Approved by: tcberner (mentor)
Differential Revision: https://reviews.freebsd.org/D19305 |
25 Dec 2018 20:25:40
2.3.1_4,1

|
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
2.3.1_4,1

|
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
2.3.1_3,1

|
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 |
06 Nov 2018 23:52:18
2.3.1_2,1

|
linimon  |
Add compiler:c++11-lang to USES to fix linking with boost.
Approved by: portmgr (tier-2 blanket) |
09 Aug 2018 06:58:31
2.3.1_2,1

|
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 |
28 Jul 2018 06:46:11
2.3.1_1,1

|
arrowd  |
math/stp: Pull in fixes from the PR I missed.
PR: 229974
Submitted by: yuri, Nathan <ndowens.fbsd@yandex.com>
Approved by: tcberner (mentor)
Differential Revision: https://reviews.freebsd.org/D16447 |
24 Jul 2018 06:19:15
2.3.1,1

|
arrowd  |
math/stp: Update to latest 2.3.1 version.
Approved by: tcberner (mentor)
Differential Revision: https://reviews.freebsd.org/D16286 |
18 Jun 2018 14:00:43
1436_8

|
linimon  |
Mark ports broken on powerpc64, categories g-n.
While here, pet portlint and do some other cleanup.
Approved by: portmgr (tier-2 blanket) |
18 Apr 2018 13:57:43
1436_8

|
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
1436_7

|
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 |
25 Sep 2017 00:08:17
1436_6

|
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
1436_5

|
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 |
25 Jun 2017 21:07:58
1436_4

|
tcberner  |
Make ninja opt-out in cmake.mk
Using ninja instead of make (1) can lead to significant speed ups while
building.
Therefore switch from having the ninja generator opt-in to having it opt-out.
Previously cmake-ports that wanted to use ninja could set
CMAKE_NINJA=yes
now, ports that do not work with ninja can set
cmake:<existing args>,noninja
Note, that needing this should be an exception and most often points to a broken
cmake of the port.
The ports using cmake were modified
* removed USES=gmake, if ninja is used
* removed MAKE_ARGS, if ninja is used
* added the cmake-argument noninja if necessary
PR: 219629
PR: 213331
Exp-run by: antoine
Reviewed by: rakuco
Differential Revision: https://reviews.freebsd.org/D10748 |
02 May 2017 06:48:11
1436_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 |
31 Jan 2017 03:40:46
1436_3

|
linimon  |
Mark various ports broken on aarch64 and armv6.
Approved by: portmgr (tier-2 blanket) |
06 Jan 2017 08:45:04
1436_3

|
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 |
05 Jan 2017 11:00:50
1436_2

|
amdmi3  |
Remove always-true/false conditions after 9.x, 10.[12] EOL
While here, couple minor fixes
portmgr blanket |
23 Nov 2016 12:45:47
1436_2

|
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) |
01 Apr 2016 14:16:20
1436_1

|
mat  |
Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.
With hat: portmgr
Sponsored by: Absolight |
03 Apr 2015 11:26:50
1436_1

|
mat  |
Remove OSVERSION checks that do not make sense any more.
For example (${OSVERSION} >= 900000 && ${OSVERSION} < 900021) is always true,
as is (${OSVERSION} > 900002 || ${OSVERSION} < 900000 && ${OSVERSION} > 800107).
Regarding patches, when an EXTRA_PATCHES is no longer needed, I remove it, when
it is always needed, I renamed it, in one case, I merged two patches.
Differential Revision: https://reviews.freebsd.org/D2209 |
14 Nov 2014 09:39:21
1436_1

|
antoine  |
Cleanup plist |
26 Aug 2014 12:44:36
1436_1

|
antoine  |
Do not overwrite CMAKE_ARGS, fixes packaging on freebsd 9.x |
26 Aug 2014 12:29:48
1436_1

|
antoine  |
Package something |
29 Jul 2014 21:07:40
1436

|
adamw  |
Convert a bunch of USE_XZ to USES=tar:xz.
Approved by: portmgr (not really, but touches unstaged ports) |
07 Jul 2014 15:31:02
1436

|
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) |
06 Mar 2014 16:05:32
1436

|
ehaupt  |
Fix math/stp build for FreeBSD 9.x
PR: 187311
Submitted by: arrowdodger <6yearold@gmail.com> (maintainer) |
03 Mar 2014 16:21:03
1436

|
lwhsu  |
- Update to revision 1436
PR: ports/186512
Submitted by: arrowdodger <6yearold@gmail.com> (maintainer) |
20 Sep 2013 20:55:06
1407

|
bapt  |
Add NO_STAGE all over the place in preparation for the staging support (cat:
math) |
16 Sep 2013 16:32:07
1407

|
bapt  |
Convert to new perl framework
Convert USE_GMAKE to USES |
08 Mar 2013 11:32:12
1407

|
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 |
28 Dec 2011 06:40:53
1407
|
linimon  |
Mark as broken on tier-2: uses i386-specific compiler flags.
Hat: portmgr |
21 Nov 2011 15:51:01
1407
|
sunpoet  |
- Add WITH_DEBUG support
PR: ports/162718
Submitted by: arrowdodger <6yearold@gmail.com> (maintainer)
Feature safe: yes |
11 Nov 2011 06:15:30
1407
|
lwhsu  |
- Update to revision 1407
- Pass maintainership to arrowdodger <6yearold@gmail.com>
Original patch by: arrowdodger <6yearold@gmail.com>
Feature safe: yes |
20 Mar 2011 12:54:45
0.1_1
|
miwi  |
- Get Rid MD5 support |
22 Aug 2009 00:28:34
0.1_1 
|
amdmi3  |
- Switch SourceForge ports to the new File Release System: categories starting
with M |
24 Dec 2008 20:51:30
0.1_1
|
lwhsu  |
- Update to 0.1-11-18-2008 |
19 Jun 2008 01:52:26
0.1
|
lwhsu  |
Add stp , a Decision Procedure for Bitvectors and Arrays. |