From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
	ip-172-31-74-118.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=0.8 required=3.0 tests=BAYES_50,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.6
X-Received: by 2002:a37:9e8c:: with SMTP id h134mr15292596qke.366.1629119585921;
        Mon, 16 Aug 2021 06:13:05 -0700 (PDT)
X-Received: by 2002:a25:5556:: with SMTP id j83mr21301835ybb.309.1629119585699;
 Mon, 16 Aug 2021 06:13:05 -0700 (PDT)
Path: eternal-september.org!reader02.eternal-september.org!news.uzoreto.com!fdc3.netnews.com!news-out.netnews.com!news.alt.net!fdc2.netnews.com!peer01.ams1!peer.ams1.xlned.com!news.xlned.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Mon, 16 Aug 2021 06:13:05 -0700 (PDT)
In-Reply-To: <ce96c9ca-ae18-4ccd-a6c9-768a6a28ff8cn@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=89.157.139.225; posting-account=L3mulQoAAADsXVjCD5rM6Ap3Xy0U3ckB
NNTP-Posting-Host: 89.157.139.225
References: <ce96c9ca-ae18-4ccd-a6c9-768a6a28ff8cn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <1c9be25d-a03d-4b8c-bab2-df56a75818dbn@googlegroups.com>
Subject: Re: Raising "exception" in a .gpr file
From: Fabien Chouteau <fabien.chouteau@gmail.com>
Injection-Date: Mon, 16 Aug 2021 13:13:05 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 1524
Xref: reader02.eternal-september.org comp.lang.ada:62503
List-Id: <comp.lang.ada>

On Friday, August 13, 2021 at 9:23:15 AM UTC+2, mockturtle wrote:
> Do you know if this is possible and how? 

You are already using types:

   type OS_Type is ("linux", "ms", "macos");
   OS : OS_Type :=  external("OS", "linux");

If the external is set to a value that is not part of the type, gprbuild will fail with an error:
 value "Windows_NT" is illegal for typed string "os_type"