diff options
author | Gerald Pfeifer <gerald@FreeBSD.org> | 2014-03-10 20:55:20 +0000 |
---|---|---|
committer | Gerald Pfeifer <gerald@FreeBSD.org> | 2014-03-10 20:55:20 +0000 |
commit | 1cd277bdcecf80f1b3c00ed15ff1c9e707024607 (patch) | |
tree | 8b56d1724c64bf5dd76ae2dcec17c58fb797e8e1 /net/openmpi-devel/Makefile | |
parent | Update the default version of GCC used in the Ports Collection from (diff) |
Update the default version of GCC used in the Ports Collection from
GCC 4.6.4 to GCC 4.7.3. This entails updating the lang/gcc port as
well as changing the default in Mk/bsd.default-versions.mk.
Part II, Bump PORTREVISIONs.
PR: 182136
Supported by: Christoph Moench-Tegeder <cmt@burggraben.net> (fixing many ports)
Tested by: bdrewery (two -exp runs)
Diffstat (limited to 'net/openmpi-devel/Makefile')
-rw-r--r-- | net/openmpi-devel/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/net/openmpi-devel/Makefile b/net/openmpi-devel/Makefile index 337588158e82..79e4b10af328 100644 --- a/net/openmpi-devel/Makefile +++ b/net/openmpi-devel/Makefile @@ -3,6 +3,7 @@ PORTNAME= openmpi DISTVERSION= 1.7.3 +PORTREVISION= 1 CATEGORIES= net parallel MASTER_SITES= http://www.open-mpi.org/software/ompi/v1.7/downloads/ PKGNAMESUFFIX= -devel |