Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
pub
frama-c
Commits
095b6ce6
Commit
095b6ce6
authored
Jan 18, 2023
by
Allan Blanchard
Browse files
Merge branch 'fix/jan/doc' into 'master'
[doc] fix some tiny errors in INSTALL.md See merge request frama-c/frama-c!4051
parents
e3dee0ab
ce1e1e01
Changes
1
Hide whitespace changes
Inline
Side-by-side
INSTALL.md
View file @
095b6ce6
...
...
@@ -323,13 +323,13 @@ Arch Linux: `pikaur -S frama-c`
2.
On Linux-like distributions:
./
make RELEASE=yes && make install
make RELEASE=yes && make install
See section *Configuration* below for options.
3.
On Windows+Cygwin:
./
make RELEASE=yes && make install
make RELEASE=yes && make install
4.
The binary
`frama-c`
(and
`frama-c-gui`
if you have lablgtk2) is now installed.
...
...
@@ -348,7 +348,7 @@ root source folder):
1.
`opam switch create frama-c ocaml-base-compiler.4.13.1`
to create a compatible opam switch
1.
`opam pin . -n`
to pin to the latest development version
1.
`opam install --deps-only`
will fetch and build all
1.
`opam install --deps-only
.
`
will fetch and build all
relevant dependencies
#### Compilation
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment