Skip to content
Snippets Groups Projects
Commit 018a100f authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

[fc-lang] Announcing 0.0.12

parent d4cb7690
No related branches found
No related tags found
1 merge request!147Frama clang 0.0.12
Pipeline #44005 passed
...@@ -43,19 +43,19 @@ please consult the [Frama-Clang manual]({{page.manual_pdf}}). ...@@ -43,19 +43,19 @@ please consult the [Frama-Clang manual]({{page.manual_pdf}}).
### Download ### Download
The current version is 0.0.11. The frama-clang plugin can be downloaded The current version is 0.0.12. The frama-clang plugin can be downloaded
[here](/download/frama-clang-0.0.11.tar.gz). [here](/download/frama-clang-0.0.12.tar.gz).
Frama-Clang also has its own public git [repository](https://git.frama-c.com/pub/frama-clang), Frama-Clang also has its own public git [repository](https://git.frama-c.com/pub/frama-clang),
whose `master` branch should always be synchronized with Frama-C's own `master` branch. whose `master` branch should always be synchronized with Frama-C's own `master` branch.
### Requirements ### Requirements
- Frama-C 23.x Vanadium - Frama-C 24.x Chromium
- OCaml 4.08.0 or higher, the same version as the one used to - OCaml 4.08.0 or higher, the 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 >= 6 (preferably >=9) - clang and libclang >= 10
You also need llvm-config (llvm-config-x.y for Debian and Ubuntu users, You also need llvm-config (llvm-config-x.y for Debian and Ubuntu users,
as explained in as explained in
...@@ -64,8 +64,8 @@ as explained in ...@@ -64,8 +64,8 @@ as explained in
### Installation steps ### Installation steps
``` ```
tar xzvf frama-clang-0.0.11.tar.gz tar xzvf frama-clang-0.0.12.tar.gz
cd frama-clang-0.0.11 cd frama-clang-0.0.12
./configure ./configure
make make
make install make install
...@@ -75,6 +75,13 @@ Depending on your Frama-C installation, this last step might ...@@ -75,6 +75,13 @@ Depending on your Frama-C installation, this last step might
require root permissions. require root permissions.
### Changes ### Changes
#### v0.0.12
- Compatiblity with Frama-C 24.0 Chromium
- Compatibility with Clang 13.0 and 14.0
- Minimal supported Clang version is 10.0
- support for C++14 generic lambdas (contributed by S. Gränitz)
- options for printing reparseable code and using demangling on non-C++ sources
#### v0.0.11 #### v0.0.11
- Compatibility with Frama-C 23.x Vanadium - Compatibility with Frama-C 23.x Vanadium
- Compatibility with Clang 12.0 - Compatibility with Clang 12.0
...@@ -154,6 +161,8 @@ templates ...@@ -154,6 +161,8 @@ templates
### Previous versions ### Previous versions
- [0.0.11](/download/frama-clang-0.0.11.tar.gz)
compatible with Frama-C 23.0
- [0.0.10](/download/frama-clang-0.0.10.tar.gz) - [0.0.10](/download/frama-clang-0.0.10.tar.gz)
compatible with Frama-C 22.0 compatible with Frama-C 22.0
- [0.0.9](/download/frama-clang-0.0.9.tar.gz) - [0.0.9](/download/frama-clang-0.0.9.tar.gz)
......
File added
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