Merge branch 'release' into 'master'

Release for february 2025

See merge request !53

CHANGES.md

+## Release 2025.02
+  * Partial support for existential quantifier
+  * Fixes various bugs
+
 ## Release 2024.05
   * Build artifacts for both Eclipse 5.10 and 7.0.45
   * Recognize (X+Cst)^2 patterns

Makefile

@@ -24,7 +24,7 @@ build_all: v5-build v7-build
 VERSION := $(shell cat version)
 
 show_version:
-	echo "version file contains: $(VERSION)"
+	@echo "version file contains: $(VERSION)"
 
 # ==================================================
 # CONFIGURATION

README.md

@@ -60,12 +60,33 @@ compiler but also mingw for the C part. Use `ocaml-env` to setup the
 environement for the compilation. Then the compilation is the same
 than for linux.
 
+## Making a release
+
+To make a release, the `RELEASE_TOKEN` environment variable must be
+set to a token generated by Gitlab and associated with your account
+(the one in the example is invalid):
+
+````
+export RELEASE_TOKEN=glptt-0123456789abcdef
+````
+
+- Update `version`, using the `YYYY.MM` format (Y=year, M=month).
+- Update `CHANGES.md` by adding a section in front of the current
+  ones. This file is processed by `changelog.sed`, which contains
+  additional comments about the subset of markdown understood by the
+  script.
+- Commit all changes.
+- Push to different branch to create a merge request
+- Review, fix and eventually merge it
+- Locally, pull from `origin/master` to `master`
+- Tag the commit with preferably the same value as `version`, ie.
+  `YYYY.MM` (there may be a suffix if necessary).
+- Execute `make release` and confirm.
+
 ## Remarks
 
-`Bin/` and `Src/` directories are copied from their respective
-repositories using the `release_colibri_opensource.sh` script found in
-`gatel/Src`'s original repository. They should be considered read-only
-here.
+The `Src/` directory is copied nightly from its original repository.
+It should be considered read-only here.
 
 ## LICENCE
 

version

-2024.05
+2025.02