evel/gprbuild: upgrade to 25.0.0
Unfortunately DISABLE_MAKE_JOBS must be set, in order to avoid an error
during installation.
Description
Description
Details
Details
- Provenance
thierry Authored on Jan 12 2025, 2:55 PM - Parents
- R11:b1e0fa4c7445: devel/gprbuild: don't let MAKEFLAGS pollute gprbuild gmake invocation
- Branches
- Unknown
- Tags