[frama-c-config] replace binary with wrapper script
Showing
- INSTALL.md 1 addition, 1 deletionINSTALL.md
- Makefile 2 additions, 5 deletionsMakefile
- Makefile.generating 0 additions, 24 deletionsMakefile.generating
- bin/frama-c-config 1 addition, 4 deletionsbin/frama-c-config
- headers/header_spec.txt 0 additions, 1 deletionheaders/header_spec.txt
- src/kernel_internals/runtime/frama_c_config.ml.in 0 additions, 89 deletionssrc/kernel_internals/runtime/frama_c_config.ml.in
Loading
Please register or sign in to comment