Skip site navigation (1)Skip section navigation (2)
Date:      Thu, 5 Dec 2019 00:57:35 +0000 (UTC)
From:      Mark Linimon <linimon@FreeBSD.org>
To:        ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org
Subject:   svn commit: r519058 - head/math/cadical
Message-ID:  <201912050057.xB50vZbl039318@repo.freebsd.org>

next in thread | raw e-mail | index | archive | help
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



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201912050057.xB50vZbl039318>