Skip to content

feat(pkgs): add gnat16 (Ada) + guile-json#15

Merged
UnbreakableMJ merged 1 commit into
mainfrom
feat/pkgs-gnat16-guile-json
Jun 27, 2026
Merged

feat(pkgs): add gnat16 (Ada) + guile-json#15
UnbreakableMJ merged 1 commit into
mainfrom
feat/pkgs-gnat16-guile-json

Conversation

@UnbreakableMJ

Copy link
Copy Markdown
Contributor

Adds two packages to modules/packages/development.nix (both present on stable 26.05):

  • gnat16 (16.1.0) — GNAT (GCC 16) Ada compiler.
  • guile-json (4.7.3) — JSON reader/writer library for Guile.

Collision handling

gnat16 is a wrapped GCC and ships gcc/cpp/cc/g++, which collide with the existing gcc in the system buildEnv. Installed via lib.lowPrio gnat16 so gcc wins the shared files; GNAT's unique bins (gnat, gnatmake, gnatbind, gnatchop, gnatlink) still link.

Verification

  • nix-instantiate --parse on the module — OK.
  • Both attrs resolve to real derivations (gnat-wrapper-16.1.0, guile-json-4.7.3).
  • system.path builds clean (no collision); bin/gcc → gcc-wrapper-15.2.0, bin/gnat → gnat-16.1.0.

Docs synced: PRD.md §11.3, TODO.md development.nix checklist.

🤖 Generated with Claude Code

- gnat16 16.1.0 — GNAT (GCC 16 Ada) compiler. Installed via lib.lowPrio:
  GNAT is a wrapped GCC and ships gcc/cpp/cc/g++, which collide with the
  existing `gcc` in the system buildEnv. lowPrio makes gcc win the shared
  files while gnat/gnatmake/gnatbind/gnatchop/gnatlink still link.
- guile-json 4.7.3 — JSON reader/writer library for Guile.

Both are on stable 26.05. PRD §11.3 and TODO development.nix synced.

Verified: system.path builds with no collision; bin/gcc -> gcc-wrapper-15.2.0,
bin/gnat -> gnat-16.1.0.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
@UnbreakableMJ UnbreakableMJ merged commit 9cab251 into main Jun 27, 2026
1 check passed
@UnbreakableMJ UnbreakableMJ deleted the feat/pkgs-gnat16-guile-json branch June 27, 2026 08:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant