On Tue, 2014-03-11 at 14:13 -0400, Adam Jensen wrote:
> On Tue, 11 Mar 2014 17:41:57 +0000
> Brian Drummond <[email protected]> wrote:
> 
> > While it's true (and annoying as hell) that Gnat by default
> > doesn't have some of the LRM checks turned on, if ghdl is
> > built using its supplied makefiles, you can be sure that the
> > build flags include these checks and more.

> Sorry to press the issue, but in the repository I see:

No - quite right to do so. It's quite likely I'm missing something.

As I understand it, however, Brian Davis wouldn't be running the
"dist.sh sources" script since he is building the mcode (not gcc)
version.

- Brian


_______________________________________________
Ghdl-discuss mailing list
[email protected]
https://mail.gna.org/listinfo/ghdl-discuss

Reply via email to