jspecify: init at 1.0.0

[msgilligan]

JSpecify provides "Standard Annotations for Java Static Analysis". Notably, version 1.0.0 provides nullability annotations that pretty much the entire Java and Kotlin communities have agreed (finally!) to standardize on.

Things done

• Built on platform:
  • x86_64-linux
  • aarch64-linux
  • x86_64-darwin
  • aarch64-darwin
• Tested, as applicable:
  • NixOS tests in nixos/tests.
  • Package tests at passthru.tests.
  • Tests in lib/tests or pkgs/test for functions and "core" functionality.
• Ran nixpkgs-review on this PR. See nixpkgs-review usage.
• Tested basic functionality of all binary files, usually in ./result/bin/.
• Nixpkgs Release Notes
  • Package update: when the change is major or breaking.
• NixOS Release Notes
  • Module addition: when adding a new NixOS module.
  • Module update: when the change is significant.
• Fits CONTRIBUTING.md, pkgs/README.md, maintainers/README.md and other READMEs.

---

Add a 👍 reaction to pull requests you find important.

[msgilligan]

nixpkgs-review result

Generated using nixpkgs-review.

Command: nixpkgs-review pr 433781
Commit: a8a82f8b7c50223596c487129accdb0f1f0a43ec

---

aarch64-linux

✅ 1 package built:

• jspecify

[msgilligan]

nixpkgs-review result

Generated using nixpkgs-review.

Command: nixpkgs-review pr 433781
Commit: a8a82f8b7c50223596c487129accdb0f1f0a43ec

---

aarch64-darwin

✅ 1 package built:

• jspecify

[msgilligan]

@yzhou216 nix-shell -p nix-update --run "nix-update jspecify" fails with:

Traceback (most recent call last):
  File "/nix/store/n1vv7xlb7vxz4bj6j5fwyiqpnk9dbhf1-nix-update-1.12.1/bin/.nix-update-wrapped", line 9, in <module>
    sys.exit(main())
             ~~~~^^
  File "/nix/store/n1vv7xlb7vxz4bj6j5fwyiqpnk9dbhf1-nix-update-1.12.1/lib/python3.13/site-packages/nix_update/__init__.py", line 405, in main
    package = update(options)
  File "/nix/store/n1vv7xlb7vxz4bj6j5fwyiqpnk9dbhf1-nix-update-1.12.1/lib/python3.13/site-packages/nix_update/update.py", line 510, in update
    update_hash = update_version(
        opts,
    ...<3 lines>...
        opts.version_regex,
    )
  File "/nix/store/n1vv7xlb7vxz4bj6j5fwyiqpnk9dbhf1-nix-update-1.12.1/lib/python3.13/site-packages/nix_update/update.py", line 350, in update_version
    raise UpdateError(msg)
nix_update.errors.UpdateError: Could not find a url in the derivations src attribute

It looks like by default nix-update-script { } is not compatible with fetchMavenArtifact. It looks like this can be fixed with some scripts, but realistically jspecify is unlikely to change for a while and if it does updating manually isn't hard.

I'm going to remove the nix-update-script script stuff for now in order to keep things simple.

[msgilligan]

nixpkgs-review result

Generated using nixpkgs-review.

Command: nixpkgs-review pr 433781
Commit: 6098ce731ce123e3bc60b78dc3e0871da575e080

---

aarch64-darwin

✅ 1 package built:

• jspecify

[yzhou216]

nixpkgs-review result

Generated using nixpkgs-review-gha

Command: nixpkgs-review pr 433781

Logs: https://github.com/yzhou216/nixpkgs-review-gha/actions/runs/16985479608

Download packages from cache:

• x86_64-linux

  nix-store -r --add-root nixpkgs-pr-433781-x86_64-linux \
    --option binary-caches 'https://cache.nixos.org/ https://yzhou216.cachix.org' \
    --option trusted-public-keys '
    cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY=
    yzhou216.cachix.org-1:O7nGwQnLGGBGE8zYFMipVzPVN956FcV57y9SqwEP+O8=
    ' \
    /nix/store/ga9a3qqg32rf2jdfr1v7kzik6d0cylsd-jspecify-1.0.0

• aarch64-linux

  nix-store -r --add-root nixpkgs-pr-433781-aarch64-linux \
    --option binary-caches 'https://cache.nixos.org/ https://yzhou216.cachix.org' \
    --option trusted-public-keys '
    cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY=
    yzhou216.cachix.org-1:O7nGwQnLGGBGE8zYFMipVzPVN956FcV57y9SqwEP+O8=
    ' \
    /nix/store/94pcnx401zbp5117a740r51lj205rjkq-jspecify-1.0.0

• x86_64-darwin

  nix-store -r --add-root nixpkgs-pr-433781-x86_64-darwin \
    --option binary-caches 'https://cache.nixos.org/ https://yzhou216.cachix.org' \
    --option trusted-public-keys '
    cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY=
    yzhou216.cachix.org-1:O7nGwQnLGGBGE8zYFMipVzPVN956FcV57y9SqwEP+O8=
    ' \
    /nix/store/kqhnzqajs133scb6d86qnbrw68grc3r4-jspecify-1.0.0

• aarch64-darwin

  nix-store -r --add-root nixpkgs-pr-433781-aarch64-darwin \
    --option binary-caches 'https://cache.nixos.org/ https://yzhou216.cachix.org' \
    --option trusted-public-keys '
    cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY=
    yzhou216.cachix.org-1:O7nGwQnLGGBGE8zYFMipVzPVN956FcV57y9SqwEP+O8=
    ' \
    /nix/store/3xpnza2pbk6039vy047dxp3r2jsdnh7g-jspecify-1.0.0

---

x86_64-linux

✅ 1 package built:

• jspecify

---

aarch64-linux

✅ 1 package built:

• jspecify

---

x86_64-darwin (sandbox = true)

✅ 1 package built:

• jspecify

---

aarch64-darwin (sandbox = true)

✅ 1 package built:

• jspecify

[yzhou216]

Approved automatically following the successful run of nixpkgs-review.

[msgilligan]

nixpkgs-review result

Generated using nixpkgs-review.

Command: nixpkgs-review pr 433781
Commit: 6098ce731ce123e3bc60b78dc3e0871da575e080

---

aarch64-linux

✅ 1 package built:

• jspecify

[qzylinra]

Can use makeWrapper to create a bin?

[msgilligan]

Can use makeWrapper to create a bin?

JSpecify is just a JAR with a handful of (important!) annotations in it. There's no main routine to wrap in a binary.

[msgilligan]

Thanks, @NickCao ! If PR #433975 gets approved/merged maybe we can simplify this one.