Update to v23.0.0.
This commit is contained in:
parent
4c35b01a1b
commit
af2a52c03f
1
.gitignore
vendored
1
.gitignore
vendored
@ -1 +1,2 @@
|
||||
/gprconfig_kb-22.0.0.tar.gz
|
||||
/gprconfig_kb-23.0.0.tar.gz
|
||||
|
@ -1,7 +1,7 @@
|
||||
# Upstream source information.
|
||||
%global upstream_owner AdaCore
|
||||
%global upstream_name gprconfig_kb
|
||||
%global upstream_version 22.0.0
|
||||
%global upstream_version 23.0.0
|
||||
%global upstream_gittag v%{upstream_version}
|
||||
|
||||
Name: gprconfig-kb
|
||||
@ -20,10 +20,8 @@ Source1: fedora_arches.xml
|
||||
|
||||
# [Fedora specific]
|
||||
Patch0: %{name}-fedora-compilers.patch
|
||||
# [Backport patch] Detect by major version (commit: 21cbb4d)
|
||||
Patch1: %{name}-detect-by-major-version.patch
|
||||
# [Fedora specific] Detect major version using `gcc -dumpversion`.
|
||||
Patch2: %{name}-use-dumpversion.patch
|
||||
Patch1: %{name}-use-dumpversion.patch
|
||||
|
||||
# The contents of this package are split off from the gprbuild package.
|
||||
Conflicts: gprbuild <= 2020
|
||||
@ -79,5 +77,9 @@ mkdir --parents %{buildroot}%{_datadir}/gprconfig
|
||||
###############
|
||||
|
||||
%changelog
|
||||
* Sun Oct 30 2022 Dennis van Raaij <dvraaij@fedoraproject.org> - 23.0.0-0.1
|
||||
- Updated to v23.0.0, using the archive available on GitHub.
|
||||
- Removed backport patch gprconfig-kb-detect-by-major-version.patch.
|
||||
|
||||
* Sun Oct 02 2022 Dennis van Raaij <dvraaij@fedoraproject.org> - 22.0.0-1
|
||||
- New package. The contents of this package are split off from the gprbuild package.
|
||||
|
2
sources
2
sources
@ -1 +1 @@
|
||||
SHA512 (gprconfig_kb-22.0.0.tar.gz) = 69f8490af56b0e07afbfef51c12cd6361a00327af774cd0deacf8260ccc4782e1e8465a074e8a025024570ce43ba1b4b3adfbde9ae4ea372e487d342da6994d4
|
||||
SHA512 (gprconfig_kb-23.0.0.tar.gz) = 505b632ff744c8fbb75b72d0f406a88a2c675d5afead9f0f8ca282ae79ca4e38c174dfe424c4c4a55835a9ebdbc6d0a2f329592bd6dfb87d5493e8473a0b2376
|
||||
|
Loading…
x
Reference in New Issue
Block a user