tlaplus-cli 0.8.1__tar.gz → 0.8.3__tar.gz

tlaplus_cli-0.8.3/PKG-INFO

@@ -0,0 +1,41 @@
+Metadata-Version: 2.4
+Name: tlaplus-cli
+Version: 0.8.3
+Summary: Renamed to tlaup. This package only installs tlaup and forwards the old tla command to it.
+Author-email: Denis Nikolskiy <nikolskiy@users.noreply.github.com>
+License-Expression: MIT
+Project-URL: Homepage, https://github.com/nikolskiy/tlaup
+Project-URL: Repository, https://github.com/nikolskiy/tlaup
+Project-URL: Old repository, https://github.com/nikolskiy/tlaplus-cli
+Project-URL: Changelog, https://github.com/nikolskiy/tlaplus-cli/blob/main/CHANGELOG.md
+Classifier: Development Status :: 7 - Inactive
+Classifier: Programming Language :: Python :: 3
+Classifier: Programming Language :: Python :: 3.11
+Classifier: Programming Language :: Python :: 3.12
+Classifier: Programming Language :: Python :: 3.13
+Classifier: Operating System :: OS Independent
+Classifier: Topic :: Software Development :: Build Tools
+Classifier: Topic :: Utilities
+Requires-Python: >=3.11
+Description-Content-Type: text/markdown
+License-File: LICENSE
+Requires-Dist: tlaup>=0.8.2
+Dynamic: license-file
+
+# tlaplus-cli has moved to tlaup
+
+This project is now **tlaup**.
+
+* Repository: https://github.com/nikolskiy/tlaup
+* PyPI: https://pypi.org/project/tlaup/
+
+`tlaplus-cli` is no longer maintained, and this repository is archived. The last release, 0.8.3, contains no code of its own: it installs `tlaup` and keeps the old `tla` command working by printing a notice and running the same command through `tlaup`.
+
+## Switching
+
+```bash
+uv tool uninstall tlaplus-cli
+uv tool install tlaup
+```
+
+Then use `tlaup` wherever you used `tla`, for example `tlaup tools install` and `tlaup tlc MySpec`. Installed toolsets, custom modules and the config file stay where they are, so nothing needs to be reinstalled.

tlaplus_cli-0.8.3/README.md

@@ -0,0 +1,17 @@
+# tlaplus-cli has moved to tlaup
+
+This project is now **tlaup**.
+
+* Repository: https://github.com/nikolskiy/tlaup
+* PyPI: https://pypi.org/project/tlaup/
+
+`tlaplus-cli` is no longer maintained, and this repository is archived. The last release, 0.8.3, contains no code of its own: it installs `tlaup` and keeps the old `tla` command working by printing a notice and running the same command through `tlaup`.
+
+## Switching
+
+```bash
+uv tool uninstall tlaplus-cli
+uv tool install tlaup
+```
+
+Then use `tlaup` wherever you used `tla`, for example `tlaup tools install` and `tlaup tlc MySpec`. Installed toolsets, custom modules and the config file stay where they are, so nothing needs to be reinstalled.

{tlaplus_cli-0.8.1 → tlaplus_cli-0.8.3}/pyproject.toml

@@ -4,25 +4,19 @@ build-backend = "setuptools.build_meta"
 
 [project]
 name = "tlaplus-cli"
