sci-mathematics/b2program
Code generator from B to Java, C++, Python, Rust, and TypeScript
-
b2program-0.1.0_p20260512~amd64
View
Download
Browse License: all-rights-reserved Overlay: eventb-rossi
ChangeLog
commit 6a9535ef4582e70794f4f22b3657446c95c9ebce
Author: Denis Efremov <efremov@linux.com>
Date: Mon Jun 8 22:58:06 2026 +0400
sci-mathematics/b2program: move build-only JDK to BDEPEND
The JDK only runs Gradle/javac at build time, so it belongs in BDEPEND
rather than DEPEND.
Signed-off-by: Denis Efremov <efremov@linux.com>
commit 17e1be369491552c71a445526b88707ce0332ea8
Author: Denis Efremov <efremov@linux.com>
Date: Sun Jun 7 14:12:16 2026 +0400
sci-mathematics/b2program: new package; add 0.1.0_p20260512
B2Program generates Java, C++, Python, Rust, and TypeScript code from
high-level B models. Upstream tags no releases and publishes no build
artifacts, so the package builds a pinned master commit from source
with Gradle, which resolves its dependencies from the network at build
time; the ebuild therefore requires the network sandbox to be disabled
via package.env and refuses to build otherwise. Gradle is run with
JDK 21, as its wrapper does not support newer JDKs.
Signed-off-by: Denis Efremov <efremov@linux.com>
Author: Denis Efremov <efremov@linux.com>
Date: Mon Jun 8 22:58:06 2026 +0400
sci-mathematics/b2program: move build-only JDK to BDEPEND
The JDK only runs Gradle/javac at build time, so it belongs in BDEPEND
rather than DEPEND.
Signed-off-by: Denis Efremov <efremov@linux.com>
commit 17e1be369491552c71a445526b88707ce0332ea8
Author: Denis Efremov <efremov@linux.com>
Date: Sun Jun 7 14:12:16 2026 +0400
sci-mathematics/b2program: new package; add 0.1.0_p20260512
B2Program generates Java, C++, Python, Rust, and TypeScript code from
high-level B models. Upstream tags no releases and publishes no build
artifacts, so the package builds a pinned master commit from source
with Gradle, which resolves its dependencies from the network at build
time; the ebuild therefore requires the network sandbox to be disabled
via package.env and refuses to build otherwise. Gradle is run with
JDK 21, as its wrapper does not support newer JDKs.
Signed-off-by: Denis Efremov <efremov@linux.com>

