Date: Mon, 23 Jul 2018 18:18:11 +0000 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 Message-ID: <bug-229987-7788@https.bugs.freebsd.org/bugzilla/>
next in thread | raw e-mail | index | archive | help
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.=
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?bug-229987-7788>