[Bug 229987] math/cvc4: After commit of ports r475115 'make describe' causes warning messages
bugzilla-noreply at freebsd.org
bugzilla-noreply at freebsd.org
Mon Jul 23 18:18:16 UTC 2018
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=229987
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 at FreeBSD.org
Reporter: yasu at utahime.org
CC: greg at unrelenting.technology
CC: greg at unrelenting.technology
Flags: maintainer-feedback?(greg at unrelenting.technology)
After commit of ports r475115 'make describe' causes warning messages as
following.
yasu at eastasia[2045]% pwd
/usr0/freebsd/ports/head.test/math/cvc4
yasu at eastasia[2046]% svnversion
475184
yasu at eastasia[2047]% make PORTSDIR=/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 theorem
prover for SMT (Satisfiability Modulo Theories)
|/usr0/freebsd/ports/head.test/math/cvc4/pkg-descr|greg at unrelenting.technology|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/devel/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 at 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 at eastasia[2049]% make PORTSDIR=/usr0/freebsd/ports/head.test describe
cvc4-1.5|/usr0/freebsd/ports/head.test/math/cvc4|/usr/local|Automatic theorem
prover for SMT (Satisfiability Modulo
Theories)|/usr0/freebsd/ports/head.test/math/cvc4/pkg-descr|greg at unrelenting.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.test/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 at 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 at eastasia[2051]% make PORTSDIR=/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 theorem
prover for SMT (Satisfiability Modulo Theories)
|/usr0/freebsd/ports/head.test/math/cvc4/pkg-descr|greg at unrelenting.technology|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/devel/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 at eastasia[2052]%
--
You are receiving this mail because:
You are the assignee for the bug.
More information about the freebsd-ports-bugs
mailing list