-version = "0.8.1"
-description = "TLA+ tools: download TLC, compile custom modules, run model checker"
+version = "0.8.3"
+description = "Renamed to tlaup. This package only installs tlaup and forwards the old tla command to it."
 readme = "README.md"
 requires-python = ">=3.11"
 dependencies = [
-    "typer>=0.22.0,<1.0.0",
-    "requests>=2.31.0,<3.0.0",
-    "pyyaml>=6.0,<7.0",
-    "platformdirs>=4.0,<5.0",
-    "pydantic>=2.12.5,<3.0.0",
-    "truststore>=0.9.0,<1.0.0",
-    "rich>=13.7.0,<14.0.0",
+    "tlaup>=0.8.2",
 ]
 authors = [
-    {name = "Denis Nikolskiy", email = "codeomatics@gmail.com"}
+    {name = "Denis Nikolskiy", email = "nikolskiy@users.noreply.github.com"}
 ]
 license = "MIT"
 classifiers = [
-    "Development Status :: 3 - Alpha",
+    "Development Status :: 7 - Inactive",
     "Programming Language :: Python :: 3",
     "Programming Language :: Python :: 3.11",
     "Programming Language :: Python :: 3.12",
@@ -33,9 +27,9 @@ classifiers = [
 ]
 
 [project.urls]
-Homepage = "https://github.com/nikolskiy/tlaplus-cli"
-Repository = "https://github.com/nikolskiy/tlaplus-cli"
-Issues = "https://github.com/nikolskiy/tlaplus-cli/issues"
+Homepage = "https://github.com/nikolskiy/tlaup"
+Repository = "https://github.com/nikolskiy/tlaup"
+"Old repository" = "https://github.com/nikolskiy/tlaplus-cli"
 Changelog = "https://github.com/nikolskiy/tlaplus-cli/blob/main/CHANGELOG.md"
 
 [project.scripts]
@@ -47,7 +41,6 @@ include = ["tlaplus_cli*"]
 
 [tool.setuptools.package-data]
 tlaplus_cli = ["py.typed"]
-"tlaplus_cli.resources" = ["*.yaml"]
 
 [dependency-groups]
 dev = [

tlaplus_cli-0.8.3/src/tlaplus_cli/__init__.py

@@ -0,0 +1 @@
+"""tlaplus-cli was renamed to tlaup. This package only forwards the old ``tla`` command to tlaup."""

tlaplus_cli-0.8.3/src/tlaplus_cli/cli.py

@@ -0,0 +1,16 @@
+"""The ``tla`` command: print a notice, then run the same command through tlaup."""
+
+import sys
+
+NOTICE = (
+    "Notice: tlaplus-cli is now called tlaup and is no longer maintained. "
+    "Switch with 'uv tool uninstall tlaplus-cli && uv tool install tlaup', then use 'tlaup' instead of 'tla'."
+)
+
+
+def main() -> None:
+    """Entry point for [project.scripts]."""
+    print(NOTICE, file=sys.stderr)
+    from tlaup.cli import main as tlaup_main  # noqa: PLC0415
+
+    tlaup_main()

tlaplus_cli-0.8.3/src/tlaplus_cli.egg-info/PKG-INFO

@@ -0,0 +1,41 @@
+Metadata-Version: 2.4
+Name: tlaplus-cli
+Version: 0.8.3
+Summary: Renamed to tlaup. This package only installs tlaup and forwards the old tla command to it.
+Author-email: Denis Nikolskiy <nikolskiy@users.noreply.github.com>
+License-Expression: MIT
+Project-URL: Homepage, https://github.com/nikolskiy/tlaup
+Project-URL: Repository, https://github.com/nikolskiy/tlaup
+Project-URL: Old repository, https://github.com/nikolskiy/tlaplus-cli
+Project-URL: Changelog, https://github.com/nikolskiy/tlaplus-cli/blob/main/CHANGELOG.md
+Classifier: Development Status :: 7 - Inactive
+Classifier: Programming Language :: Python :: 3
+Classifier: Programming Language :: Python :: 3.11
+Classifier: Programming Language :: Python :: 3.12
+Classifier: Programming Language :: Python :: 3.13
+Classifier: Operating System :: OS Independent
+Classifier: Topic :: Software Development :: Build Tools
+Classifier: Topic :: Utilities
+Requires-Python: >=3.11
+Description-Content-Type: text/markdown
+License-File: LICENSE
+Requires-Dist: tlaup>=0.8.2
+Dynamic: license-file
+
+# tlaplus-cli has moved to tlaup
+
+This project is now **tlaup**.
+
+* Repository: https://github.com/nikolskiy/tlaup
+* PyPI: https://pypi.org/project/tlaup/
+
+`tlaplus-cli` is no longer maintained, and this repository is archived. The last release, 0.8.3, contains no code of its own: it installs `tlaup` and keeps the old `tla` command working by printing a notice and running the same command through `tlaup`.
+
+## Switching
+
+```bash
+uv tool uninstall tlaplus-cli
+uv tool install tlaup
+```
+
+Then use `tlaup` wherever you used `tla`, for example `tlaup tools install` and `tlaup tlc MySpec`. Installed toolsets, custom modules and the config file stay where they are, so nothing needs to be reinstalled.

tlaplus_cli-0.8.3/src/tlaplus_cli.egg-info/SOURCES.txt

@@ -0,0 +1,12 @@
+LICENSE
+README.md
+pyproject.toml
+src/tlaplus_cli/__init__.py
+src/tlaplus_cli/cli.py
+src/tlaplus_cli/py.typed
+src/tlaplus_cli.egg-info/PKG-INFO
+src/tlaplus_cli.egg-info/SOURCES.txt
+src/tlaplus_cli.egg-info/dependency_links.txt
+src/tlaplus_cli.egg-info/entry_points.txt
+src/tlaplus_cli.egg-info/requires.txt
+src/tlaplus_cli.egg-info/top_level.txt

tlaplus_cli-0.8.3/src/tlaplus_cli.egg-info/requires.txt

@@ -0,0 +1 @@
+tlaup>=0.8.2

tlaplus_cli-0.8.1/MANIFEST.in

@@ -1,4 +0,0 @@
-include LICENSE
-include README.md
-recursive-include src/tlaplus_cli/resources *.yaml
-include src/tlaplus_cli/py.typed

tlaplus_cli-0.8.1/PKG-INFO

@@ -1,70 +0,0 @@
-Metadata-Version: 2.4
-Name: tlaplus-cli
-Version: 0.8.1
-Summary: TLA+ tools: download TLC, compile custom modules, run model checker
-Author-email: Denis Nikolskiy <codeomatics@gmail.com>
-License-Expression: MIT
-Project-URL: Homepage, https://github.com/nikolskiy/tlaplus-cli
-Project-URL: Repository, https://github.com/nikolskiy/tlaplus-cli
-Project-URL: Issues, https://github.com/nikolskiy/tlaplus-cli/issues
-Project-URL: Changelog, https://github.com/nikolskiy/tlaplus-cli/blob/main/CHANGELOG.md
-Classifier: Development Status :: 3 - Alpha
-Classifier: Programming Language :: Python :: 3
-Classifier: Programming Language :: Python :: 3.11
-Classifier: Programming Language :: Python :: 3.12
-Classifier: Programming Language :: Python :: 3.13
-Classifier: Operating System :: OS Independent
-Classifier: Topic :: Software Development :: Build Tools
-Classifier: Topic :: Utilities
-Requires-Python: >=3.11
-Description-Content-Type: text/markdown
-License-File: LICENSE
-Requires-Dist: typer<1.0.0,>=0.22.0
-Requires-Dist: requests<3.0.0,>=2.31.0
-Requires-Dist: pyyaml<7.0,>=6.0
-Requires-Dist: platformdirs<5.0,>=4.0
-Requires-Dist: pydantic<3.0.0,>=2.12.5
-Requires-Dist: truststore<1.0.0,>=0.9.0
-Requires-Dist: rich<14.0.0,>=13.7.0
-Dynamic: license-file
-
-# TLA+ CLI
-
-Command-line tool for working with TLA+ specifications and the TLC model checker.
-
-## Project Goals
-
-1. Simplify managing TLA+ tools such as TLC, community modules, custom modules, etc.
-2. Run TLA tools in a single CLI interface.
-3. Manage and display the tool outputs.
-
-## Quick Start & Usage
-
-### 1. Toolset Management (`tla tools`)
-* `tla check-java`: Verify Java installation and compatibility.
-* `tla tools list`: List available and installed toolset versions (`tla2tools.jar`).
-* `tla tools install [vX.Y.Z]`: Download and install a toolset version.
-* `tla tools pin <version>`: Set default toolset version for TLC runs.
-
-### 2. Model Checking (`tla tlc`)
-* `tla tlc <spec>`: Execute TLC model checker on a specification.
-* `tla tlc <spec> --show-command`: Inspect exact JVM command before execution.
-
-### 3. Custom Java Modules (`tla modules`)
-* `tla modules add <path>`: Compile Java operator overrides and register module in CLI cache.
-* `tla modules list`: Display cached custom modules.
-* `tla modules remove <name>`: Remove custom module from cache.
-
-For complete, runnable specifications and Java module examples, see [docs/examples](docs/examples/).
-
-## Quick Installation
-
-### Via `uv tool`
-```bash
-uv tool install tlaplus-cli
-```
-
-### Via Nix Flakes
-```bash
-nix profile install github:nikolskiy/tlaplus-cli
-```

tlaplus_cli-0.8.1/README.md

@@ -1,40 +0,0 @@
-# TLA+ CLI
-
-Command-line tool for working with TLA+ specifications and the TLC model checker.
-
-## Project Goals
-
-1. Simplify managing TLA+ tools such as TLC, community modules, custom modules, etc.
-2. Run TLA tools in a single CLI interface.
-3. Manage and display the tool outputs.
-
-## Quick Start & Usage
-
-### 1. Toolset Management (`tla tools`)
-* `tla check-java`: Verify Java installation and compatibility.
-* `tla tools list`: List available and installed toolset versions (`tla2tools.jar`).
-* `tla tools install [vX.Y.Z]`: Download and install a toolset version.
-* `tla tools pin <version>`: Set default toolset version for TLC runs.
-
-### 2. Model Checking (`tla tlc`)
-* `tla tlc <spec>`: Execute TLC model checker on a specification.
-* `tla tlc <spec> --show-command`: Inspect exact JVM command before execution.
-
-### 3. Custom Java Modules (`tla modules`)
-* `tla modules add <path>`: Compile Java operator overrides and register module in CLI cache.
-* `tla modules list`: Display cached custom modules.
-* `tla modules remove <name>`: Remove custom module from cache.
-
-For complete, runnable specifications and Java module examples, see [docs/examples](docs/examples/).
-
-## Quick Installation
-
-### Via `uv tool`
-```bash
-uv tool install tlaplus-cli
-```
-
-### Via Nix Flakes
-```bash
-nix profile install github:nikolskiy/tlaplus-cli
-```

tlaplus_cli-0.8.1/src/tlaplus_cli/__init__.py

@@ -1,6 +0,0 @@
-import truststore
-
-# Inject truststore as early as possible so that all standard library
-# and third-party tools relying on `ssl` (such as `requests` and `urllib3`)
-# utilize the native OS trust store.
-truststore.inject_into_ssl()

tlaplus_cli-0.8.1/src/tlaplus_cli/cache/github.py

@@ -1,28 +0,0 @@
-import json
-from dataclasses import asdict
-from pathlib import Path
-
-from tlaplus_cli.ui import warn
-from tlaplus_cli.versioning.schema import RemoteVersion
-
-
-def load_github_cache(cache_file: Path) -> list[RemoteVersion] | None:
-    """Load the remote versions cache from disk."""
-    if cache_file.exists():
-        try:
-            with cache_file.open("r", encoding="utf-8") as f:
-                data = json.load(f)
-            return [RemoteVersion(**item) for item in data]
-        except (json.JSONDecodeError, OSError, KeyError, TypeError) as e:
-            warn(f"Failed to read cache: {e}")
-    return None
-
-
-def save_github_cache(cache_file: Path, versions: list[RemoteVersion]) -> None:
-    """Save the remote versions cache to disk."""
-    try:
-        cache_file.parent.mkdir(parents=True, exist_ok=True)
-        with cache_file.open("w", encoding="utf-8") as f:
-            json.dump([asdict(v) for v in versions], f)
-    except OSError as e:
-        warn(f"Failed to save cache: {e}")

tlaplus_cli-0.8.1/src/tlaplus_cli/cli.py

@@ -1,62 +0,0 @@
-"""TLA+ CLI tool - entry point."""
-
-import importlib.metadata
-
-import typer
-
-from tlaplus_cli.cmd.check_java import check_java
-from tlaplus_cli.cmd.config import app as config_app
-from tlaplus_cli.cmd.fetch_cache import app as fetch_cache_app
-from tlaplus_cli.cmd.modules import app as modules_app
-from tlaplus_cli.cmd.tlc import tlc as run_tlc_cmd
-from tlaplus_cli.cmd.tools import app as tools_app
-from tlaplus_cli.config.loader import load_config
-from tlaplus_cli.versioning import get_app_version
-
-app = typer.Typer(
-    name="tla",
-    help="TLA+ tools: download TLA+ toolset distribution, compile custom modules, run model checker.",
-    no_args_is_help=True,
-    add_completion=False,
-)
-
-
-def version_callback(value: bool) -> None:
-    if value:
-        meta = importlib.metadata.metadata("tlaplus-cli")
-        app_ver = get_app_version(base_version=meta["Version"])
-        typer.echo(f"{meta['Name']} v{app_ver}")
-        typer.echo(meta["Summary"])
-        raise typer.Exit()
-
-
-@app.callback()
-def root(
-    _: bool = typer.Option(
-        None,
-        "--version",
-        "-v",
-        help="Show the application's version and exit.",
-        callback=version_callback,
-        is_eager=True,
-    ),
-) -> None:
-    """TLA+ CLI tool."""
-    # Load config early to trigger first-run copy
-    load_config()
-
-
-# --- Subcommands ---
-
-app.add_typer(modules_app, name="modules")
-app.add_typer(tools_app, name="tools")
-app.add_typer(fetch_cache_app, name="fetch-cache")
-app.add_typer(config_app, name="config")
-
-app.command(name="tlc")(run_tlc_cmd)
-app.command(name="check-java")(check_java)
-
-
-def main() -> None:
-    """Entry point for [project.scripts]."""
-    app()

tlaplus_cli-0.8.1/src/tlaplus_cli/cmd/check_java.py

@@ -1,19 +0,0 @@
-import typer
-
-from tlaplus_cli.config.loader import load_config
-from tlaplus_cli.java import get_java_version, validate_java_version
-
-
-def check_java() -> None:
-    """Check if Java is installed and meets the minimum version requirement."""
-    config = load_config()
-    version = get_java_version()
-    if version:
-        typer.echo(f"Detected Java version: {version}")
-
-    try:
-        validate_java_version(config.java.min_version)
-        typer.echo(f"Java version is compatible (>= {config.java.min_version}).")
-    except RuntimeError as e:
-        typer.echo(f"Error: {e}", err=True)
-        raise typer.Exit(1) from None

tlaplus_cli-0.8.1/src/tlaplus_cli/cmd/config/__init__.py

@@ -1,6 +0,0 @@
-import typer
-
-app = typer.Typer(name="config", help="Manage application configuration.", no_args_is_help=True)
-
-from . import edit  # noqa: F401, E402
-from . import list as list_cmd  # noqa: F401, E402

tlaplus_cli-0.8.1/src/tlaplus_cli/cmd/config/edit.py

@@ -1,34 +0,0 @@
-import os
-import shutil
-import subprocess
-
-import typer
-
-from tlaplus_cli.cmd.config import app
-from tlaplus_cli.config.loader import config_path, load_config
-
-
-@app.command(name="edit")
-def edit_config(
-    editor: str | None = typer.Argument(None, help="The editor to use (defaults to $EDITOR or 'vim')."),
-) -> None:
-    """Open the configuration file in an editor."""
-    cp = config_path()
-
-    # Ensure config exists by loading it
-    load_config()
-
-    if not editor:
-        editor = os.environ.get("EDITOR", "vim")
-
-    editor_path = shutil.which(editor)
-    if not editor_path:
-        typer.echo(f"Error: Editor '{editor}' not found in PATH.", err=True)
-        raise typer.Exit(1)
-
-    typer.echo(f"Opening {cp} with {editor} ...")
-    try:
-        subprocess.run([editor_path, str(cp)], check=True)
-    except subprocess.CalledProcessError as e:
-        typer.echo(f"Editor exited with error: {e}", err=True)
-        raise typer.Exit(1) from None

tlaplus_cli-0.8.1/src/tlaplus_cli/cmd/config/list.py

@@ -1,16 +0,0 @@
-import typer
-
-from tlaplus_cli.cmd.config import app
-from tlaplus_cli.config.loader import config_path
-
-
-@app.command(name="list")
-def list_config() -> None:
-    """Display the current configuration file content."""
-    cp = config_path()
-    if not cp.exists():
-        typer.echo("Configuration file not found.", err=True)
-        raise typer.Exit(1)
-
-    with cp.open(encoding="utf-8") as f:
-        typer.echo(f.read())

tlaplus_cli-0.8.1/src/tlaplus_cli/cmd/fetch_cache/__init__.py

@@ -1,5 +0,0 @@
-import typer
-
-app = typer.Typer(name="fetch-cache", help="Manage API fetch cache.", no_args_is_help=True)
-
-from . import clear  # noqa: F401, E402

tlaplus_cli-0.8.1/src/tlaplus_cli/cmd/fetch_cache/clear.py

@@ -1,11 +0,0 @@
-import typer
-
-from tlaplus_cli.cmd.fetch_cache import app
-from tlaplus_cli.versioning import clear_cache
-
-
-@app.command(name="clear")
-def cmd_clear_cache() -> None:
-    """Clear the local cache of remote GitHub versions."""
-    clear_cache()
-    typer.echo("GitHub versions cache cleared.")

tlaplus_cli-0.8.1/src/tlaplus_cli/cmd/modules/__init__.py

@@ -1,16 +0,0 @@
-import typer
-
-app = typer.Typer(name="modules", help="Manage TLA+ Java modules.", no_args_is_help=True)
-
-
-# Import functions for new commands
-from .add import add_module  # noqa: E402
-from .list import list_modules  # noqa: E402
-from .path import show_modules_path  # noqa: E402
-from .remove import remove_module  # noqa: E402
-
-# Register new commands with the typer app
-app.command(name="add")(add_module)
-app.command(name="list")(list_modules)
-app.command(name="remove")(remove_module)
-app.command(name="path")(show_modules_path)

tlaplus_cli-0.8.1/src/tlaplus_cli/cmd/modules/add.py

@@ -1,140 +0,0 @@
-import datetime
-import json
-import os
-import re
-import shutil
-import subprocess
-from pathlib import Path
-
-import typer
-
-from tlaplus_cli.config.loader import load_config
-from tlaplus_cli.java.classpath import ClasspathResolver, ResolveMode
-from tlaplus_cli.tlc.compiler import get_tlc_jar_path
-from tlaplus_cli.tlc.run_cache import clear_tlc_run_cache
-from tlaplus_cli.versioning.paths import get_modules_dir
-
-
-def find_override_classes(java_files: list[Path]) -> list[str]:
-    """Find all class names implementing ITLCOverrides in Java files."""
-    override_classes = []
-    package_pattern = re.compile(r"package\s+([a-zA-Z0-9_.]+)\s*;")
-    class_pattern = re.compile(
-        r"\bclass\s+([a-zA-Z0-9_]+)\b[^{]*\bimplements\b[^{]*\b(tlc2\.overrides\.)?ITLCOverrides\b"
-    )
-
-    for jf in java_files:
-        try:
-            content = jf.read_text(encoding="utf-8", errors="ignore")
-        except OSError:
-            continue
-
-        # Strip comments to prevent false matches
-        content_no_comments = re.sub(r"//.*", "", content)
-        content_no_comments = re.sub(r"/\*.*?\*/", "", content_no_comments, flags=re.DOTALL)
-
-        package_match = package_pattern.search(content_no_comments)
-        package_name = package_match.group(1) if package_match else ""
-
-        for match in class_pattern.finditer(content_no_comments):
-            class_name = match.group(1)
-            full_class_name = f"{package_name}.{class_name}" if package_name else class_name
-            override_classes.append(full_class_name)
-
-    return override_classes
-
-
-def add_module(  # noqa: PLR0912, PLR0915
-    path: str = typer.Argument(..., help="Path to the module directory to add."),
-) -> None:
-    """Compile custom Java overrides and add/update the module in the cache."""
-    source_dir = Path(path).resolve()
-    if not source_dir.is_dir():
-        typer.echo(f"Error: Path does not exist or is not a directory: {source_dir}", err=True)
-        raise typer.Exit(1)
-
-    config = load_config()
-    module_name = source_dir.name
-    target_dir = get_modules_dir() / module_name
-
-    # Overwrite if exists
-    if target_dir.exists():
-        shutil.rmtree(target_dir)
-    target_dir.mkdir(parents=True, exist_ok=True)
-
-    # 1. Copy directories (lib, modules, tlc2, and test/tests)
-    def copy_subfolder(subname: str) -> None:
-        src = source_dir / subname
-        if src.is_dir():
-            shutil.copytree(src, target_dir / subname)
-
-    typer.echo("Copying subfolders (lib, modules, test, tlc2)...")
-    copy_subfolder("lib")
-    copy_subfolder("modules")
-    copy_subfolder("tlc2")
-
-    if (source_dir / "test").is_dir():
-        copy_subfolder("test")
-    elif (source_dir / "tests").is_dir():
-        copy_subfolder("tests")
-
-    # 2. Compile Java overrides in cached version if tlc2/overrides exists
-    java_files = []
-    for candidate in [target_dir / "modules" / "tlc2" / "overrides", target_dir / "tlc2" / "overrides"]:
-        if candidate.is_dir():
-            java_files.extend(list(candidate.rglob("*.java")))
-
-    if java_files:
-        # Build classpath including tool_jar and local libs from the cached folder
-        cached_lib = target_dir / "lib"
-        extra_libs = []
-        if cached_lib.is_dir():
-            extra_libs.extend([str(j.absolute()) for j in cached_lib.glob("*.jar")])
-
-        tool_jar = get_tlc_jar_path()
-        if not tool_jar.exists():
-            typer.echo("Error: tla2tools.jar not found. Run 'tla tools install' first.", err=True)
-            shutil.rmtree(target_dir, ignore_errors=True)
-            raise typer.Exit(1)
-
-        resolver = ClasspathResolver(config, project_root=None, tool_jar=tool_jar, extra_libs=extra_libs)
-        classpath = os.pathsep.join(resolver.resolve(ResolveMode.COMPILE))
-
-        classes_dir = target_dir / "classes"
-        classes_dir.mkdir(parents=True, exist_ok=True)
-
-        cmd = ["javac", "-cp", classpath, "-d", str(classes_dir), *[str(f) for f in java_files]]
-        typer.echo("Compiling Java files in cached tlc2/overrides...")
-        try:
-            subprocess.run(cmd, check=True, capture_output=True, text=True)
-        except FileNotFoundError as err:
-            typer.echo("Error: 'javac' not found. Ensure JDK is installed.", err=True)
-            shutil.rmtree(target_dir, ignore_errors=True)
-            raise typer.Exit(1) from err
-        except subprocess.CalledProcessError as err:
-            typer.echo("Compilation failed!", err=True)
-            typer.echo(err.stdout, err=True)
-            typer.echo(err.stderr, err=True)
-            shutil.rmtree(target_dir, ignore_errors=True)
-            raise typer.Exit(1) from err
-
-        # Write service file
-        meta_inf = classes_dir / "META-INF" / "services"
-        meta_inf.mkdir(parents=True, exist_ok=True)
-        service_file = meta_inf / "tlc2.overrides.ITLCOverrides"
-
-        override_classes = find_override_classes(java_files)
-        if not override_classes:
-            override_classes = [config.tlc.overrides_class]
-
-        with service_file.open("w") as f:
-            for cls in override_classes:
-                f.write(f"{cls}\n")
-
-    # 3. Create metadata.json
-    metadata = {"name": module_name, "built_at": datetime.datetime.now().strftime("%Y-%m-%d %H:%M:%S")}
-    with (target_dir / "metadata.json").open("w") as f:
-        json.dump(metadata, f, indent=2)
-
-    clear_tlc_run_cache()
-    typer.echo(f"Module '{module_name}' successfully added to cache.")