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>
math/cvc4: Fix the warning in 'make describe' Tags None Referenced Files None Subscribers None
Description
Details
|