Dependencies for mios-1.4.0
Libraries
mios
- base (>=4.9 && <4.10)
- bytestring (>=0.10)
- ghc-prim (>=0.5)
- vector (>=0.11)
- if !flag(lib)
- buildable: False
Executables
mios
- base (>=4.9 && <4.10)
- bytestring (>=0.10)
- ghc-prim (>=0.5)
- vector (>=0.11)
Flags
Automatic Flags
| Name | Description | Default |
|---|---|---|
| llvm | Compile with llvm | Disabled |
| lib | Build the solver library | Enabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info