Dependencies for jukebox-0.4.2
Libraries
jukebox
- array
- base (>=4 && <5)
- containers
- directory
- dlist
- filepath
- pretty (>=1.1.2.0)
- process
- symbol
- transformers (>=0.4.0.0)
- uglymemo
- if !impl(ghc>=8.0)
- if flag(minisat)
Executables
jukebox
Flags
Automatic Flags
| Name | Description | Default |
|---|---|---|
| minisat | Use minisat. Required for monotonicity inference. | Enabled |
| static-cxx | Build a binary which statically links against libstdc++. | Disabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info