Dependencies for posit-2022.2.0.0

library

Flags

Manual Flags

NameDescriptionDefault
do-no-storable-random

Build without Storable or Random/Uniform Class support

Disabled
do-liquid

Build with Liquid Haskell checking

Disabled
do-rewrite

Build with Rewrite Rules for Fused Operations.

Disabled

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info