Merge branch 'feature/andre/yojson-mandatory-dependence' into 'stable/potassium'
[Kernel] make yojson a mandatory dependence See merge request frama-c/frama-c!2122
Showing
- INSTALL.md 1 addition, 1 deletionINSTALL.md
- Makefile 0 additions, 14 deletionsMakefile
- Makefile.generating 0 additions, 1 deletionMakefile.generating
- configure.in 11 additions, 16 deletionsconfigure.in
- doc/userman/user-sources.tex 2 additions, 3 deletionsdoc/userman/user-sources.tex
- headers/header_spec.txt 1 addition, 2 deletionsheaders/header_spec.txt
- man/frama-c.1 0 additions, 2 deletionsman/frama-c.1
- man/frama-c.1.md 1 addition, 2 deletionsman/frama-c.1.md
- nix/default.nix 4 additions, 4 deletionsnix/default.nix
- nix/frama-ci.nix 2 additions, 2 deletionsnix/frama-ci.nix
- opam/opam 1 addition, 3 deletionsopam/opam
- share/Makefile.config.in 1 addition, 10 deletionsshare/Makefile.config.in
- src/kernel_internals/runtime/config.ml.in 0 additions, 2 deletionssrc/kernel_internals/runtime/config.ml.in
- src/kernel_internals/runtime/config.mli 0 additions, 5 deletionssrc/kernel_internals/runtime/config.mli
- src/kernel_services/ast_queries/json_compilation_database.ko.ml 0 additions, 34 deletions...rnel_services/ast_queries/json_compilation_database.ko.ml
- src/kernel_services/ast_queries/json_compilation_database.ml 1 addition, 1 deletionsrc/kernel_services/ast_queries/json_compilation_database.ml
- src/kernel_services/plugin_entry_points/kernel.ml 6 additions, 34 deletionssrc/kernel_services/plugin_entry_points/kernel.ml
- src/kernel_services/plugin_entry_points/kernel.mli 1 addition, 1 deletionsrc/kernel_services/plugin_entry_points/kernel.mli
Loading
Please register or sign in to comment