b12f/nixpkgs
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

Merge pull request #231149 from mgregson/tlaplus-remove-unnecessary-jdk-dependency

Browse source
This commit is contained in:
Janik 2023-06-26 18:15:28 +02:00 committed by GitHub
parent df708463c9 886fa6e8af
commit a2f36b2963
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 7 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
maintainers/maintainer-list.nix
View file

@ -10477,6 +10477,11 @@
githubId = 9469313;
name = "Gregoire Martinache";
};
mgregson = {
github = "mgregson";
githubId = 333572;
name = "Michael Gregson";
};
mgttlinger = {
email = "megoettlinger@gmail.com";
github = "mgttlinger";

5
pkgs/applications/science/logic/tlaplus/default.nix
View file

@ -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 = ''
@ -33,6 +32,6 @@ stdenv.mkDerivation rec {
sourceProvenance = with lib.sourceTypes; [ binaryBytecode ];
license = lib.licenses.mit;
platforms = lib.platforms.unix;
maintainers = with lib.maintainers; [ florentc thoughtpolice ];
maintainers = with lib.maintainers; [ florentc thoughtpolice mgregson ];
};
}