From owner-freebsd-ports-bugs@freebsd.org Mon Jul 23 18:18:16 2018 Return-Path: Delivered-To: freebsd-ports-bugs@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 79E341051B87 for ; Mon, 23 Jul 2018 18:18:16 +0000 (UTC) (envelope-from bugzilla-noreply@freebsd.org) Received: from mailman.ysv.freebsd.org (mailman.ysv.freebsd.org [IPv6:2001:1900:2254:206a::50:5]) by mx1.freebsd.org (Postfix) with ESMTP id 04C6288B28 for ; Mon, 23 Jul 2018 18:18:16 +0000 (UTC) (envelope-from bugzilla-noreply@freebsd.org) Received: by mailman.ysv.freebsd.org (Postfix) id AAC521051B86; Mon, 23 Jul 2018 18:18:15 +0000 (UTC) Delivered-To: ports-bugs@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 804C11051B85 for ; Mon, 23 Jul 2018 18:18:15 +0000 (UTC) (envelope-from bugzilla-noreply@freebsd.org) Received: from mxrelay.ysv.freebsd.org (mxrelay.ysv.freebsd.org [IPv6:2001:1900:2254:206a::19:3]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client CN "mxrelay.ysv.freebsd.org", Issuer "Let's Encrypt Authority X3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id E305888B27 for ; Mon, 23 Jul 2018 18:18:14 +0000 (UTC) (envelope-from bugzilla-noreply@freebsd.org) Received: from kenobi.freebsd.org (kenobi.freebsd.org [IPv6:2001:1900:2254:206a::16:76]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mxrelay.ysv.freebsd.org (Postfix) with ESMTPS id F1979D009 for ; Mon, 23 Jul 2018 18:18:13 +0000 (UTC) (envelope-from bugzilla-noreply@freebsd.org) Received: from kenobi.freebsd.org ([127.0.1.118]) by kenobi.freebsd.org (8.15.2/8.15.2) with ESMTP id w6NIIDSJ064303 for ; Mon, 23 Jul 2018 18:18:13 GMT (envelope-from bugzilla-noreply@freebsd.org) Received: (from www@localhost) by kenobi.freebsd.org (8.15.2/8.15.2/Submit) id w6NIIDfR064290 for ports-bugs@FreeBSD.org; Mon, 23 Jul 2018 18:18:13 GMT (envelope-from bugzilla-noreply@freebsd.org) X-Authentication-Warning: kenobi.freebsd.org: www set sender to bugzilla-noreply@freebsd.org using -f From: bugzilla-noreply@freebsd.org To: ports-bugs@FreeBSD.org Subject: [Bug 229987] math/cvc4: After commit of ports r475115 'make describe' causes warning messages Date: Mon, 23 Jul 2018 18:18:11 +0000 X-Bugzilla-Reason: AssignedTo X-Bugzilla-Type: new X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: Ports & Packages X-Bugzilla-Component: Individual Port(s) X-Bugzilla-Version: Latest X-Bugzilla-Keywords: X-Bugzilla-Severity: Affects Some People X-Bugzilla-Who: yasu@utahime.org X-Bugzilla-Status: New X-Bugzilla-Resolution: X-Bugzilla-Priority: --- X-Bugzilla-Assigned-To: ports-bugs@FreeBSD.org X-Bugzilla-Flags: maintainer-feedback? X-Bugzilla-Changed-Fields: bug_id short_desc product version rep_platform op_sys bug_status bug_severity priority component assigned_to reporter cc flagtypes.name Message-ID: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Bugzilla-URL: https://bugs.freebsd.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 X-BeenThere: freebsd-ports-bugs@freebsd.org X-Mailman-Version: 2.1.27 Precedence: list List-Id: Ports bug reports List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Mon, 23 Jul 2018 18:18:16 -0000 https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=3D229987 Bug ID: 229987 Summary: math/cvc4: After commit of ports r475115 'make describe' causes warning messages Product: Ports & Packages Version: Latest Hardware: Any OS: Any Status: New Severity: Affects Some People Priority: --- Component: Individual Port(s) Assignee: ports-bugs@FreeBSD.org Reporter: yasu@utahime.org CC: greg@unrelenting.technology CC: greg@unrelenting.technology Flags: maintainer-feedback?(greg@unrelenting.technology) After commit of ports r475115 'make describe' causes warning messages as following. yasu@eastasia[2045]% pwd /usr0/freebsd/ports/head.test/math/cvc4 yasu@eastasia[2046]% svnversion 475184 yasu@eastasia[2047]% make PORTSDIR=3D/usr0/freebsd/ports/head.test describe sh: clang60: not found make: "/usr0/freebsd/ports/head.test/Mk/Uses/compiler.mk" line 78: warning: "clang60 --version" returned non-zero status make: "/usr0/freebsd/ports/head.test/Mk/Uses/compiler.mk" line 133: warning: "clang++60 -### /dev/null 2>&1" returned non-zero status cvc4-1.6|/usr0/freebsd/ports/head.test/math/cvc4|/usr/local|Automatic theor= em prover for SMT (Satisfiability Modulo Theories) |/usr0/freebsd/ports/head.test/math/cvc4/pkg-descr|greg@unrelenting.technol= ogy|math java||||/usr0/freebsd/ports/head.test/devel/antlr3 /usr0/freebsd/ports/head.test/devel/autoconf /usr0/freebsd/ports/head.test/devel/automake /usr0/freebsd/ports/head.test/devel/boost-libs /usr0/freebsd/ports/head.test/devel/gmake /usr0/freebsd/ports/head.test/devel/libantlr3c /usr0/freebsd/ports/head.test/devel/libtool /usr0/freebsd/ports/head.test/devel/llvm60 /usr0/freebsd/ports/head.test/devel/pkgconf /usr0/freebsd/ports/head.test/devel/readline /usr0/freebsd/ports/head.test/java/openjdk8 /usr0/freebsd/ports/head.test/lang/python37 /usr0/freebsd/ports/head.test/math/cryptominisat /usr0/freebsd/ports/head.test/math/gmp /usr0/freebsd/ports/head.test/shells/bash|/usr0/freebsd/ports/head.test/dev= el/boost-libs /usr0/freebsd/ports/head.test/devel/libantlr3c /usr0/freebsd/ports/head.test/devel/readline /usr0/freebsd/ports/head.test/math/cryptominisat /usr0/freebsd/ports/head.test/math/gmp|https://cvc4.cs.stanford.edu/web/ yasu@eastasia[2048]% svn update -r 475114 Updating '.': U Makefile U distinfo D files/patch-configure.ac D files/patch-config_cryptominisat.m4 U files/patch-src_base_configuration.cpp U pkg-plist Updated to revision 475114. yasu@eastasia[2049]% make PORTSDIR=3D/usr0/freebsd/ports/head.test describe cvc4-1.5|/usr0/freebsd/ports/head.test/math/cvc4|/usr/local|Automatic theor= em prover for SMT (Satisfiability Modulo Theories)|/usr0/freebsd/ports/head.test/math/cvc4/pkg-descr|greg@unrelentin= g.technology|math java||||/usr0/freebsd/ports/head.test/devel/antlr3 /usr0/freebsd/ports/head.test/devel/boost-libs /usr0/freebsd/ports/head.test/devel/gmake /usr0/freebsd/ports/head.test/devel/libantlr3c /usr0/freebsd/ports/head.test/devel/pkgconf /usr0/freebsd/ports/head.test/devel/readline /usr0/freebsd/ports/head.test/java/openjdk8 /usr0/freebsd/ports/head.test/math/gmp /usr0/freebsd/ports/head.test/shells/bash /usr0/freebsd/ports/head.test/sysutils/coreutils|/usr0/freebsd/ports/head.t= est/devel/boost-libs /usr0/freebsd/ports/head.test/devel/libantlr3c /usr0/freebsd/ports/head.test/devel/readline /usr0/freebsd/ports/head.test/math/gmp|https://cvc4.cs.stanford.edu/web/ yasu@eastasia[2050]% svn update -r 475115 Updating '.': U Makefile U distinfo A files/patch-config_cryptominisat.m4 A files/patch-configure.ac U files/patch-src_base_configuration.cpp U pkg-plist Updated to revision 475115. yasu@eastasia[2051]% make PORTSDIR=3D/usr0/freebsd/ports/head.test describe sh: clang60: not found make: "/usr0/freebsd/ports/head.test/Mk/Uses/compiler.mk" line 78: warning: "clang60 --version" returned non-zero status make: "/usr0/freebsd/ports/head.test/Mk/Uses/compiler.mk" line 133: warning: "clang++60 -### /dev/null 2>&1" returned non-zero status cvc4-1.6|/usr0/freebsd/ports/head.test/math/cvc4|/usr/local|Automatic theor= em prover for SMT (Satisfiability Modulo Theories) |/usr0/freebsd/ports/head.test/math/cvc4/pkg-descr|greg@unrelenting.technol= ogy|math java||||/usr0/freebsd/ports/head.test/devel/antlr3 /usr0/freebsd/ports/head.test/devel/autoconf /usr0/freebsd/ports/head.test/devel/automake /usr0/freebsd/ports/head.test/devel/boost-libs /usr0/freebsd/ports/head.test/devel/gmake /usr0/freebsd/ports/head.test/devel/libantlr3c /usr0/freebsd/ports/head.test/devel/libtool /usr0/freebsd/ports/head.test/devel/llvm60 /usr0/freebsd/ports/head.test/devel/pkgconf /usr0/freebsd/ports/head.test/devel/readline /usr0/freebsd/ports/head.test/java/openjdk8 /usr0/freebsd/ports/head.test/lang/python37 /usr0/freebsd/ports/head.test/math/cryptominisat /usr0/freebsd/ports/head.test/math/gmp /usr0/freebsd/ports/head.test/shells/bash|/usr0/freebsd/ports/head.test/dev= el/boost-libs /usr0/freebsd/ports/head.test/devel/libantlr3c /usr0/freebsd/ports/head.test/devel/readline /usr0/freebsd/ports/head.test/math/cryptominisat /usr0/freebsd/ports/head.test/math/gmp|https://cvc4.cs.st anford.edu/web/ yasu@eastasia[2052]% --=20 You are receiving this mail because: You are the assignee for the bug.=