math/stp2.4.1_2,1

*/*: update boost consumers after boost-1.92

*/*: bump consumers after devel/boost update

math/stp: Use more accurate fix for the TLS problem

Reported by:	kib

math/stp: Update to 2.4.1

Reported by:	portscout!

math/stp: fix build with python 3.12

PR:		285957

devel/boost: bump consumers after boost upgrade (+)

Get rid of direct dependency ob libbost_system.so, use libboost_thread.so instead

devel/boost: bump consumers after Boost update

devel/boost: bump consumers after Boost-1.87 update

Sponsored by:	Future Crew, LLC

devel/boost: bump consu,ers after update Boost to 1.86 release

Sponsored by:	Future Crew, LLC

*/*: bump consumers after devel/boost* update

With hat:	office
Sponsored by:	Future Crew, LLC

math/stp: Update to 2.3.4

Reported by:	portscout!

devel/boost: bump consumers after library update

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

devel/boost*: bump all consumers after 1.83.0

*/*: bump all direct Boost cunsumers

*/*:	bump libboost*.so libraries consumert after Boost upgrade

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)

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.

This commit implements such a proposal and moves one of the WWW: entries
of each pkg-descr file into the respective port's Makefile. A heuristic
attempts to identify the most relevant URL in case there is more than
one WWW: entry in some pkg-descr file. URLs that are not moved into the
Makefile are prefixed with "See also:" instead of "WWW:" in the pkg-descr
files in order to preserve them.

There are 1256 ports that had no WWW: entries in pkg-descr files. These
ports will not be touched in this commit.

The portlint port has been adjusted to expect a WWW entry in each port
Makefile, and to flag any remaining "WWW:" lines in pkg-descr files as
deprecated.

Approved by:		portmgr (tcberner)

*/*: bump all consumers after recent boost upgrade

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
  *  Anton Berezin <tobez@FreeBSD.org>
  *  Anton Berezin <tobez@plab.ku.dk>
  *  Anton Berezin <tobez@tobez.org>
  *  Anton Shterenlikht
  *  Anton Shterenlikht <mexas@bris.ac.uk>
  *  Bob Eager <bob@eager.cx>
  *  Charlie Kester <corky1951@comcast.net>
  *  Cheng-Lung Sung <clsung@FreeBSD.org>
  *  Cheng-Lung Sung <clsung@dragon2.net>
  *  Chris D. Faulhaber <jedgar@fxp.org>
  *  Christopher J. Ruwe
  *  Christopher Key <cjk32@cam.ac.uk>
  *  Chuck Hein <geekdude@pacbell.net>
  *  Cyrille Szymanski <cnszym@gmail.com>
  *  Dan Rue <drue@therub.org>
  *  Danilo Egea Gondolfo <danilo@FreeBSD.org>
  *  David Naylor <dbn@FreeBSD.org>
  *  David Naylor <naylor.b.david@gmail.com>
  *  Dereckson <dereckson@gmail.com>
  *  Devin Teske <dteske@FreeBSD.org>
  *  Dmitry Sivachenko <demon@FreeBSD.org>
  *  Dmitry Sivachenko <mitya@yandex-team.ru>
  *  Don Croyle <croyle@gelemna.org>
  *  Douglas K. Rand (rand@meridian-enviro.com)
  *  Dylan Simon <dylan@dylex.net>
  *  Edwin Groothuis <edwin@mavetju.org>
  *  Eijiro Shibusawa <ej-sib@ice.uec.ac.jp>
  *  Emanuel Haupt <ehaupt@FreeBSD.org>
  *  Eoin Lawless (eoin@maths.tcd.ie)
  *  Eric A. Griff <eagriff@global2000.net>
  *  Eric van Gyzen <vangyzen@stat.duke.edu>
  *  Ewgenij Gawrilow <gawrilow@math.tu-berlin.de>
  *  Fernan Aguero <fernan@iib.unsam.edu.ar>
  *  Foxfair Hu <foxfair@FreeBSD.org>
  *  Frederic Han <han@math.jussieu.fr>
  *  Gabor Kovesdan <gabor@FreeBSD.org>
  *  Gea-Suan Lin <gslin@gslin.org>
  *  George Reid <greid@ukug.uk.freebsd.org>
  *  Giuseppe Pilichi aka Jacula Modyun <jacula@gmail.com>
  *  Greg Larkin <glarkin@FreeBSD.org>
  *  Guangyuan Yang <ygy@FreeBSD.org>
  *  Gustau Perez i Querol <gustau.perez@gmail.com>
  *  Heinz Tschabitscher
  *  Horia Racoviceanu <horia@racoviceanu.com>
  *  Hye-Shik Chang <perky@fallin.lv>
  *  Iblis Lin <iblis@hs.ntnu.edu.tw>
  *  Issei Suzuki <issei@jp.FreeBSD.ORG>
  *  Janni
  *  Jason Harris <jharris@widomaker.com>
  *  Javad Kouhi <javad.kouhi@gmail.com>
  *  Jean-Yves Lefort <jylefort@FreeBSD.org>
  *  Jin-Shan Tseng <tjs@cdpa.nsysu.edu.tw>
  *  Joe Marcus Clarke <marcus@FreeBSD.org>
  *  Johannes Dieterich <dieterich@ogolem.org>
  *  Johannes M Dieterich <jmd@FreeBSD.org>
  *  Johannes Meixner <johannes@perceivon.net>
  *  John Marino <marino@FreeBSD.org>
  *  Joseph Koshy <jkoshy@FreeBSD.org>
  *  Ju Pengfei <ju.pengfei@gmail.com>
  *  Jukka A. Ukkonen <jau@iki.fi>
  *  Kay Lehmann <kay_lehmann@web.de>
  *  Kevin Lo <kevlo@FreeBSD.org>
  *  Klaus T. Aehlig <aehlig@linta.de>
  *  Kubilay Kocak <koobs@FreeBSD.org>
  *  Kurt Jaeger <fbsd-ports@opsec.eu>
  *  Lars Engels <lme@FreeBSD.org>
  *  Lars Koeller <Lars.Koeller@Uni-Bielefeld.DE>
  *  Lars Koeller <Lars.Koeller@Uni-Bielefeld.de>
  *  Li-Wen Hsu <lwhsu@FreeBSD.org>
  *  Li-Wen Hsu <lwhsu@lwhsu.org>
  *  M. L. Dodson, <bdodson@scms.utmb.edu>
  *  Maho Nakata <maho@FreeBSD.org>
  *  Mario S F Ferreira <lioux@FreeBSD.org>
  *  Mario S F Ferreira <lioux@linf.unb.br> et al.
  *  Mario Sergio Fujikawa Ferreira <lioux@FreeBSD.org>
  *  Mark Felder <feld@FreeBSD.org>
  *  Mark R V Murray <markm@FreeBSD.org>
  *  Martin Matuska <mm@FreeBSD.org>
  *  Matthew Seaman <matthew@FreeBSD.org>
  *  Maurice Castro <maurice@serc.rmit.edu.au>
  *  Maxim Sobolev <sobomax@FreeBSD.org>
  *  Maxime Henrion <mux@FreeBSD.org>
  *  Michael Haro <mharo@FreeBSD.org>
  *  Michael Johnson <ahze@FreeBSD.org>
  *  Michael Johnson <ahze@ahze.net>
  *  Michael Neumann <mneumann@ntecs.de>
  *  Muhammad Moinur Rahmanh <5u623l20@gmail.com>
  *  NAKATA Maho <chat95@mbox.kyoto-inet.or.jp>
  *  NAKATA, Maho <maho@FreeBSD.org>
  *  Nakata Maho <maho@FreeBSD.org>
  *  Nicola Vitale <nivit@email.it>
  *  Olivier Duchateau
  *  Pedro F. Giffuni
  *  Pedro F. Giffuni <giffunip@asme.org>
  *  Pedro Giffuni
  *  Pedro Giffuni <giffunip@asme.org>
  *  Pedro Giffuni <pfg@FreeBSD.org>
  *  Peter Pentchev <roam@FreeBSD.org>
  *  Philip Paeps <philip@FreeBSD.org>
  *  Pierre-Paul Lavoie <ppl@nbnet.nb.ca>
  *  Pietro Cerutti <gahr@FreeBSD.org>
  *  Piotr Rybicki <meritus@innervision.pl>
  *  Po-Chuan Hsieh <sunpoet@FreeBSD.org>
  *  Rainer Hurling <rhurlin@gwdg.de>
  *  Robert Jenssen
  *  Robin Schilham
  *  Rod Taylor <ports@rbt.ca>
  *  Roman Neuhauser <neuhauser@sigpipe.cz>
  *  Sander Vesik <sander@haldjas.folklore.ee>
  *  Scott Flatman <sf@dsinw.com>
  *  Seamus Venasse <svenasse@polaris.ca>
  *  Sergey A. Osokin <osa@FreeBSD.org>
  *  Sergey Akifyev <asa@agava.com>
  *  Sergey Akifyev <asa@gascom.ru>
  *  Sergey Skvortsov <skv@FreeBSD.org>
  *  Sergey Skvortsov <skv@protey.ru>
  *  Shell Hung <shell@shellhung.org>
  *  Shin-ya MURAKAMI <murashin@gfd-dennou.org>
  *  Stas Timokhin <devel@stasyan.com>
  *  Stefan A. Deutscher (sad@mailaps.org)
  *  Stefan Esser <se@StefanEsser.FreeBSD.org>
  *  Stephen Montgomery-Smith <stephen@FreeBSD.edu>
  *  Stephen Montgomery-Smith <stephen@FreeBSD.org>
  *  Stephen Montgomery-Smith <stephen@math.missouri.edu>
  *  Stephen Montgomery-Smith <stephen@missouri.edu>
  *  Steve Wills <steve@mouf.net>
  *  Steve Wills <swills@FreeBSD.org>
  *  Steven Kreuzer <skreuzer@FreeBSD.org>
  *  Steven Kreuzer <skreuzer@f2o.org>
  *  Sunpoet Po-Chuan Hsieh <sunpoet@FreeBSD.org>
  *  TAKATSU Tomonari <tota@FreeBSD.org>
  *  Thierry Thomas (<thierry@pompo.net>)
  *  Thierry Thomas <thierry@pompo.net>
  *  Thomas Gellekum <tg@FreeBSD.org>
  *  Thomas Sandford <freebsduser@paradisegreen.co.uk>
  *  Timothy Bourke <timbob@bigpond.com>
  *  Tony Maher
  *  Tz-Huan Huang <tzhuan@csie.org>
  *  Vsevolod Stakhov <vsevolod@FreeBSD.org>
  *  Vsevolod Stakhov <vsevolod@highsecure.ru>
  *  Waitman Gobble <waitman@waitman.net>
  *  Wen Heping <wen@FreeBSD.org>
  *  Wen Heping <wenheping@gmail.com>
  *  Will Andrews <andrews@technologist.com>
  *  Yi-Hsuan Hsin <mhsin@mhsin.org>
  *  Ying-Chieh Liao <ijliao@FreeBSD.org>
  *  Yinghong.Liu <relaxbsd@gmail.com>
  *  Yoshiaki UCHIKAWA <yoshiaki@kt.rim.or.jp>
  *  Yukihiro Nakai <Nakai@technologist.com>
  *  Yuri Victorovich <yuri@FreeBSD.org>
  *  Yuri Victorovich <yuri@rawbw.com>
  *  Yuri Victorovich <yuri@tsoft.com>
  *  Zhen REN <bg1tpt@gmail.com>
  *  amir.husaini@gmail.com
  *  arved
  *  asami
  *  b.f. <bf@FreeBSD.org>
  *  bart <lbartoletti@FreeBSD.org>
  *  bauerm
  *  bf <bf2006a@yahoo.com>
  *  bf <bf@FreeBSD.org>
  *  bf@FreeBSD.org
  *  bremner@unb.ca
  *  chinsan
  *  chuckr@FreeBSD.org
  *  dawe <daweonline@gmail.com>
  *  dbader@ece.unm.edu
  *  dd
  *  demon@FreeBSD.org
  *  dikshie
  *  eserte
  *  fenner
  *  gahr
  *  giffunip
  *  gmarco@giovannelli.it
  *  gurkan@phys.ethz.ch
  *  ijliao
  *  janek@gaja.ipan.lublin.pl
  *  jhs@berklix.com / asami (original)
  *  jmz
  *  js@jeannot.org
  *  keith@FreeBSD.org
  *  ljo
  *  mr
  *  nobu@rd.isac.co.jp
  *  pauls@utdallas.edu
  *  pusto@web.de
  *  reg@shale.csir.co.za
  *  rfarmer@predatorlabs.net
  *  stephen@FreeBSD.org
  *  thierry@pompo.net
  *  tobez
  *  will
  * # Created by Matthias Fechner <mfechner@FreeBSD.org>

