preparing release

.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

CHANGELOG.md

+# 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

DESCRIPTION.md

+Frama-Clang is an experimental C++ front-end for Frama-C, based on the clang compiler

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
   '';
 }