svn commit: r395800 - branches/2015Q3/math/gringo

[Raphael Kubo da Costa]

Author: rakuco
Date: Tue Sep  1 21:36:30 2015
New Revision: 395800
URL: https://svnweb.freebsd.org/changeset/ports/395800

Log:
  MFH: r395768
  
  Require a C++11-compliant standard library and make it work with GCC < 4.9.
  
  Despite ports r340913, the port still fails to build on FreeBSD 9.3 with
  lang/gcc (GCC 4.8):
  
    libreify/src/parser.cc: In member function 'void Reify::Parser::parseProgram()':
    libreify/src/parser.cc:130:51: error: 'to_string' is not a member of 'std'
  
  Apply a workaround for bug 193528 found in other ports to make that function
  visible to GCC 4.8 (GCC 4.9 and later are fine).
  
  Additionally, the port actually requires a C++11 standard library in
  addition to a C++11-compliant compiler, so adjust the USES line and later
  simplify the process of choosing which compiler to use.
  
  Approved by:	vsevolod (maintainer)
  Differential Revision:	https://reviews.freebsd.org/D3545
  
  Approved by:	portmgr (blanket approval)

Modified:
  branches/2015Q3/math/gringo/Makefile
Directory Properties:
  branches/2015Q3/   (props changed)

Modified: branches/2015Q3/math/gringo/Makefile
==============================================================================
--- branches/2015Q3/math/gringo/Makefile	Tue Sep  1 21:26:44 2015	(r395799)
+++ branches/2015Q3/math/gringo/Makefile	Tue Sep  1 21:36:30 2015	(r395800)
@@ -15,20 +15,17 @@ LICENSE=	GPLv3
 
 BUILD_DEPENDS=	re2c:${PORTSDIR}/devel/re2c
 
-USES=	scons bison compiler:c++11-lang
+USES=		bison compiler:c++11-lib scons
 
 MAKE_ARGS+=	${MAKE_ENV}
 CXXFLAGS+=	-std=c++11
 
-PLIST_FILES=	bin/${PORTNAME}
-
-.include <bsd.port.pre.mk>
+# Unhide std::to_string() with GCC < 4.9 (ports/193528)
+CXXFLAGS+=	-D_GLIBCXX_USE_C99
 
-.if ${OSVERSION} < 1000000
-USE_GCC=	yes
-.endif
+PLIST_FILES=	bin/${PORTNAME}
 
 do-install:
 	${INSTALL_PROGRAM} ${INSTALL_WRKSRC}/build/release/${PORTNAME} ${STAGEDIR}${PREFIX}/bin/${PORTNAME}
 
-.include <bsd.port.post.mk>
+.include <bsd.port.mk>