From 900f86c5a8b00edba587e1f29e24b447d79d8250 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Mon, 8 Mar 2021 10:02:41 +0100
Subject: [PATCH] frama-clang 0.0.10

---
 _events/clang-0.10.md                  |  9 +++++++++
 _fc-plugins/frama-clang.md             | 28 ++++++++++++++++++--------
 download/frama-clang-0.0.10.tar.gz     |  3 +++
 download/frama-clang-manual-0.0.10.pdf |  3 +++
 download/frama-clang-manual.pdf        |  4 ++--
 5 files changed, 37 insertions(+), 10 deletions(-)
 create mode 100644 _events/clang-0.10.md
 create mode 100644 download/frama-clang-0.0.10.tar.gz
 create mode 100644 download/frama-clang-manual-0.0.10.pdf

diff --git a/_events/clang-0.10.md b/_events/clang-0.10.md
new file mode 100644
index 00000000..3390aa9f
--- /dev/null
+++ b/_events/clang-0.10.md
@@ -0,0 +1,9 @@
+---
+layout: default
+date: 08-03-2021
+event: Frama-Clang 0.0.10
+title: Release of Frama-Clang 0.0.10
+link: /fc-plugins/frama-clang.html
+---
+
+Frama-Clang 0.0.10 is out. Download it [here](/fc-plugins/frama-clang.html).
diff --git a/_fc-plugins/frama-clang.md b/_fc-plugins/frama-clang.md
index 5f7e28d6..ed742c54 100644
--- a/_fc-plugins/frama-clang.md
+++ b/_fc-plugins/frama-clang.md
@@ -43,16 +43,16 @@ please consult the [Frama-Clang manual]({{page.manual_pdf}}).
 
 ### Download
 
-The current version is 0.0.9. The frama-clang plugin can be downloaded
-[here](/download/frama-clang-0.0.9.tar.gz).
+The current version is 0.0.10. The frama-clang plugin can be downloaded
+[here](/download/frama-clang-0.0.10.tar.gz).
 
 ### Requirements
 
-- Frama-C 21.x Scandium
-- OCaml 4.05.0 or higher, the same version as the one used to
+- Frama-C 22.x Titanium
+- OCaml 4.08.0 or higher, the same version as the one used to
 compile Frama-C itself
 - camlp5 (a version compatible with the OCaml version you're using)
-- clang and libclang >= 6 (preferably 9 or 10)
+- clang and libclang >= 6 (preferably >=9)
 
 You also need llvm-config (llvm-config-x.y for Debian and Ubuntu users,
 as explained in
@@ -61,8 +61,8 @@ as explained in
 ### Installation steps
 
 ```
-tar xzvf frama-clang-0.0.9.tar.gz
-cd frama-clang-0.0.9
+tar xzvf frama-clang-0.0.10.tar.gz
+cd frama-clang-0.0.10
 ./configure
 make
 make install
@@ -73,6 +73,16 @@ require root permissions.
 
 ### Changes
 
+#### v0.0.10
+- Compatibility with Frama-C 22.x Titanium
+- Compatibility with Clang 11.0
+- Don't generate code for implicit member functions and operators when they're
+  not used.
+- Don't generate code for templated member functions that are in fact never
+  instantiated.
+- header `<cstdbool>` undefines `bool`, `true` and `false` if they are macros
+  (partial fix for https://git.frama-c.com/pub/frama-c/#2546)
+
 #### v0.0.9
 
 - Compatibility with Frama-C 21.x Scandium
@@ -136,7 +146,9 @@ templates
 
 ### Previous versions
 
-- [0.0.8](/download/frama-clang-0.0.7.tar.gz)
+- [0.0.9](/download/frama-clang-0.0.9.tar.gz)
+compatible with Frama-C 21.0
+- [0.0.8](/download/frama-clang-0.0.8.tar.gz)
 compatible with Frama-C 20.0
 - [0.0.7](/download/frama-clang-0.0.7.tar.gz)
 compatible with Frama-C 19.x
diff --git a/download/frama-clang-0.0.10.tar.gz b/download/frama-clang-0.0.10.tar.gz
new file mode 100644
index 00000000..7115f464
--- /dev/null
+++ b/download/frama-clang-0.0.10.tar.gz
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:cd210396f3c21c10abaf2efd5110d0cc9cd2f7a1e91812cebce50972a675c9fa
+size 474660
diff --git a/download/frama-clang-manual-0.0.10.pdf b/download/frama-clang-manual-0.0.10.pdf
new file mode 100644
index 00000000..630ff734
--- /dev/null
+++ b/download/frama-clang-manual-0.0.10.pdf
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:2de89426bd354e31519cc8cf684f6b3412cf6c493a48c74553495a39905494ce
+size 741816
diff --git a/download/frama-clang-manual.pdf b/download/frama-clang-manual.pdf
index 0a038a54..630ff734 100644
--- a/download/frama-clang-manual.pdf
+++ b/download/frama-clang-manual.pdf
@@ -1,3 +1,3 @@
 version https://git-lfs.github.com/spec/v1
-oid sha256:cf184ea52225390cf5ad3eb4491b83025ead4e5eaba7f20c0217acb0c3cbc42c
-size 741432
+oid sha256:2de89426bd354e31519cc8cf684f6b3412cf6c493a48c74553495a39905494ce
+size 741816
-- 
GitLab