Fix compilation on macosx and perhaps windows
use lowercase for filename
Showing
- bin/frama-c 1 addition, 1 deletionbin/frama-c
- bin/frama-c-gui 1 addition, 1 deletionbin/frama-c-gui
- src/plugins/from/dune 11 additions, 1 deletionsrc/plugins/from/dune
- src/plugins/metrics/metrics.ml 0 additions, 0 deletionssrc/plugins/metrics/metrics.ml
- src/plugins/metrics/metrics.mli 0 additions, 0 deletionssrc/plugins/metrics/metrics.mli
- src/plugins/pdg/dune 11 additions, 1 deletionsrc/plugins/pdg/dune
- src/plugins/scope/scope.ml 0 additions, 0 deletionssrc/plugins/scope/scope.ml
- src/plugins/scope/scope.mli 0 additions, 0 deletionssrc/plugins/scope/scope.mli
- src/plugins/value/eva.ml 0 additions, 0 deletionssrc/plugins/value/eva.ml
- src/plugins/value/eva.mli 0 additions, 0 deletionssrc/plugins/value/eva.mli
Loading
Please register or sign in to comment