tlaplus: remove jdk dependency

As of b5d3526, this package fetches a pre-compiled TLA+ distribution instead of compiling from source.
2023-05-10 01:19:15 -05:00
parent 326bad7af5
commit be76fb11c9
1 changed files with 1 additions and 2 deletions
@@ -1,4 +1,4 @@
-{ lib, stdenv, fetchurl, makeWrapper, adoptopenjdk-bin, jre }:
+{ lib, stdenv, fetchurl, makeWrapper, jre }:

 stdenv.mkDerivation rec {
  pname = "tlaplus";
@@ -10,7 +10,6 @@ stdenv.mkDerivation rec {
  };

  nativeBuildInputs = [ makeWrapper ];
-  buildInputs = [ adoptopenjdk-bin ];

  dontUnpack = true;
  installPhase = ''