commit b44b0baec0c6adc0f75119f975b06f3e8848571e
Author: Denis Efremov <efremov@linux.com>
Date: Sat Jun 20 16:47:03 2026 +0400

sci-mathematics/rossi: new package, add 0.1.0

Rossi is a Rust toolchain for Event-B (parser, static checker, CLI, and
language server) built as a Cargo workspace. Package it with the cargo
eclass: enumerate the workspace's registry crates in CRATES (generated by
pycargoebuild) so the build is offline and Manifest-verified, and install
both workspace binaries -- rossi and eventb-language-server -- from the
shared target dir built once by cargo_src_compile.

Gate the cargo test suite behind USE=test (RESTRICT="!test? ( test )"), and
skip the two editor-grammar sync tests via CARGO_SKIP_TESTS: they read the
editors/tree-sitter-eventb git submodule, which is absent from the release
tarball, and only guard repo files this package does not build or install.

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