With hat:	portmgr

devel/boost-all: bump all library consumers after boost upgrade

PR:	246106

Remove # $FreeBSD$ from Makefiles.

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)

math/cryptominisat and math/py-cryptominisat: Update to 5.7.1

Bump PORTREVISIONs of consumer ports.

math/stp and math/cryptominisat: Use correct patch (at STP side) for specifying dependency on cryptomisat.

math/cryptominisat: Add patch to fix CMake config file. Bump math/stp, as it was affected by this issue.

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

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

math/stp: Update WWW in pkg-descr.

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

math/stp: Update to 2.3.3.

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

Bump a few PORTREVISIONs after r498529

With hat:	portmgr

math/stp: Update to 2.3.2.

Approved by:	tcberner (mentor)
Differential Revision:	https://reviews.freebsd.org/D19305

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

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

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

Add compiler:c++11-lang to USES to fix linking with boost.

Approved by:	portmgr (tier-2 blanket)

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

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

math/stp: Update to latest 2.3.1 version.

Approved by:	tcberner (mentor)
Differential Revision:	https://reviews.freebsd.org/D16286

Mark ports broken on powerpc64, categories g-n.

While here, pet portlint and do some other cleanup.

Approved by:	portmgr (tier-2 blanket)

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

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

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

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

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

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

Mark various ports broken on aarch64 and armv6.

Approved by:	portmgr (tier-2 blanket)

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