[Kernel] adds -load-library option
Showing
- bin/frama-c-build-scripts.sh 10 additions, 6 deletionsbin/frama-c-build-scripts.sh
- src/kernel_services/plugin_entry_points/kernel.ml 15 additions, 1 deletionsrc/kernel_services/plugin_entry_points/kernel.ml
- src/kernel_services/plugin_entry_points/kernel.mli 5 additions, 0 deletionssrc/kernel_services/plugin_entry_points/kernel.mli
Loading
Please register or sign in to comment