Mike Gerwitz f30e8f2909 gnu: Add tla2tools. ... This introduces tla2tools.jar, which contains the TLA+ model checker and simulator (TLC); a TLA+ REPL; a semantic analyzer (SANY); the TLATeX typesetting system; PlusCal translator; and more. I have added five wrapper scripts for convenience, rather than invoking `java' manually. The wrapper scripts are not comprehensive; users who are familiar with tla2tools.jar, or have read the book Specifying Systems, may still invoke the commands in the traditional way. The minimum JDK version is 11. I chose to stick with that rather than bumping it to 14 (which is the largest version currently in Guix) because each OpenJDK version in Guix depends on the version before it, and so it needlessly results in many 100s of MiB of unnecessary dependencies. Note that this is _not_ the TLA+ Toolbox, which is the GUI commonly used with TLA+. * gnu/packages/java.scm (tla2tools): New variable. * gnu/packages/patches/tla2tools-build-xml.patch: New patch. * gnu/local.mk (dist_patch_DATA): Add it. Signed-off-by: Ludovic Courtès <ludo@gnu.org>		2021-05-05 16:56:46 +02:00
..
bootloader
build	file-systems: Rewrite comment.	2021-05-04 15:40:32 +02:00
installer
machine
packages	gnu: Add tla2tools.	2021-05-05 16:56:46 +02:00
services
system
tests
artwork.scm
bootloader.scm
ci.scm
image.scm
installer.scm
local.mk	gnu: Add tla2tools.	2021-05-05 16:56:46 +02:00
machine.scm
packages.scm
services.scm
system.scm
tests.scm