aboutsummaryrefslogtreecommitdiffstats
path: root/math/cryptominisat
diff options
context:
space:
mode:
authorgerald <gerald@FreeBSD.org>2018-12-12 09:35:33 +0800
committergerald <gerald@FreeBSD.org>2018-12-12 09:35:33 +0800
commit97e78d860783dbeec5f72d4f8581d78b52f954e3 (patch)
tree404c2c9646ff0f64f0fea93eaedcd120dc980500 /math/cryptominisat
parent7476bb1ff088f7acb9b541e9f4c9e4e38747b38c (diff)
downloadfreebsd-ports-gnome-97e78d860783dbeec5f72d4f8581d78b52f954e3.tar.gz
freebsd-ports-gnome-97e78d860783dbeec5f72d4f8581d78b52f954e3.tar.zst
freebsd-ports-gnome-97e78d860783dbeec5f72d4f8581d78b52f954e3.zip
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
Diffstat (limited to 'math/cryptominisat')
-rw-r--r--math/cryptominisat/Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/math/cryptominisat/Makefile b/math/cryptominisat/Makefile
index ac796a0edd5b..0ed97c8e32d8 100644
--- a/math/cryptominisat/Makefile
+++ b/math/cryptominisat/Makefile
@@ -2,7 +2,7 @@
PORTNAME= cryptominisat
DISTVERSION= 5.6.3
-PORTREVISION= 2
+PORTREVISION= 3
CATEGORIES= math
MAINTAINER= arrowd@FreeBSD.org