From fbfca422ff80fce5713f07458765421ad3896e29 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Thu, 1 Aug 2024 16:14:56 +0200
Subject: [PATCH] preparing release
---
.gitlab-ci.yml | 7 +++++--
CHANGELOG.md | 6 ++++++
DESCRIPTION.md | 1 +
nix/frama-clang-manual.nix | 4 ++--
4 files changed, 14 insertions(+), 4 deletions(-)
create mode 100644 DESCRIPTION.md
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 452c0fb5..7d0dceb1 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -23,7 +23,7 @@ variables:
### TESTS
check-headers:
- stage: tests
+ stage: prepare-release
variables:
CI_MODE: "check-headers"
script:
@@ -67,6 +67,8 @@ make-manual:
variables:
CI_MODE: "manual"
DEFAULT: "plugin-release-script"
+ artifacts:
+ "manual/*.pdf"
script:
- ./nix/ci.sh
@@ -75,13 +77,14 @@ make-manual:
release:
stage: release
- needs: [check-opam]
+ needs: [check-opam manual]
variables:
CI_MODE: "release"
PLUGIN_FULL_NAME: "Frama-Clang"
REPO: "frama-clang"
RELEASE_OPT: "--assume-yes"
DEFAULT: "plugin-release-script"
+ MANUAL_DIR: "manual"
script:
- ./nix/ci.sh
when: manual
diff --git a/CHANGELOG.md b/CHANGELOG.md
index 410a185c..64b613c5 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,3 +1,9 @@
+# Version 0.0.16
+
+- Better handling of ACSL constructions
+- Compatibility with Clang 18
+- Compatibility with Frama-C 29 Copper
+
# Version 0.0.15
- Better handling of mixed C/C++ code and `extern "C"` declarations
diff --git a/DESCRIPTION.md b/DESCRIPTION.md
new file mode 100644
index 00000000..efe86731
--- /dev/null
+++ b/DESCRIPTION.md
@@ -0,0 +1 @@
+Frama-Clang is an experimental C++ front-end for Frama-C, based on the clang compiler
diff --git a/nix/frama-clang-manual.nix b/nix/frama-clang-manual.nix
index 03349f9f..dd6dad03 100644
--- a/nix/frama-clang-manual.nix
+++ b/nix/frama-clang-manual.nix
@@ -28,7 +28,7 @@ stdenv.mkDerivation rec {
'';
installPhase = ''
- mkdir -p $out
- cp ./doc/userman/main.pdf $out/fclang-manual.pdf
+ mkdir -p $out/manual
+ cp ./doc/userman/main.pdf $out/manual/frama-clang-manual-$version.pdf
'';
}
--
GitLab