commit e70c91dd627ca639e03e4e66ce79a856bf855e07
Author: Denis Efremov <efremov@linux.com>
Date: Thu Jul 2 12:30:29 2026 +0400

sci-mathematics/rodin: add 3.10.0, drop 3.10.0_rc2

3.10.0 is the final release of the 3.10 line, built from the same commit
(881664d81) as rc2. Drop the superseded release candidate along with its
profiles/package.mask entry. Keep 3.9.0 as a second version.

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

commit e7515cb348bfb8c6de3190d2e066a75a201987b6
Author: Denis Efremov <efremov@linux.com>
Date: Thu Jun 18 00:04:35 2026 +0400

sci-mathematics/rodin: force light GTK theme in launcher

The e4 CSS theme pinned in rodin.ini only styles Eclipse-drawn widgets;
native SWT/GTK widgets still follow the desktop GTK theme, leaving a
broken mixed-mode UI on dark desktops. Generate the launcher inline so it
exports GTK_THEME=Adwaita:light, mirroring the upstream wrapper. Drop the
now-unused wrapper eclass.

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

commit 885da2299afb70254501548cd2a94f5f62505e67
Author: Denis Efremov <efremov@linux.com>
Date: Wed Jun 17 18:29:10 2026 +0400

sci-mathematics/rodin: pin Eclipse light theme to avoid dark-mode UI

Eclipse 4.x auto-detects the desktop's dark appearance and applies its
dark CSS theme regardless of the product's light-mode intent, producing
a broken mixed-mode UI. Append the e4_default theme property to
rodin.ini

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

commit 3f67557745b56c2853242287c95f7ed581e79612
Author: Denis Efremov <efremov@linux.com>
Date: Mon Jun 8 19:56:25 2026 +0400

sci-mathematics/rodin: drop unused foreign-ABI JNA native libs

The bundled JNA plugin ships libjnidispatch for ~two dozen foreign
OS/ABI combos as loose files in the exploded plugin dir. A 64-bit JVM
only ever loads the host (linux-x86-64) copy; the rest are dead weight.

The 32-bit linux-x86 build in particular records NEEDED=libc.so.6, which
on a multilib host makes portage preserve glibc's libc.so.6 forever: a
prebuilt blob can never be relinked, so @preserved-rebuild has nothing to
do, and REQUIRES_EXCLUDE only hid it from REQUIRES (not from NEEDED.ELF.2,
which drives preservation). Every glibc rebuild re-preserved libc.so.6.

Remove all native dispatch copies but the host ABI in src_install, and
drop the now-pointless REQUIRES_EXCLUDE.

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

commit 47be08e8af435ec6855e43615b6fc1527cab7a23
Author: Denis Efremov <efremov@linux.com>
Date: Sun Jun 7 13:49:08 2026 +0400

sci-mathematics/rodin: new package; add 3.9.0, 3.10.0_rc2

The Rodin Platform is an Eclipse-based IDE for Event-B that provides
effective support for refinement and mathematical proof. Repackages
the prebuilt Eclipse RCP product from SourceForge into /opt/rodin with
a wrapper script and desktop entry. No JRE is bundled; a system
Java 17+ runtime is required. webkit-gtk is suggested for
browser-backed views.

Both the stable release and the current release candidate are
provided from the same package; release candidates are masked in
profiles/package.mask and need to be unmasked explicitly.

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