jspecify: init at 1.0.0

Apply suggestions from code review by Yiyu Zhou <yiyuzhou19@gmail.com>

Co-authored-by: Yiyu Zhou <yiyuzhou19@gmail.com>
This commit is contained in:
Sean Gilligan 2025-08-14 16:36:21 -07:00
parent 5e67e7be9f
commit 6098ce731c
No known key found for this signature in database
GPG Key ID: 8DD0D81D7D1FC61A

View File

@ -0,0 +1,35 @@
{
lib,
stdenvNoCC,
fetchMavenArtifact,
jre_minimal,
}:
stdenvNoCC.mkDerivation (finalAttrs: {
pname = "jspecify";
version = "1.0.0";
src = fetchMavenArtifact {
groupId = "org.jspecify";
artifactId = "jspecify";
version = finalAttrs.version;
hash = "sha256-H61ua+dVd4Hk0zcp1Jrhzcj92m/kd7sMxozjUer9+6s=";
};
installPhase = ''
runHook preInstall
install -Dm444 ${finalAttrs.src.jar} $out/share/java/${finalAttrs.pname}-${finalAttrs.version}.jar
runHook postInstall
'';
meta = {
homepage = "https://jspecify.dev";
description = "Standard Annotations for Java Static Analysis";
license = lib.licenses.asl20;
sourceProvenance = with lib.sourceTypes; [ binaryBytecode ];
inherit (jre_minimal.meta) platforms;
maintainers = with lib.maintainers; [ msgilligan ];
};
})