ports/math/cryptominisat, branch 2021Q1 FreeBSD ports tree https://cgit-dev.freebsd.org/ports/atom?h=2021Q1 2020-10-19T14:59:18Z math/cryptominisat and math/py-cryptominisat: Update to 5.8.0. 2020-10-19T14:59:18Z Gleb Popov arrowd@FreeBSD.org 2020-10-19T14:59:18Z urn:sha1:a9aa316ecb989f2bf9e35c4d0312a4752882e38a Enable M4RI functionality, thanks to thierry@ for adding the port. math/cryptominisat and math/py-cryptominisat: Update to 5.7.1 2020-07-09T15:44:39Z Gleb Popov arrowd@FreeBSD.org 2020-07-09T15:44:39Z urn:sha1:16693b1f60db483d3e9dc22c01278f324f3c99f2 Bump PORTREVISIONs of consumer ports. math/stp and math/cryptominisat: Use correct patch (at STP side) for specifying dependency on 2020-03-27T14:59:07Z Gleb Popov arrowd@FreeBSD.org 2020-03-27T14:59:07Z urn:sha1:3086d6bc157f013c7f5ad8f74f87bfa4c4f6d925 cryptomisat. math/cryptominisat: Add patch to fix CMake config file. Bump math/stp, as it was affected by this issue. 2020-03-04T18:03:42Z Gleb Popov arrowd@FreeBSD.org 2020-03-04T18:03:42Z urn:sha1:11026f3b38dbe83fd75f79f037dced848844b1ed devel/boost-*: update to 1.72.0 2019-12-11T17:53:48Z Jan Beich jbeich@FreeBSD.org 2019-12-11T17:53:48Z urn:sha1:701aa3bcf8f940635c21058703c134eb101540de 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 2019-08-19T15:35:27Z Jan Beich jbeich@FreeBSD.org 2019-08-19T15:35:27Z urn:sha1:befa71e0f350a045c0cf26d1871f91c6c453546a 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 Bump PORTREVISION for ports depending on the canonical version of GCC 2019-07-26T20:46:53Z Gerald Pfeifer gerald@FreeBSD.org 2019-07-26T20:46:53Z urn:sha1:ea8c8ec7da96df12146a2cc428077258141791cf 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 devel/boost-*: update to 1.70.0 2019-04-12T06:36:31Z Jan Beich jbeich@FreeBSD.org 2019-04-12T06:36:31Z urn:sha1:9b21a3a084c9a5c4e8ad95b5e1dcac3dc835998b 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 math/cryptominisat and math/py-cryptominisat to 5.6.8. 2019-02-23T16:31:47Z Gleb Popov arrowd@FreeBSD.org 2019-02-23T16:31:47Z urn:sha1:a2f89c90f506f0f4e9114469afe75723f1a03136 Approved by: tcberner (mentor) Differential Revision: https://reviews.freebsd.org/D19302 Change cmake default behaviour to outsource. 2018-12-25T20:25:39Z Tobias C. Berner tcberner@FreeBSD.org 2018-12-25T20:25:39Z urn:sha1:707c6bf295fc3955c86c9244533c1524bb7dea15 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