notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
non port: math/stp/Makefile
SVNWeb

Number of commits found: 47

Tue, 6 Apr 2021
[ 14:31 Mathieu Arnold (mat) search for other commits by this committer ]    commit hash:305f148f482daf30dcf728039d03d019f88344eb  305f148  (Only the first 10 of 29333 ports in this commit are shown above. View all ports for this commit)
Remove # $FreeBSD$ from Makefiles.
Fri, 1 Jan 2021
[ 23:51 linimon search for other commits by this committer ] Original commit   Revision:559890 (Only the first 10 of 32 ports in this commit are shown above. View all ports for this commit)
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 search for other commits by this committer ] Original commit   Revision:541757
math/cryptominisat and math/py-cryptominisat: Update to 5.7.1

Bump PORTREVISIONs of consumer ports.
Fri, 27 Mar 2020
[ 14:59 arrowd search for other commits by this committer ] Original commit   Revision:529255
math/stp and math/cryptominisat: Use correct patch (at STP side) for specifying
dependency on
cryptomisat.
Wed, 4 Mar 2020
[ 18:03 arrowd search for other commits by this committer ] Original commit   Revision:527792
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 search for other commits by this committer ] Original commit   Revision:519824 (Only the first 10 of 417 ports in this commit are shown above. View all ports for this commit)
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 search for other commits by this committer ] Original commit   Revision:509290 (Only the first 10 of 412 ports in this commit are shown above. View all ports for this commit)
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 search for other commits by this committer ] Original commit   Revision:507372 (Only the first 10 of 3853 ports in this commit are shown above. View all ports for this commit)
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 search for other commits by this committer ] Original commit   Revision:507047
math/stp: Update to 2.3.3.
Fri, 12 Apr 2019
[ 06:36 jbeich search for other commits by this committer ] Original commit   Revision:498698 (Only the first 10 of 392 ports in this commit are shown above. View all ports for this commit)
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 search for other commits by this committer ] Original commit   Revision:498530 (Only the first 10 of 399 ports in this commit are shown above. View all ports for this commit)
Bump a few PORTREVISIONs after r498529

With hat:	portmgr
Sat, 23 Feb 2019
[ 16:24 arrowd search for other commits by this committer ] Original commit   Revision:493698
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 search for other commits by this committer ] Original commit   Revision:488341 (Only the first 10 of 1277 ports in this commit are shown above. View all ports for this commit)
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 search for other commits by this committer ] Original commit   Revision:487272 (Only the first 10 of 3168 ports in this commit are shown above. View all ports for this commit)
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 search for other commits by this committer ] Original commit   Revision:487266 (Only the first 10 of 415 ports in this commit are shown above. View all ports for this commit)
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 search for other commits by this committer ] Original commit   Revision:484370
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 search for other commits by this committer ] Original commit   Revision:476723 (Only the first 10 of 404 ports in this commit are shown above. View all ports for this commit)
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 search for other commits by this committer ] Original commit   Revision:475500
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 search for other commits by this committer ] Original commit   Revision:475224
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 search for other commits by this committer ] Original commit   Revision:472693 (Only the first 10 of 39 ports in this commit are shown above. View all ports for this commit)
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 search for other commits by this committer ] Original commit   Revision:467711 (Only the first 10 of 388 ports in this commit are shown above. View all ports for this commit)
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 search for other commits by this committer ] Original commit   Revision:459315 (Only the first 10 of 356 ports in this commit are shown above. View all ports for this commit)
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 search for other commits by this committer ] Original commit   Revision:450560 (Only the first 10 of 342 ports in this commit are shown above. View all ports for this commit)
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 search for other commits by this committer ] Original commit   Revision:450557 (Only the first 10 of 327 ports in this commit are shown above. View all ports for this commit)
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 search for other commits by this committer ] Original commit   Revision:444324 (Only the first 10 of 115 ports in this commit are shown above. View all ports for this commit)
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 search for other commits by this committer ] Original commit   Revision:439934 (Only the first 10 of 336 ports in this commit are shown above. View all ports for this commit)
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 search for other commits by this committer ] Original commit   Revision:432897 (Only the first 10 of 37 ports in this commit are shown above. View all ports for this commit)
Mark various ports broken on aarch64 and armv6.

