59 Commits

Author SHA1 Message Date
Dmitry Bogatov
7e171b0e14 xmlada: migrate to finalAttrs
Assisted-by: claude-opus-4-8
2026-10-23 00:56:20 +00:00
Weijia Wang
8d39a8ed51 gnat{13, 14, 15, 16}, gprbuild, gprbuild-boot, gnatcoll, gpr2, alire, gnatprove: fix build on aarch64-darwin (#539937) 2026-10-12 00:02:41 +00:00
zinzilulo
3cfe668d2f gnat13Packages.gnatprove: fix aarch64 build
Apply the patch to suppress aarch64 warnings that cause the
gnat13Packages.gnatprove build to fail.
2026-08-22 22:39:58 +08:00
zinzilulo
92a132aa15 gnatcoll-*: avoid stdenv SDK
Use stdenvNoCC so gnatcoll-* use the SDK provided by GNAT.
2026-08-22 22:39:58 +08:00
zinzilulo
90572a7383 gprbuild: remove relocatable build patch
The patch causes gprbuild to look for libgnarl in its own lib directory,
where it is not available.
2026-08-22 22:39:57 +08:00
zinzilulo
91ea81b543 gprbuild: package and patch gprconfig-kb
Upstream assumes the platform is named aarch64-darwin, while nixpkgs
uses arm64-darwin.
2026-08-22 22:39:57 +08:00
zinzilulo
d1c19500f2 gnatprove: avoid stdenv SDK
Use stdenvNoCC so GNATprove uses the SDK provided by GNAT.
Add clang as ocamlc invokes it during compilation.
2026-08-22 22:39:45 +08:00
zinzilulo
b229e0e758 gnatprove: fix Darwin source path
Rename the aarch64-darwin source directory to match the arm64-darwin
target used by nixpkgs.
2026-08-21 23:23:37 +08:00
zinzilulo
b42ab33fd6 gnatcoll-core: avoid stdenv SDK
Use stdenvNoCC so gnatcoll-core only uses the SDK provided by GNAT.
2026-08-21 23:23:36 +08:00
zinzilulo
dbd701e6f0 gpr2: fix collect_kb permissions
Make collect_kb executable before the build.
2026-08-21 23:23:36 +08:00
Skye Soss
8f2259054d gnatPackages.gnatcoll-*(db): update substituteInPlace
Replaces --replace with --replace-fail.
Per https://github.com/NixOS/nixpkgs/issues/356002
2026-08-17 19:33:29 -05:00
sempiternal-aurora
e27d7aa3b7 gprbuild-boot: Mark broken on darwin 2026-06-30 16:36:55 +10:00
Tom Hunze
f1840faeb1 gnat15Packages.gnatprove: fix build on aarch64-linux
Co-Authored-By: sempiternal-aurora <78790545+sempiternal-aurora@users.noreply.github.com>
2026-05-24 09:47:04 +02:00
Tom Hunze
a261d6ec3c gnatPackages.gnatcoll-core: remove redundant gnat 12 patch
We don't ship gnat 12 anymore.
2026-05-24 09:45:58 +02:00
Tom Hunze
9c940973d4 gnat16Packages.gnatcoll-core: fix build
b266466e0a
2026-05-22 20:42:38 +02:00
Tom Hunze
41b2d01449 gnat16Packages.gprbuild{,-boot}: fix build
6421e35027
6b6be939d6

Hydra: https://hydra.nixos.org/build/329281640
2026-05-22 20:42:32 +02:00
Justin !
a7b37ea693 treewide: fix rec-set-dynamic-attrs
Lix will soon warn, and in the future, error on `rec-set-dynamic-attrs`.
This commit fix where attrs are dynamically set in a recursive function
currently present in nixpkgs.
2026-01-13 20:04:46 -05:00
Vincent Laporte
eec6d815c9 ocamlPackages.yojson: 2.2.2 → 3.0.0
ocamlPackages.atdgen-codec-runtime: 2.16.0 → 3.0.1
2025-12-12 06:35:52 +01:00
Ihar Hrachyshka
567e8dfd8e treewide: clean up 'meta = with' pattern
This commit was created by a combination of scripts and tools:
- an ast-grep script to prefix things in meta with `lib.`,
- a modified nixf-diagnose / nixf combination to remove unused `with
lib;`, and
- regular nixfmt.

Co-authored-by: Wolfgang Walther <walther@technowledgy.de>
2025-12-10 18:09:49 +01:00
Aliaksandr
80f12557f5 treewide: replace "yes" else "no" usages to lib.boolToYesNo 2025-10-21 16:04:34 +03:00
Thomas Heijligen
20fab5e28d gnatPackages.gnatprove: Add fsf-15 version 2025-10-12 05:54:19 +02:00
NAHO
c8d4dabc43 pkgs: remove optional builtins prefixes from prelude functions
Remove optional builtins prefixes from prelude functions by running:

    builtins=(
      abort
      baseNameOf
      break
      derivation
      derivationStrict
      dirOf
      false
      fetchGit
      fetchMercurial
      fetchTarball
      fetchTree
      fromTOML
      import
      isNull
      map
      null
      placeholder
      removeAttrs
      scopedImport
      throw
      toString
      true
    )

    fd \
      --type file \
      . \
      pkgs \
      --exec-batch sed --in-place --regexp-extended "
        s/\<builtins\.($(
          printf '%s\n' "${builtins[@]}" |
            paste --delimiter '|' --serial -
        ))\>/\1/g
      "

    nix fmt
2025-10-04 19:02:37 +02:00
Vladimír Čunát
8cdb0f159a gnat13Packages.gnatprove: fixup build after gcc13 update 2025-08-03 10:29:06 +02:00
mivorasu
ee0866bddd treewide: conform descriptions to the standards 2025-07-28 04:39:00 +00:00
Wolfgang Walther
5a0711127c treewide: run nixfmt 1.0.0 2025-07-24 13:55:40 +02:00
Thomas Heijligen
6e75ca1faa gnatprove: fix building with gcc-14.3
- Fix extracting of gnat sources
  When the gnat.cc.version does not match the gcc version within the
  tarball, the postPatch phase could't extract the needed sources.
  Use wildcards to overcome this issue.

- Changes for gcc-14.3 broke the build
  Backporting a patch from spark2014 master to fsf-14
  https://github.com/AdaCore/spark2014/issues/58
2025-05-27 15:11:32 +02:00
Ihar Hrachyshka
dd0f03a56c treewide: remove usage of deprecated apple_sdk framework stubs
They are not doing anything right now. This is in preparation for their
complete removal from the tree.

Note: several changes that affect the derivation inputs (e.g. removal of
references to stub paths in build instructions) were left out. They will
be cleaned up the next iteration and will require special care.

Note: this PR is a result of a mix of ugly regex (not AST) based
automation and some manual labor. For reference, the regex automation
part was hacked in: https://github.com/booxter/nix-clean-apple_sdk

Signed-off-by: Ihar Hrachyshka <ihar.hrachyshka@gmail.com>
2025-04-19 20:28:20 -04:00
Winter
a19cd4ffb1 Revert "treewide: replace rev with tag"
This reverts commit 65a333600d.

This wasn't tested for correctness with something like fodwatch [0],
and should not have been (self-)merged so quickly, especially without
further review.

It also resulted in the breakage of at least one package [1] (and that's
the one we know of and was caught).

A few packages that were updated in between this commit and this revert
were not reverted back to using `rev`, but other than that, this is a
1:1 revert.

[0]: https://codeberg.org/raphaelr/fodwatch
[1]: https://github.com/NixOS/nixpkgs/pull/396904 / 758551e458
2025-04-08 02:57:25 -04:00
Pol Dellaiera
65a333600d treewide: replace rev with tag 2025-04-07 16:57:22 +02:00
Silvan Mosberger
374e6bcc40 treewide: Format all Nix files
Format all Nix files using the officially approved formatter,
making the CI check introduced in the previous commit succeed:

  nix-build ci -A fmt.check

This is the next step of the of the [implementation](https://github.com/NixOS/nixfmt/issues/153)
of the accepted [RFC 166](https://github.com/NixOS/rfcs/pull/166).

This commit will lead to merge conflicts for a number of PRs,
up to an estimated ~1100 (~33%) among the PRs with activity in the past 2
months, but that should be lower than what it would be without the previous
[partial treewide format](https://github.com/NixOS/nixpkgs/pull/322537).

Merge conflicts caused by this commit can now automatically be resolved while rebasing using the
[auto-rebase script](8616af08d9/maintainers/scripts/auto-rebase).

If you run into any problems regarding any of this, please reach out to the
[formatting team](https://nixos.org/community/teams/formatting/) by
pinging @NixOS/nix-formatting.
2025-04-01 20:10:43 +02:00
jayay
5f7505bb23 gnatprove: mute warnings about type conversion for aarch64 2025-03-28 20:13:15 +01:00
jayay
9c954c604f gprbuild: add compiler configuration for aarch64-unknown-linux-gnu
Fixes gprbuild to find `ar`, `cr` and `nm` for native aarch64-linux
compilation of Ada projects.
2025-03-28 20:13:05 +01:00
Sigmanificient
91d5ab3ae4 treewide: remove unused rec expressions 2025-03-14 05:15:05 +01:00
Wolfgang Walther
546ece569b libpq: init at 17.2
Resolves #61580
2025-01-19 12:49:21 +01:00
github-actions[bot]
915adfe15e Merge staging-next into staging 2024-12-22 00:16:10 +00:00
sternenseemann
ebb16d0fe0 gnatPackages: AdaCore 2025 updates (#352856) 2024-12-21 21:24:19 +01:00
Yueh-Shun Li
6f8448a10c gpr-project-darwin-rpath-hook.sh: append *Phases with appendToVar 2024-12-17 01:46:04 +08:00
Silvan Mosberger
4f0dadbf38 treewide: format all inactive Nix files
After final improvements to the official formatter implementation,
this commit now performs the first treewide reformat of Nix files using it.
This is part of the implementation of RFC 166.

Only "inactive" files are reformatted, meaning only files that
aren't being touched by any PR with activity in the past 2 months.
This is to avoid conflicts for PRs that might soon be merged.
Later we can do a full treewide reformat to get the rest,
which should not cause as many conflicts.

A CI check has already been running for some time to ensure that new and
already-formatted files are formatted, so the files being reformatted here
should also stay formatted.

This commit was automatically created and can be verified using

    nix-build a08b3a4d19.tar.gz \
      --argstr baseRev b32a094368
    result/bin/apply-formatting $NIXPKGS_PATH
2024-12-10 20:26:33 +01:00
sternenseemann
3fd273a58c gnatPackages.gnatcoll-*(db): 24.0.0 -> 25.0.0 2024-11-30 22:41:37 +01:00
sternenseemann
b2020771fc gnatPackages.gnatcoll-cpp: init at 25.0.0
gnatcoll_cpp adds bindings to C++ strings:
f24b27680a
2024-11-30 22:41:37 +01:00
sternenseemann
0ccec7f055 gnatPackages.gpr2: 24.0.0 -> 25.0.0 2024-11-30 22:41:37 +01:00
sternenseemann
8bc7bcca4d gnatPackages.gnatcoll-*(bindings): 24.0.0 -> 25.0.0 2024-11-30 22:41:36 +01:00
sternenseemann
b5db2a401a gnatPackages.gnatcoll-core: 24.0.0 -> 25.0.0
gnatcoll-core now ships up to four gpr files:

- gnatcoll (for backwards compat)
- gnatcoll_minimal
- gnatcoll_core
- gnatcoll_projects

Unfortunately, you can't freely choose which to build, so this package
hasn't been split up into two to three packages.
2024-11-30 22:41:31 +01:00
sternenseemann
967325133f gnatPackages.gprbuild: 24.0.0 -> 25.0.0 2024-11-30 19:46:28 +01:00
R. Ryantm
a81f13db8d gnatPackages.xmlada: 24.0.0 -> 25.0.0 2024-11-30 19:46:27 +01:00
sternenseemann
92dd419120 gnatPackages.gnatprove: typo fix 2024-10-25 23:03:58 +02:00
sternenseemann
5316b98e2f gnatPackages.gnatprove: run pre/post hooks 2024-10-25 23:03:58 +02:00
Thomas Heijligen
6af36c5003 gnatPackages.gnatprove: Add fsf-14 version
- gpr2 is required as buildInput, but in a special version
- fsf-14 drops SPARKlib from the tree, but the Makefile still expect it, patch it out

Co-authored-by: sternenseemann <sternenseemann@systemli.org>
2024-10-25 23:03:58 +02:00
Thomas Heijligen
066b51bf34 gnatPackages.gpr2: init at 24.0.0
Co-authored-by: sternenseemann <sternenseemann@systemli.org>
2024-10-25 23:03:58 +02:00
Thomas Heijligen
1c172a98ea gnatPackages.gnatprove: Regroup buildInputs
Based on the why3 package.
2024-10-25 23:03:58 +02:00