Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

gnatPackages: AdaCore 2025 updates #352856

Open
wants to merge 7 commits into
base: master
Choose a base branch
from
Open

gnatPackages: AdaCore 2025 updates #352856

wants to merge 7 commits into from
+91 −25

Conversation

sternenseemann
Copy link
Member

@sternenseemann sternenseemann commented Nov 1, 2024 •
edited
Loading

Still incomplete.

This was referenced Nov 1, 2024
Draft
Closed
@github-actions github-actions bot added 6.topic: nixos Issues or PRs affecting NixOS modules, or package usability issues specific to NixOS 8.has: documentation This PR adds or changes documentation 8.has: changelog labels Nov 1, 2024
@sternenseemann sternenseemann force-pushed the adacore-2025 branch 2 times, most recently from afbef00 to aa93445 Compare November 1, 2024 15:08
@sternenseemann sternenseemann changed the title [WIP] gnatPackages: AdaCore 2025 updates gnatPackages: AdaCore 2025 updates Nov 1, 2024
@sternenseemann
Copy link
Member Author

sternenseemann commented Nov 1, 2024 •
edited
Loading

All in all, maybe a bit risky for 24.11. I've split out the gnat default update to #352894, since it's probably nice to match gcc.

@sternenseemann sternenseemann marked this pull request as ready for review November 1, 2024 15:25
@sternenseemann sternenseemann mentioned this pull request Nov 1, 2024
Closed
40 tasks
@ofborg ofborg bot added 11.by: package-maintainer This PR was created by the maintainer of the package it changes 10.rebuild-darwin: 11-100 10.rebuild-linux: 101-500 8.has: package (new) This PR adds a new package labels Nov 1, 2024
@ofborg ofborg bot requested a review from jiegec November 1, 2024 22:06
@wegank wegank added the 2.status: merge conflict This PR has merge conflicts with the target branch label Nov 10, 2024
r-ryantm and others added 7 commits November 30, 2024 19:46
@r-ryantm @sternenseemann
gnatPackages.xmlada: 24.0.0 -> 25.0.0
a81f13d
@sternenseemann
gnatPackages.gprbuild: 24.0.0 -> 25.0.0
9673251
@sternenseemann
gnatPackages.gnatcoll-core: 24.0.0 -> 25.0.0
b5db2a4 
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.
@sternenseemann
gnatPackages.gnatcoll-*(bindings): 24.0.0 -> 25.0.0
8bc7bcc
@sternenseemann
gnatPackages.gpr2: 24.0.0 -> 25.0.0
0ccec7f
@sternenseemann
gnatPackages.gnatcoll-cpp: init at 25.0.0
b202077 
gnatcoll_cpp adds bindings to C++ strings:
AdaCore/gnatcoll-bindings@f24b276
@sternenseemann
gnatPackages.gnatcoll-*(db): 24.0.0 -> 25.0.0
3fd273a
@github-actions github-actions bot removed 6.topic: nixos Issues or PRs affecting NixOS modules, or package usability issues specific to NixOS 8.has: documentation This PR adds or changes documentation 8.has: changelog 10.rebuild-linux: 101-500 labels Nov 30, 2024
@sternenseemann
Copy link
Member Author

gnat12Packages.gnatcoll-core is fixed. I think we can live with the gpr2 regressions since gnatprove only depends on it for gnat >= 14 where it compiles without issues.

@sternenseemann sternenseemann removed the 2.status: merge conflict This PR has merge conflicts with the target branch label Nov 30, 2024
@sternenseemann sternenseemann mentioned this pull request Dec 7, 2024
Draft
@sternenseemann sternenseemann mentioned this pull request Dec 8, 2024
Draft
@samueltardieu
Copy link
Contributor

nixpkgs-review result

Generated using nixpkgs-review.

Command: nixpkgs-review pr 352856

x86_64-linux

⏩ 3 packages marked as broken and skipped:
  • gnat12Packages.gpr2
  • gnat13Packages.gpr2
  • gnatPackages.gpr2
