Skip to content

Commit

Permalink
Workaround for gcc 10 bug
Browse files Browse the repository at this point in the history
  • Loading branch information
Seb-MCaw committed Aug 13, 2024
1 parent 4186694 commit 2764a45
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions src/alire/alire-uri.ads
Original file line number Diff line number Diff line change
Expand Up @@ -86,23 +86,23 @@ package Alire.URI with Preelaborate is

subtype Local_URIs is URI_Kinds
with Static_Predicate =>
Local_URIs in Local_VCS_URIs | Local_Other;
Local_URIs in Local_Git | Local_Hg | Local_SVN | Local_Other;

subtype Public_VCS_URIs is URI_Kinds
with Static_Predicate =>
Public_VCS_URIs in Public_Git | Public_Hg | Public_SVN;

subtype Public_URIs is URI_Kinds
with Static_Predicate =>
Public_URIs in Public_VCS_URIs | Public_Other;
Public_URIs in Public_Git | Public_Hg | Public_SVN | Public_Other;

subtype Private_VCS_URIs is URI_Kinds
with Static_Predicate =>
Private_VCS_URIs in Private_Git | Private_Hg | Private_SVN;

subtype Private_URIs is URI_Kinds
with Static_Predicate =>
Private_URIs in Private_VCS_URIs | SSH_Other;
Private_URIs in Private_Git | Private_Hg | Private_SVN | SSH_Other;

subtype Git_URIs is URI_Kinds range Local_Git .. Private_Git;
subtype Hg_URIs is URI_Kinds range Local_Hg .. Private_Hg;
Expand Down

0 comments on commit 2764a45

Please sign in to comment.