[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