Dependencies for mios-1.5.4
library |
|
---|---|
mios-1.5.4 | |
cnf-stat |
|
mios-mc |
|
mc-dump2csv |
|
mc-averagecsv |
|
mc-summary |
|
mc-stat2csv |
|
mc-pickup |
|
mc-numbers |
|
Flags
Automatic Flags
Name | Description | Default |
---|---|---|
llvm | Compile with llvm | Disabled |
multiconflict | Build tools in MultiConflict | Disabled |
utils | Build misc utilities for developer | Disabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info