Skip to content
Snippets Groups Projects
Commit 7dbc1336 authored by Virgile Prevosto's avatar Virgile Prevosto Committed by Andre Maroneze
Browse files

improve frama-clang plug-in page

parent 4dae97a2
No related branches found
No related tags found
1 merge request!199frama-clang v0.0.14
Pipeline #59565 passed
Stage: test
Stage: css
Stage: deploy
Hide whitespace changes
Inline Side-by-side
_fc-plugins/frama-clang.md
+ 1
− 1
View file @ 7dbc1336
...@@ -53,7 +53,7 @@ whose `master` branch should always be synchronized with Frama-C's own `master` ...@@ -53,7 +53,7 @@ whose `master` branch should always be synchronized with Frama-C's own `master`
### Requirements ### Requirements
- Frama-C 27.x Cobalt - Frama-C 27.x Cobalt
- OCaml 4.08.0 or higher, the same version as the one used to - OCaml, same version as the one used to
compile Frama-C itself compile Frama-C itself
- camlp5 (a version compatible with the OCaml version you're using) - camlp5 (a version compatible with the OCaml version you're using)
- clang and libclang >= 11 - clang and libclang >= 11
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment