Skip to content
Snippets Groups Projects
Commit 3b5e5c57 authored by Andre Maroneze's avatar Andre Maroneze
Browse files

[Doc] try to minimize ambiguities in installation instructions

parent 6853c85d
No related branches found
No related tags found
No related merge requests found
......@@ -47,9 +47,10 @@ To install the development branch of Frama-C (updated nightly):
opam pin add frama-c https://git.frama-c.com/frama-c#master
This command will *pin* the development version of Frama-C and try to install it.
If installation fails due to missing external dependencies, try using
`depext` to install them and then Frama-C, using the same commands from the
[Installation](#installation) section.
the same commands from the [Installation](#installation) section to get the
external dependencies and then install Frama-C.
### Distribution packages
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment