diff options
author | Gerald Pfeifer <gerald@FreeBSD.org> | 2018-12-12 09:35:33 +0800 |
---|---|---|
committer | Gerald Pfeifer <gerald@FreeBSD.org> | 2018-12-12 09:35:33 +0800 |
commit | a9f015d155018758628ec8858a3d05e162673f67 (patch) | |
tree | 404c2c9646ff0f64f0fea93eaedcd120dc980500 /lang/mlton | |
parent | af8af6976396d69ceebeff1fd9ca5d74d8394c7b (diff) | |
download | freebsd-ports-gnome-a9f015d155018758628ec8858a3d05e162673f67.tar.gz freebsd-ports-gnome-a9f015d155018758628ec8858a3d05e162673f67.tar.zst freebsd-ports-gnome-a9f015d155018758628ec8858a3d05e162673f67.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 'lang/mlton')
-rw-r--r-- | lang/mlton/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lang/mlton/Makefile b/lang/mlton/Makefile index e7a1f6d6a5c5..dcc45a339fd0 100644 --- a/lang/mlton/Makefile +++ b/lang/mlton/Makefile @@ -12,7 +12,7 @@ PORTNAME= mlton PORTVERSION= 20100608 -PORTREVISION= 6 +PORTREVISION= 7 CATEGORIES= lang MASTER_SITES= SF http://www.tbrk.org/distfiles/ DISTFILES= ${SRC_DIST} ${BOOT_DIST} |