diff options
| author | gerald <gerald@FreeBSD.org> | 2018-12-12 09:35:33 +0800 |
|---|---|---|
| committer | gerald <gerald@FreeBSD.org> | 2018-12-12 09:35:33 +0800 |
| commit | 97e78d860783dbeec5f72d4f8581d78b52f954e3 (patch) | |
| tree | 404c2c9646ff0f64f0fea93eaedcd120dc980500 /devel/smv | |
| parent | 7476bb1ff088f7acb9b541e9f4c9e4e38747b38c (diff) | |
| download | freebsd-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 'devel/smv')
| -rw-r--r-- | devel/smv/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/devel/smv/Makefile b/devel/smv/Makefile index c736c1b3f0f0..f019e933aa54 100644 --- a/devel/smv/Makefile +++ b/devel/smv/Makefile @@ -3,7 +3,7 @@ PORTNAME= smv PORTVERSION= 2.5.4.3 -PORTREVISION= 7 +PORTREVISION= 8 CATEGORIES= devel MASTER_SITES= http://www.cs.cmu.edu/~modelcheck/smv/ DISTNAME= ${PORTNAME}.r${PORTVERSION} |