Approved by:	portmgr (tier-2 blanket)
Fri, 6 Jan 2017
[ 08:45 jbeich search for other commits by this committer ] Original commit   Revision:430692 (Only the first 10 of 324 ports in this commit are shown above. View all ports for this commit)
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 search for other commits by this committer ] Original commit   Revision:430631 (Only the first 10 of 29 ports in this commit are shown above. View all ports for this commit)
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 search for other commits by this committer ] Original commit   Revision:426908 (Only the first 10 of 353 ports in this commit are shown above. View all ports for this commit)
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 search for other commits by this committer ] Original commit   Revision:412348 (Only the first 10 of 2612 ports in this commit are shown above. View all ports for this commit)
Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.

With hat:	portmgr
Sponsored by:	Absolight
Fri, 3 Apr 2015
[ 11:26 mat search for other commits by this committer ] Original commit   Revision:383107 (Only the first 10 of 120 ports in this commit are shown above. View all ports for this commit)
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 search for other commits by this committer ] Original commit   Revision:366210
Do not overwrite CMAKE_ARGS, fixes packaging on freebsd 9.x
[ 12:29 antoine search for other commits by this committer ] Original commit   Revision:366209
Package something
Tue, 29 Jul 2014
[ 21:07 adamw search for other commits by this committer ] Original commit   Revision:363392 (Only the first 10 of 106 ports in this commit are shown above. View all ports for this commit)
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 search for other commits by this committer ] Original commit   Revision:361099 (Only the first 10 of 193 ports in this commit are shown above. View all ports for this commit)
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 search for other commits by this committer ] Original commit   Revision:347264
Fix math/stp build for FreeBSD 9.x

PR:		187311
Submitted by:	arrowdodger <6yearold@gmail.com> (maintainer)
Mon, 3 Mar 2014
[ 16:21 lwhsu search for other commits by this committer ] Original commit   Revision:346925
- Update to revision 1436

PR:		ports/186512
Submitted by:	arrowdodger <6yearold@gmail.com> (maintainer)
Fri, 20 Sep 2013
[ 20:55 bapt search for other commits by this committer ] Original commit   Revision:327746 (Only the first 10 of 665 ports in this commit are shown above. View all ports for this commit)
Add NO_STAGE all over the place in preparation for the staging support (cat:
math)
Mon, 16 Sep 2013
[ 16:32 bapt search for other commits by this committer ] Original commit   Revision:327411 (Only the first 10 of 18 ports in this commit are shown above. View all ports for this commit)
Convert to new perl framework
Convert USE_GMAKE to USES
Fri, 8 Mar 2013
[ 11:32 bapt search for other commits by this committer ] Original commit   Revision:313635 (Only the first 10 of 209 ports in this commit are shown above. View all ports for this commit)
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 search for other commits by this committer ] Original commit 
Mark as broken on tier-2: uses i386-specific compiler flags.

Hat:            portmgr
Mon, 21 Nov 2011
[ 15:51 sunpoet search for other commits by this committer ] Original commit 
- Add WITH_DEBUG support

PR:             ports/162718
Submitted by:   arrowdodger <6yearold@gmail.com> (maintainer)
Feature safe:   yes
Fri, 11 Nov 2011
[ 06:15 lwhsu search for other commits by this committer ] Original commit 
- 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 search for other commits by this committer ] Original commit  (Only the first 10 of 287 ports in this commit are shown above. View all ports for this commit)
- Switch SourceForge ports to the new File Release System: categories starting
with M
Wed, 24 Dec 2008
[ 20:51 lwhsu search for other commits by this committer ] Original commit 
- Update to 0.1-11-18-2008
Thu, 19 Jun 2008
[ 01:52 lwhsu search for other commits by this committer ] Original commit 
Add stp , a Decision Procedure for Bitvectors and Arrays.

Number of commits found: 47