Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Stefan Gränitz
Frama Clang
Commits
9f863e74
Commit
9f863e74
authored
Jul 07, 2021
by
Stefan Gränitz
Browse files
Update build instructions in readme (NFC)
parent
83c9806d
Changes
1
Hide whitespace changes
Inline
Side-by-side
README.md
View file @
9f863e74
...
...
@@ -21,11 +21,39 @@ Frama-Clang
(i.e. the same version than the one that was used to compile Frama-C).
-
The corresponding camlp5 version
T
he front-end
can then be compiled with the traditional commands
Build t
he front-end
with
[
autotools
](
https://en.wikipedia.org/wiki/GNU_Autotools
)
:
```
./configure
make
make install
> git clone https://git.frama-c.com/pub/frama-clang
> cd frama-clang
> export FRAMAC_SHARE=/usr/local/share/frama-c
> autoconf
> ./configure
> make
```
In order to run tests, build frama-c from source:
```
> opam update
> opam install why3
> why3 --version
Why3 platform, version 1.4.0
> why3 config detect
Found prover Alt-Ergo version 2.2.0, OK.
...
> git clone https://git.frama-c.com/pub/frama-c
> cd frama-c
> autoconf
> ./configure
...
configure: wp: partial, gui not enabled
> make install
```
Now reinstall the frama-clang plugin and run the tests like this:
```
> cd frama-clang
> make install
> make tests
```
Depending on the exact configuration of the system,
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a 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