commit 87c56b69244c1f66b2e0c25de0e0a3d7f04c76f0
Author: Denis Efremov <efremov@linux.com>
Date: Thu Jun 25 15:08:37 2026 +0400

sci-mathematics/rodin-headless: new package; add 4.0

rodin-headless drives the Rodin platform headlessly to build, model-check,
and prove Event-B models. It is a pure POSIX/bash toolchain installed via
upstream's FHS Makefile, so src_install just runs emake with DESTDIR and an
EPREFIX-aware prefix; there is nothing to compile.

Its runtime requirements track sci-mathematics/rodin (virtual/jre-17 and
x11-libs/gtk+:3): the JRE is raised to a JDK because the headless builder
plugin is compiled on the fly with javac, Xvfb is added because SWT still
needs a display when Rodin runs headless, and tar/zip/unzip/curl back the
bundled rodin-headless-install. That installer downloads the Rodin and ProB
runtimes into a per-user data dir on first use rather than this package
shipping them, which pkg_postinst points out -- guarded by REPLACING_VERSIONS
so it only fires on a fresh install, matching eventb-animate and prob2-ui.

Register it in version_check.py in bump mode (a single GitHub tag tarball
under a clean v$ SRC_URI, so the clean-$ auto-bumper handles it like
eventb-checker and eventb-to-txt) and list it in the README package table.

Signed-off-by: Denis Efremov <efremov@linux.com>