[Kernel] add option -cpp-extra-args-per-file
Showing
- doc/userman/user-changes.tex 5 additions, 0 deletionsdoc/userman/user-changes.tex
- doc/userman/user-sources.tex 2 additions, 0 deletionsdoc/userman/user-sources.tex
- man/frama-c.1 7 additions, 1 deletionman/frama-c.1
- man/frama-c.1.header 1 addition, 1 deletionman/frama-c.1.header
- man/frama-c.1.md 4 additions, 0 deletionsman/frama-c.1.md
- src/kernel_services/ast_queries/file.ml 12 additions, 1 deletionsrc/kernel_services/ast_queries/file.ml
- src/kernel_services/cmdline_parameters/parameter_builder.ml 24 additions, 0 deletionssrc/kernel_services/cmdline_parameters/parameter_builder.ml
- src/kernel_services/cmdline_parameters/parameter_sig.mli 16 additions, 0 deletionssrc/kernel_services/cmdline_parameters/parameter_sig.mli
- src/kernel_services/plugin_entry_points/kernel.ml 34 additions, 0 deletionssrc/kernel_services/plugin_entry_points/kernel.ml
- src/kernel_services/plugin_entry_points/kernel.mli 3 additions, 0 deletionssrc/kernel_services/plugin_entry_points/kernel.mli
- tests/misc/cpp-extra-args-per-file1.c 20 additions, 0 deletionstests/misc/cpp-extra-args-per-file1.c
- tests/misc/cpp-extra-args-per-file2.c 15 additions, 0 deletionstests/misc/cpp-extra-args-per-file2.c
- tests/misc/oracle/cpp-extra-args-per-file1.res.oracle 2 additions, 0 deletionstests/misc/oracle/cpp-extra-args-per-file1.res.oracle
Loading
Please register or sign in to comment