diff options
| author | gerald <gerald@FreeBSD.org> | 2019-07-27 04:46:53 +0800 |
|---|---|---|
| committer | gerald <gerald@FreeBSD.org> | 2019-07-27 04:46:53 +0800 |
| commit | 4a344e94972b109670f45f04efe4002b50981676 (patch) | |
| tree | 4948f43cc5526726a30e3663b43b32a1dd49399a /math/cvc3 | |
| parent | 90f0afe18e4cc1cbc3e1303ad73b0733d12a92ed (diff) | |
| download | freebsd-ports-gnome-4a344e94972b109670f45f04efe4002b50981676.tar.gz freebsd-ports-gnome-4a344e94972b109670f45f04efe4002b50981676.tar.zst freebsd-ports-gnome-4a344e94972b109670f45f04efe4002b50981676.zip | |
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
Diffstat (limited to 'math/cvc3')
| -rw-r--r-- | math/cvc3/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/math/cvc3/Makefile b/math/cvc3/Makefile index 26d00984bf10..0a161e978adf 100644 --- a/math/cvc3/Makefile +++ b/math/cvc3/Makefile @@ -3,7 +3,7 @@ PORTNAME= cvc3 PORTVERSION= 2.4.1 -PORTREVISION= 6 +PORTREVISION= 7 CATEGORIES= math MASTER_SITES= http://www.cs.nyu.edu/acsys/cvc3/download/${PORTVERSION}/ |