Bug 229987 - math/cvc4: After commit of ports r475115 'make describe' causes warning messages
Summary: math/cvc4: After commit of ports r475115 'make describe' causes warning messages
Status: Closed FIXED
Alias: None
Product: Ports & Packages
Classification: Unclassified
Component: Individual Port(s) (show other bugs)
Version: Latest
Hardware: Any Any
: --- Affects Some People
Assignee: Yuri Victorovich
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2018-07-23 18:18 UTC by Yasuhiro Kimura
Modified: 2018-07-23 18:52 UTC (History)
2 users (show)

See Also:
bugzilla: maintainer-feedback? (val)


Attachments

Note You need to log in before you can comment on or make changes to this bug.
Description Yasuhiro Kimura freebsd_committer freebsd_triage 2018-07-23 18:18:11 UTC
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=/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@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@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=/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@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@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=/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@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@eastasia[2052]%
Comment 1 Val Packett 2018-07-23 18:27:59 UTC
Hm. Pinging yuri@ — I guess we don't need USES=compiler at all when we're setting the compiler explicitly. (I originally wanted to only use the explicit clang conditionally on FreeBSD10, but consistency is good I guess)
Comment 2 commit-hook freebsd_committer freebsd_triage 2018-07-23 18:51:59 UTC
A commit references this bug:

Author: yuri
Date: Mon Jul 23 18:51:56 UTC 2018
New revision: 475198
URL: https://svnweb.freebsd.org/changeset/ports/475198

Log:
  math/cvc4: Fix the warning in 'make describe'

  Remove USES=compiler as it conflicts with the explicit compiler setting.

  PR:		229987
  Reported by:	Yasuhiro KIMURA <yasu@utahime.org>

Changes:
  head/math/cvc4/Makefile
Comment 3 Yuri Victorovich freebsd_committer freebsd_triage 2018-07-23 18:52:06 UTC
Committed the fix.
Thanks for reporting!