svn commit: r519058 - head/math/cadical

[Mark Linimon]

Author: linimon
Date: Thu Dec  5 00:57:34 2019
New Revision: 519058
URL: https://svnweb.freebsd.org/changeset/ports/519058

Log:
  Attempt to fix failure on GCC-based systems:
  
    configure: error: compiler does not support C99/C++0x even with '-std=c++0x'
  
  This is necessary but not sufficient.
  
  Approved by:	portmgr (tier-2 blanket)

Modified:
  head/math/cadical/Makefile

Modified: head/math/cadical/Makefile
==============================================================================
--- head/math/cadical/Makefile	Thu Dec  5 00:52:52 2019	(r519057)
+++ head/math/cadical/Makefile	Thu Dec  5 00:57:34 2019	(r519058)
@@ -13,7 +13,7 @@ COMMENT=	Simple CDCL satisfiability solver
 LICENSE=	MIT
 LICENSE_FILE=	${WRKSRC}/LICENSE
 
-USES=		gmake tar:xz
+USES=		compiler:c++0x gmake tar:xz
 GNU_CONFIGURE=	yes
 
 CXXFLAGS+=	-fPIC