Gentoo Packages
Gentoo Packages
>
USE Flags
> drealtestdisable
USE Flag: drealtestdisable
Search
Search
Local and Metadata Descriptions
Metadata Descriptions (metadata.xml)
dev-haskell/what4:
when running solver tests, disable testing using dReal (ignored unless -fsolverTests)
Warnings
Warning: USE flag 'drealtestdisable' is used in ebuilds/metadata but is not defined in profiles/use.desc
Packages Using This Flag
Package
Local Description (use.local.desc)
Metadata Description (metadata.xml)
dev-haskell/what4
-
when running solver tests, disable testing using dReal (ignored unless -fsolverTests)