✅ 65 packages built:
  • alire
  • emacsPackages.ada-mode
  • florist
  • gnat12Packages.gnatcoll-core
  • gnat12Packages.gnatcoll-cpp
  • gnat12Packages.gnatcoll-db2ada
  • gnat12Packages.gnatcoll-gmp
  • gnat12Packages.gnatcoll-iconv
  • gnat12Packages.gnatcoll-lzma
  • gnat12Packages.gnatcoll-omp
  • gnat12Packages.gnatcoll-postgres
  • gnat12Packages.gnatcoll-python3
  • gnat12Packages.gnatcoll-readline
  • gnat12Packages.gnatcoll-sql
  • gnat12Packages.gnatcoll-sqlite
  • gnat12Packages.gnatcoll-syslog
  • gnat12Packages.gnatcoll-xref
  • gnat12Packages.gnatcoll-zlib
  • gnat12Packages.gnatinspect
  • gnat12Packages.gnatprove
  • gnat12Packages.gprbuild
  • gnat12Packages.gprbuild-boot
  • gnat12Packages.xmlada
  • gnatPackages.gnatcoll-core (gnat13Packages.gnatcoll-core)
  • gnatPackages.gnatcoll-cpp (gnat13Packages.gnatcoll-cpp)
  • gnatPackages.gnatcoll-db2ada (gnat13Packages.gnatcoll-db2ada)
  • gnatPackages.gnatcoll-gmp (gnat13Packages.gnatcoll-gmp)
  • gnatPackages.gnatcoll-iconv (gnat13Packages.gnatcoll-iconv)
  • gnatPackages.gnatcoll-lzma (gnat13Packages.gnatcoll-lzma)
  • gnatPackages.gnatcoll-omp (gnat13Packages.gnatcoll-omp)
  • gnatPackages.gnatcoll-postgres (gnat13Packages.gnatcoll-postgres)
  • gnatPackages.gnatcoll-python3 (gnat13Packages.gnatcoll-python3)
  • gnatPackages.gnatcoll-readline (gnat13Packages.gnatcoll-readline)
  • gnatPackages.gnatcoll-sql (gnat13Packages.gnatcoll-sql)
  • gnatPackages.gnatcoll-sqlite (gnat13Packages.gnatcoll-sqlite)
  • gnatPackages.gnatcoll-syslog (gnat13Packages.gnatcoll-syslog)
  • gnatPackages.gnatcoll-xref (gnat13Packages.gnatcoll-xref)
  • gnatPackages.gnatcoll-zlib (gnat13Packages.gnatcoll-zlib)
  • gnatPackages.gnatinspect (gnat13Packages.gnatinspect)
  • gnatprove (gnatPackages.gnatprove)
  • gprbuild (gnatPackages.gprbuild)
  • gnatPackages.gprbuild-boot (gnat13Packages.gprbuild-boot)
  • gnatPackages.xmlada (gnat13Packages.xmlada)
  • gnat14Packages.gnatcoll-core
  • gnat14Packages.gnatcoll-cpp
  • gnat14Packages.gnatcoll-db2ada
  • gnat14Packages.gnatcoll-gmp
  • gnat14Packages.gnatcoll-iconv
  • gnat14Packages.gnatcoll-lzma
  • gnat14Packages.gnatcoll-omp
  • gnat14Packages.gnatcoll-postgres
  • gnat14Packages.gnatcoll-python3
  • gnat14Packages.gnatcoll-readline
  • gnat14Packages.gnatcoll-sql
  • gnat14Packages.gnatcoll-sqlite
  • gnat14Packages.gnatcoll-syslog
  • gnat14Packages.gnatcoll-xref
  • gnat14Packages.gnatcoll-zlib
  • gnat14Packages.gnatinspect
  • gnat14Packages.gnatprove
  • gnat14Packages.gpr2
  • gnat14Packages.gprbuild
  • gnat14Packages.gprbuild-boot
  • gnat14Packages.xmlada
  • powerjoular

@wegank wegank added the 12.approvals: 1 This PR was reviewed and approved by one reputable person label Dec 8, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@samueltardieu samueltardieu samueltardieu approved these changes

@heijligen heijligen Awaiting requested review from heijligen

@jiegec jiegec Awaiting requested review from jiegec

@emilazy emilazy Awaiting requested review from emilazy

Assignees
No one assigned
Labels
8.has: package (new) This PR adds a new package 10.rebuild-darwin: 11-100 10.rebuild-linux: 11-100 11.by: package-maintainer This PR was created by the maintainer of the package it changes 12.approvals: 1 This PR was reviewed and approved by one reputable person
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@sternenseemann @samueltardieu @wegank @r-ryantm