From owner-svn-ports-all@freebsd.org Tue Apr 30 14:39:37 2019 Return-Path: Delivered-To: svn-ports-all@mailman.ysv.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.ysv.freebsd.org (Postfix) with ESMTP id 9944E1593CBD; Tue, 30 Apr 2019 14:39:37 +0000 (UTC) (envelope-from 6yearold@gmail.com) Received: from mail-pl1-f169.google.com (mail-pl1-f169.google.com [209.85.214.169]) (using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits) server-signature RSA-PSS (4096 bits) client-signature RSA-PSS (2048 bits) client-digest SHA256) (Client CN "smtp.gmail.com", Issuer "GTS CA 1O1" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 0561C74DD7; Tue, 30 Apr 2019 14:39:36 +0000 (UTC) (envelope-from 6yearold@gmail.com) Received: by mail-pl1-f169.google.com with SMTP id w24so6843656plp.2; Tue, 30 Apr 2019 07:39:36 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=d9VqlDwY3c4ZrpaXfTdsxYHersqdkDJbUgBN9FOSCx0=; b=nA1DhAB8zEOB5OMDRIqBhECbo2OSG9wPWRi2O3DHTL9RL8L5n0FDqsNThuNCgaHpga ltxYA9QwqEBRjH+4QzNdT1T3NNkz0t5PP8e6h60QE3m3OGw1IPrGPhG2wxzRCFyExPrI kz4F/1OLsp+zqKzbVjxs09PcUEHIhnoY5kuz1OmQY4Ef1Uk5HOlkTUuqjz12AUu0Ns5m iJD9WX2l0EusYCVLgMpQRpzXZDK8ANLxvQF2/6a+NUSYJftzpQTv+22lktP7ddmvDPCy jj35HzAZWT/rU6cPL5/nGMC1460FlVtR7A1F/qKGOuU7Md4uuTTrd906R6GRCZKLjukb 0EUQ== X-Gm-Message-State: APjAAAVV0I6tCs2AaoSL7m4F60bDn1mIGrQmLr7mQwbTIuHlsVw0ZxCv dXPv9x0rU38NLKQ5Z0QkI+mlQJty X-Google-Smtp-Source: APXvYqxCwMV9+mrVffgNT9ncH5xSMCeaKJflGgC0qr2qKj7NEKS1ROeEa9iS2E73MQx1FNnx/DCA0g== X-Received: by 2002:a17:902:2bca:: with SMTP id l68mr4732844plb.301.1556635169343; Tue, 30 Apr 2019 07:39:29 -0700 (PDT) Received: from mail-pl1-f182.google.com (mail-pl1-f182.google.com. [209.85.214.182]) by smtp.gmail.com with ESMTPSA id 63sm6740197pfe.140.2019.04.30.07.39.29 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Tue, 30 Apr 2019 07:39:29 -0700 (PDT) Received: by mail-pl1-f182.google.com with SMTP id x15so6825267pln.9; Tue, 30 Apr 2019 07:39:29 -0700 (PDT) X-Received: by 2002:a17:902:4101:: with SMTP id e1mr71788608pld.25.1556635168963; Tue, 30 Apr 2019 07:39:28 -0700 (PDT) MIME-Version: 1.0 References: <201904301429.x3UETKUD077864@repo.freebsd.org> In-Reply-To: <201904301429.x3UETKUD077864@repo.freebsd.org> From: Gleb Popov Date: Tue, 30 Apr 2019 18:39:02 +0400 X-Gmail-Original-Message-ID: Message-ID: Subject: Re: svn commit: r500497 - head/security/klee To: Piotr Kubaj Cc: svn-ports-all@freebsd.org, svn-ports-head@freebsd.org X-Rspamd-Queue-Id: 0561C74DD7 X-Spamd-Bar: ------ Authentication-Results: mx1.freebsd.org X-Spamd-Result: default: False [-6.99 / 15.00]; NEURAL_HAM_MEDIUM(-1.00)[-1.000,0]; NEURAL_HAM_LONG(-1.00)[-1.000,0]; REPLY(-4.00)[]; NEURAL_HAM_SHORT(-0.99)[-0.989,0] Content-Type: text/plain; charset="UTF-8" X-Content-Filtered-By: Mailman/MimeDel 2.1.29 X-BeenThere: svn-ports-all@freebsd.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: SVN commit messages for the ports tree List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 30 Apr 2019 14:39:37 -0000 On Tue, Apr 30, 2019 at 6:29 PM Piotr Kubaj 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.