Date: Tue, 30 Apr 2019 18:39:02 +0400 From: Gleb Popov <arrowd@freebsd.org> To: Piotr Kubaj <pkubaj@freebsd.org> Cc: svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: Re: svn commit: r500497 - head/security/klee Message-ID: <CALH631nAfffNa0O8cCoWMq_HiwPBY=WUmF-8EL8eWx9B5KioTg@mail.gmail.com> In-Reply-To: <201904301429.x3UETKUD077864@repo.freebsd.org> References: <201904301429.x3UETKUD077864@repo.freebsd.org>
next in thread | previous in thread | raw e-mail | index | archive | help
On Tue, Apr 30, 2019 at 6:29 PM Piotr Kubaj <pkubaj@freebsd.org> wrote: > Author: pkubaj > Date: Tue Apr 30 14:29:20 2019 > New Revision: 500497 > URL: https://svnweb.freebsd.org/changeset/ports/500497 > > Log: > security/klee: fix build with GCC-based architectures > > Add USES=compiler:c++14-lang to fix build on GCC architectures: > Make Error in lib/Basic/CMakeLists.txt: > Target "kleeBasic" requires the language dialect "CXX14" (with compiler > extensions), but CMake does not know the compile flags to use to > enable it. > > PR: 237623 > Approved by: arrowd (maintainer), mat (mentor) > Differential Revision: https://reviews.freebsd.org/D20088 > > Modified: > head/security/klee/Makefile > > Modified: head/security/klee/Makefile > > ============================================================================== > --- head/security/klee/Makefile Tue Apr 30 14:26:31 2019 (r500496) > +++ head/security/klee/Makefile Tue Apr 30 14:29:20 2019 (r500497) > @@ -17,7 +17,8 @@ BUILD_DEPENDS= > llvm-config${LLVM_DEFAULT}:devel/llvm${ > RUN_DEPENDS= llvm-config${LLVM_DEFAULT}:devel/llvm${LLVM_DEFAULT} \ > ${PYTHON_PKGNAMEPREFIX}tabulate>0:devel/py-tabulate@ > ${PY_FLAVOR} > > -USES= cmake localbase pkgconfig python:3.5+,run shebangfix > +USES= cmake compiler:c++14-lang localbase pkgconfig > python:3.5+,run \ > + shebangfix > USE_GITHUB= yes > SHEBANG_FILES= tools/klee-stats/klee-stats tools/ktest-tool/ktest-tool > USE_LDCONFIG= yes > > I have an account on our Phab, so you can add @arrowd to reviewers there.
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?CALH631nAfffNa0O8cCoWMq_HiwPBY=WUmF-8EL8eWx9B5KioTg>