| non port: math/stp/Makefile |
|
SVNWeb
|
Number of commits found: 52 |
|
Mon, 16 Jan 2023
|
[ 19:32 Dima Panov (fluffy)  ]    e1287d0 (Only the first 10 of 184 ports in this commit are shown above.  )
*/*: bump libboost*.so libraries consumert after Boost upgrade
|
|
Wed, 7 Sep 2022
|
[ 21:10 Stefan Eßer (se) ] b7f0544 (Only the first 10 of 27931 ports in this commit are shown above. )
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 )
|
|
Fri, 12 Aug 2022
|
[ 14:46 Dima Panov (fluffy) ] 4cf39de (Only the first 10 of 722 ports in this commit are shown above. )
*/*: bump all consumers after recent boost upgrade
|
|
Wed, 20 Jul 2022
|
[ 14:22 Tobias C. Berner (tcberner) ] f53eb28 (Only the first 10 of 719 ports in this commit are shown above. )
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 )
|
|
Sun, 22 May 2022
|
[ 20:17 Dima Panov (fluffy) ] b082b3d (Only the first 10 of 280 ports in this commit are shown above. )
devel/boost-all: bump all library consumers after boost upgrade
PR: 246106
|
|
Tue, 6 Apr 2021
|
[ 14:31 Mathieu Arnold (mat) ] 305f148 (Only the first 10 of 29333 ports in this commit are shown above. )
Remove # $FreeBSD$ from Makefiles.
|
|
Fri, 1 Jan 2021
|
[ 23:51 linimon ]   (Only the first 10 of 32 ports in this commit are shown above. )
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)
|
|
Thu, 9 Jul 2020
|
[ 15:44 arrowd ]
math/cryptominisat and math/py-cryptominisat: Update to 5.7.1
Bump PORTREVISIONs of consumer ports.
|
|
Fri, 27 Mar 2020
|
[ 14:59 arrowd ]
math/stp and math/cryptominisat: Use correct patch (at STP side) for specifying
dependency on
cryptomisat.
|
|
Wed, 4 Mar 2020
|
[ 18:03 arrowd ]
math/cryptominisat: Add patch to fix CMake config file. Bump math/stp, as it was
affected by this issue.
|
|
Wed, 11 Dec 2019
|
[ 17:53 jbeich ] (Only the first 10 of 417 ports in this commit are shown above. )
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
|
|
Mon, 19 Aug 2019
|
[ 15:35 jbeich ] (Only the first 10 of 412 ports in this commit are shown above. )
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
|
|
Fri, 26 Jul 2019
|
[ 20:46 gerald ] (Only the first 10 of 3853 ports in this commit are shown above. )
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
|
|
Sun, 21 Jul 2019
|
[ 13:38 arrowd ]
math/stp: Update to 2.3.3.
|
|
Fri, 12 Apr 2019
|
[ 06:36 jbeich ] (Only the first 10 of 392 ports in this commit are shown above. )
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
|
|
Wed, 10 Apr 2019
|
[ 06:18 antoine ] (Only the first 10 of 399 ports in this commit are shown above. )
Bump a few PORTREVISIONs after r498529
With hat: portmgr
|
|
Sat, 23 Feb 2019
|
[ 16:24 arrowd ]
math/stp: Update to 2.3.2.
Approved by: tcberner (mentor)
Differential Revision: https://reviews.freebsd.org/D19305
|
|
Tue, 25 Dec 2018
|
[ 20:25 tcberner ] (Only the first 10 of 1277 ports in this commit are shown above. )
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
|
|
Wed, 12 Dec 2018
|
[ 01:35 gerald ] (Only the first 10 of 3168 ports in this commit are shown above. )
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
|
[ 00:15 jbeich ] (Only the first 10 of 415 ports in this commit are shown above. )
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
|
|
Tue, 6 Nov 2018
|
[ 23:52 linimon ]
Add compiler:c++11-lang to USES to fix linking with boost.
Approved by: portmgr (tier-2 blanket)
|
|
Thu, 9 Aug 2018
|
[ 06:58 jbeich ] (Only the first 10 of 404 ports in this commit are shown above. )
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
|
|
Sat, 28 Jul 2018
|
[ 06:46 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
|
|
Tue, 24 Jul 2018
|
[ 06:19 arrowd ]
math/stp: Update to latest 2.3.1 version.
Approved by: tcberner (mentor)
Differential Revision: https://reviews.freebsd.org/D16286
|
|
Mon, 18 Jun 2018
|
[ 14:00 linimon ] (Only the first 10 of 39 ports in this commit are shown above. )
Mark ports broken on powerpc64, categories g-n.
While here, pet portlint and do some other cleanup.
Approved by: portmgr (tier-2 blanket)
|
|
Wed, 18 Apr 2018
|
[ 13:57 jbeich ] (Only the first 10 of 388 ports in this commit are shown above. )
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
|
|
Thu, 18 Jan 2018
|
[ 04:11 jbeich ] (Only the first 10 of 356 ports in this commit are shown above. )
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
|
|
Mon, 25 Sep 2017
|
[ 00:08 jbeich ] (Only the first 10 of 342 ports in this commit are shown above. )
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
|
[ 00:05 jbeich ] (Only the first 10 of 327 ports in this commit are shown above. )
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
|
|
Sun, 25 Jun 2017
|
[ 21:07 tcberner ] (Only the first 10 of 115 ports in this commit are shown above. )
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
|
|
Tue, 2 May 2017
|
[ 06:48 jbeich ] (Only the first 10 of 336 ports in this commit are shown above. )
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
|
|
Tue, 31 Jan 2017
|
[ 03:40 linimon ] (Only the first 10 of 37 ports in this commit are shown above. )
Mark various ports broken on aarch64 and armv6.
Approved by: portmgr (tier-2 blanket)
|
|
Fri, 6 Jan 2017
|
[ 08:45 jbeich ] (Only the first 10 of 324 ports in this commit are shown above. )
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
|
|
Thu, 5 Jan 2017
|
[ 11:00 amdmi3 ] (Only the first 10 of 29 ports in this commit are shown above. )
Remove always-true/false conditions after 9.x, 10.[12] EOL
While here, couple minor fixes
portmgr blanket
|
|
Wed, 23 Nov 2016
|
[ 12:45 jbeich ] (Only the first 10 of 353 ports in this commit are shown above. )
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)
|
|
Fri, 1 Apr 2016
|
[ 14:16 mat ] (Only the first 10 of 2612 ports in this commit are shown above. )
Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.
With hat: portmgr
Sponsored by: Absolight
|
|
Fri, 3 Apr 2015
|
[ 11:26 mat ] (Only the first 10 of 120 ports in this commit are shown above. )
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
|
|
Tue, 26 Aug 2014
|
[ 12:44 antoine ]
Do not overwrite CMAKE_ARGS, fixes packaging on freebsd 9.x
|
[ 12:29 antoine ]
Package something
|
|
Tue, 29 Jul 2014
|
[ 21:07 adamw ] (Only the first 10 of 106 ports in this commit are shown above. )
Convert a bunch of USE_XZ to USES=tar:xz.
Approved by: portmgr (not really, but touches unstaged ports)
|
|
Mon, 7 Jul 2014
|
[ 15:31 olgeni ] (Only the first 10 of 193 ports in this commit are shown above. )
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)
|
|
Thu, 6 Mar 2014
|
[ 16:05 ehaupt ]
Fix math/stp build for FreeBSD 9.x
PR: 187311
Submitted by: arrowdodger <6yearold@gmail.com> (maintainer)
|
|
Mon, 3 Mar 2014
|
[ 16:21 lwhsu ]
- Update to revision 1436
PR: ports/186512
Submitted by: arrowdodger <6yearold@gmail.com> (maintainer)
|
|
Fri, 20 Sep 2013
|
[ 20:55 bapt ] (Only the first 10 of 665 ports in this commit are shown above. )
Add NO_STAGE all over the place in preparation for the staging support (cat:
math)
|
|
Mon, 16 Sep 2013
|
[ 16:32 bapt ] (Only the first 10 of 18 ports in this commit are shown above. )
Convert to new perl framework
Convert USE_GMAKE to USES
|
|
Fri, 8 Mar 2013
|
[ 11:32 bapt ] (Only the first 10 of 209 ports in this commit are shown above. )
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
|
|
Wed, 28 Dec 2011
|
[ 06:40 linimon ]
Mark as broken on tier-2: uses i386-specific compiler flags.
Hat: portmgr
|
|
Mon, 21 Nov 2011
|
[ 15:51 sunpoet ]
- Add WITH_DEBUG support
PR: ports/162718
Submitted by: arrowdodger <6yearold@gmail.com> (maintainer)
Feature safe: yes
|
|
Fri, 11 Nov 2011
|
[ 06:15 lwhsu ]
- Update to revision 1407
- Pass maintainership to arrowdodger <6yearold@gmail.com>
Original patch by: arrowdodger <6yearold@gmail.com>
Feature safe: yes
|
|
Sat, 22 Aug 2009
|
[ 00:28 amdmi3 ] (Only the first 10 of 287 ports in this commit are shown above. )
- Switch SourceForge ports to the new File Release System: categories starting
with M
|
|
Wed, 24 Dec 2008
|
[ 20:51 lwhsu ]
- Update to 0.1-11-18-2008
|
|
Thu, 19 Jun 2008
|
[ 01:52 lwhsu ]
Add stp , a Decision Procedure for Bitvectors and Arrays.
|
Number of commits found: 52 |
As an Amazon Associate I earn from qualifying purchases.