From 04b78820d44a8fa1b9ce7dbf774186d2dd5ed992 Mon Sep 17 00:00:00 2001 From: Jeremy Wall Date: Mon, 26 Jun 2023 19:59:14 -0400 Subject: [PATCH] Add tlaplus to my default setup --- nix/base-system/flake.nix | 3 +++ nix/darwin/flake.lock | 6 +++--- 2 files changed, 6 insertions(+), 3 deletions(-) diff --git a/nix/base-system/flake.nix b/nix/base-system/flake.nix index 4ad7f14..844e790 100644 --- a/nix/base-system/flake.nix +++ b/nix/base-system/flake.nix @@ -111,6 +111,9 @@ rnix-lsp nil alloy6 + (tlaplus.override { + adoptopenjdk-bin = jdk; + }) jdk plantuml-c4 texlive.combined.scheme-basic diff --git a/nix/darwin/flake.lock b/nix/darwin/flake.lock index 2387ebe..f5ad66b 100644 --- a/nix/darwin/flake.lock +++ b/nix/darwin/flake.lock @@ -32,12 +32,12 @@ }, "locked": { "lastModified": 1, - "narHash": "sha256-+GjHiziuT4s1/cWK9OjiMp1buxh4IVZ/zLmbZ+NNKBU=", - "path": "/nix/store/a8sqmhsq15h62prgyyy8j0ghi9213vpx-source/nix/base-system", + "narHash": "sha256-5NdE5ik4A3CbpdEa6FVTR2GSfyWuOCAA+WO5r9oU+yE=", + "path": "/nix/store/riljmsk60lxrnxwkhxzf38c1jb639q8z-source/nix/base-system", "type": "path" }, "original": { - "path": "/nix/store/a8sqmhsq15h62prgyyy8j0ghi9213vpx-source/nix/base-system", + "path": "/nix/store/riljmsk60lxrnxwkhxzf38c1jb639q8z-source/nix/base-system", "type": "path" } },