| Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
| Commit | Credits | Log message |
|---|
2.3.4_3,1
14 Feb 2025 03:17:22
     |
Dima Panov (fluffy)  |
devel/boost: bump consumers after Boost-1.87 update
Sponsored by: Future Crew, LLC |
2.3.4_2,1
20 Nov 2024 10:05:25
|
Dima Panov (fluffy) |
devel/boost: bump consu,ers after update Boost to 1.86 release
Sponsored by: Future Crew, LLC |
2.3.4_1,1
03 Oct 2024 10:25:14
|
Dima Panov (fluffy) |
*/*: bump consumers after devel/boost* update
With hat: office
Sponsored by: Future Crew, LLC |
2.3.4,1
15 Jun 2024 08:42:57
|
Gleb Popov (arrowd) |
math/stp: Update to 2.3.4
Reported by: portscout! |
2.3.3_13,1
13 Feb 2024 14:44:22
|
Dima Panov (fluffy) |
devel/boost: bump consumers after library update |
2.3.3_12,1
11 Dec 2023 17:42:26
|
Brooks Davis (brooks) |
math/stp: remove nonsensical sbrk use
This code called sbrk(4000000) and beyond error checking ignored
the result meaning the 4MB of address space allocated could
never be used without another call to sbrk and reference to
INITIAL_MEMORY_PREALLOCATION_SIZE, but nothing in the repo does
either.
Submitted upstream as https://github.com/stp/stp/pull/474
Approved by: arrowd (maintainer)
Sponsored by: DARPA
Differential Revision: https://reviews.freebsd.org/D42978 |
2.3.3_11,1
27 Sep 2023 14:36:30
|
Dima Panov (fluffy) |
devel/boost*: bump all consumers after 1.83.0 |
2.3.3_10,1
27 Apr 2023 18:25:55
|
Dima Panov (fluffy) |
*/*: bump all direct Boost cunsumers |
2.3.3_9,1
16 Jan 2023 19:32:07
|
Dima Panov (fluffy) |
*/*: bump libboost*.so libraries consumert after Boost upgrade |
07 Sep 2022 21:58:51
|
Stefan Eßer (se) |
Remove WWW entries moved into port Makefiles
Commit b7f05445c00f has added WWW entries to port Makefiles based on
WWW: lines in pkg-descr files.
This commit removes the WWW: lines of moved-over URLs from these
pkg-descr files.
Approved by: portmgr (tcberner) |
2.3.3_8,1
07 Sep 2022 21:10:59
|
Stefan Eßer (se) |
Add WWW entries to port Makefiles
It has been common practice to have one or more URLs at the end of the
ports' pkg-descr files, one per line and prefixed with "WWW:". These
URLs should point at a project website or other relevant resources.
Access to these URLs required processing of the pkg-descr files, and
they have often become stale over time. If more than one such URL was
present in a pkg-descr file, only the first one was tarnsfered into
the port INDEX, but for many ports only the last line did contain the
port specific URL to further information.
There have been several proposals to make a project URL available as
a macro in the ports' Makefiles, over time.
(Only the first 15 lines of the commit message are shown above  ) |
2.3.3_8,1
12 Aug 2022 14:46:53
|
Dima Panov (fluffy) |
*/*: bump all consumers after recent boost upgrade |
2.3.3_7,1
20 Jul 2022 14:22:24
|
Tobias C. Berner (tcberner) |
math: remove 'Created by' lines
A big Thank You to the original contributors of these ports:
* Aaron Dalton <aaron@FreeBSD.org>
* Aaron Dalton <aaron@daltons.ca>
* Alessando Sagratini <ale_sagra@hotmail.com>
* Alex Dupre <ale@FreeBSD.org>
* Alexey Dokuchaev <danfe@FreeBSD.org>
* Amarendra Godbole <amarendra.godbole@gmail.com>
* Anders Nordby <anders@FreeBSD.org>
* Andreas Fehlner (fehlner@gmx.de)
* Andrew L. Neporada <andrew@chg.ru>
* Andrey <gugu@zoo.rambler.ru>
* Andrey Zakhvatov (Only the first 15 lines of the commit message are shown above ) |
2.3.3_7,1
22 May 2022 20:17:16
|
Dima Panov (fluffy) |
devel/boost-all: bump all library consumers after boost upgrade
PR: 246106 |
2.3.3_6,1
06 Apr 2021 14:31:07
|
Mathieu Arnold (mat) |
Remove # $FreeBSD$ from Makefiles. |
2.3.3_6,1
01 Jan 2021 23:51:49
  |
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) |
2.3.3_6,1
09 Jul 2020 15:44:39
|
arrowd |
math/cryptominisat and math/py-cryptominisat: Update to 5.7.1
Bump PORTREVISIONs of consumer ports. |
2.3.3_5,1
27 Mar 2020 14:59:08
|
arrowd |
math/stp and math/cryptominisat: Use correct patch (at STP side) for specifying
dependency on
cryptomisat. |
2.3.3_4,1
04 Mar 2020 18:03:42
|
arrowd |
math/cryptominisat: Add patch to fix CMake config file. Bump math/stp, as it was
affected by this issue. |
2.3.3_3,1
11 Dec 2019 17:53:49
|
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 |
2.3.3_2,1
19 Aug 2019 15:35:28
|
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 |
2.3.3_1,1
01 Aug 2019 09:52:08
|
arrowd |
math/stp: Update WWW in pkg-descr. |
2.3.3_1,1
26 Jul 2019 20:46:57
|
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 |
2.3.3,1
21 Jul 2019 13:38:04
|
arrowd |
math/stp: Update to 2.3.3. |
2.3.2_2,1
12 Apr 2019 06:36:31
|
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 |
2.3.2_1,1
10 Apr 2019 06:18:32
|
antoine |
Bump a few PORTREVISIONs after r498529
With hat: portmgr |
2.3.2,1
23 Feb 2019 16:24:49
|
arrowd |
math/stp: Update to 2.3.2.
Approved by: tcberner (mentor)
Differential Revision: https://reviews.freebsd.org/D19305 |
2.3.1_4,1
25 Dec 2018 20:25:40
|
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 |
2.3.1_4,1
12 Dec 2018 01:35:36
|
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 |
2.3.1_3,1
12 Dec 2018 00:15:50
|
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 |
2.3.1_2,1
06 Nov 2018 23:52:18
|
linimon |
Add compiler:c++11-lang to USES to fix linking with boost.
Approved by: portmgr (tier-2 blanket) |
2.3.1_2,1
09 Aug 2018 06:58:31
|
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 |
2.3.1_1,1
28 Jul 2018 06:46:11
|
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 |
2.3.1,1
24 Jul 2018 06:19:15
|
arrowd |
math/stp: Update to latest 2.3.1 version.
Approved by: tcberner (mentor)
Differential Revision: https://reviews.freebsd.org/D16286 |
1436_8
18 Jun 2018 14:00:43
|
linimon |
Mark ports broken on powerpc64, categories g-n.
While here, pet portlint and do some other cleanup.
Approved by: portmgr (tier-2 blanket) |
1436_8
18 Apr 2018 13:57:43
|
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 |
1436_7
18 Jan 2018 04:11:03
|
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 |
1436_6
25 Sep 2017 00:08:17
|
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 |
1436_5
25 Sep 2017 00:05:06
|
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 |
1436_4
25 Jun 2017 21:07:58
|
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 |
1436_4
02 May 2017 06:48:11
|
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 |
1436_3
31 Jan 2017 03:40:46
|
linimon |
Mark various ports broken on aarch64 and armv6.
Approved by: portmgr (tier-2 blanket) |
1436_3
06 Jan 2017 08:45:04
|
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 |
1436_2
05 Jan 2017 11:00:50
|
amdmi3 |
Remove always-true/false conditions after 9.x, 10.[12] EOL
While here, couple minor fixes
portmgr blanket |
1436_2
23 Nov 2016 12:45:47
|
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) |
1436_1
01 Apr 2016 14:16:20
|
mat |
Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.
With hat: portmgr
Sponsored by: Absolight |
1436_1
03 Apr 2015 11:26:50
 |
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 |
1436_1
14 Nov 2014 09:39:21
|
antoine |
Cleanup plist |
1436_1
26 Aug 2014 12:44:36
|
antoine |
Do not overwrite CMAKE_ARGS, fixes packaging on freebsd 9.x |
1436_1
26 Aug 2014 12:29:48
|
antoine |
Package something |
1436
29 Jul 2014 21:07:40
|
adamw |
Convert a bunch of USE_XZ to USES=tar:xz.
Approved by: portmgr (not really, but touches unstaged ports) |
1436
07 Jul 2014 15:31:02
|
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) |
1436
06 Mar 2014 16:05:32
|
ehaupt |
Fix math/stp build for FreeBSD 9.x
PR: 187311
Submitted by: arrowdodger <6yearold@gmail.com> (maintainer) |
1436
03 Mar 2014 16:21:03
|
lwhsu |
- Update to revision 1436
PR: ports/186512
Submitted by: arrowdodger <6yearold@gmail.com> (maintainer) |
1407
20 Sep 2013 20:55:06
|
bapt |
Add NO_STAGE all over the place in preparation for the staging support (cat:
math) |
1407
16 Sep 2013 16:32:07
|
bapt |
Convert to new perl framework
Convert USE_GMAKE to USES |
1407
08 Mar 2013 11:32:12
|
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 |
1407
28 Dec 2011 06:40:53
|
linimon |
Mark as broken on tier-2: uses i386-specific compiler flags.
Hat: portmgr |
1407
21 Nov 2011 15:51:01
|
sunpoet |
- Add WITH_DEBUG support
PR: ports/162718
Submitted by: arrowdodger <6yearold@gmail.com> (maintainer)
Feature safe: yes |
1407
11 Nov 2011 06:15:30
|
lwhsu |
- Update to revision 1407
- Pass maintainership to arrowdodger <6yearold@gmail.com>
Original patch by: arrowdodger <6yearold@gmail.com>
Feature safe: yes |
0.1_1
20 Mar 2011 12:54:45
|
miwi |
- Get Rid MD5 support |
0.1_1
22 Aug 2009 00:28:34
|
amdmi3 |
- Switch SourceForge ports to the new File Release System: categories starting
with M |
0.1_1
24 Dec 2008 20:51:30
|
lwhsu |
- Update to 0.1-11-18-2008 |
0.1
19 Jun 2008 01:52:26
|
lwhsu |
Add stp , a Decision Procedure for Bitvectors and Arrays. |
As an Amazon Associate I earn from qualifying purchases.
