From: Fabien Chouteau <fabien.chouteau@gmail.com>
Subject: Re: Raising "exception" in a .gpr file
Date: Mon, 16 Aug 2021 06:13:05 -0700 (PDT) [thread overview]
Message-ID: <1c9be25d-a03d-4b8c-bab2-df56a75818dbn@googlegroups.com> (raw)
In-Reply-To: <ce96c9ca-ae18-4ccd-a6c9-768a6a28ff8cn@googlegroups.com>
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"
prev parent reply other threads:[~2021-08-16 13:13 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-08-13 7:23 Raising "exception" in a .gpr file mockturtle
2021-08-13 7:44 ` Dmitry A. Kazakov
2021-08-13 8:11 ` mockturtle
2021-08-13 15:40 ` Björn Lundin
2021-08-15 16:00 ` Mark Lorenzen
2021-08-15 16:21 ` Britt
2021-08-16 13:13 ` Fabien Chouteau [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox