-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 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: $ grep -R "\-gnato" * ortho/debug/Makefile:ALL_GNAT_FLAGS=-pipe -g -gnato -gnatwl - -gnatf -gnaty3befhkmr -gnatwu But after: $ ./dist.sh sources There is no mention of -gnato in the Makefiles. Did I miss something? -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.13 (OpenBSD) iQIcBAEBAgAGBQJTH1JAAAoJEGUApdpiqr3gTNQP/RrusgBC516oA4oejCglB9K8 0JUsUMOE2T6XjLEdgMJXIs7j5kUrLyHrZH0HIb7DNAzsUdeIURO+qEFLmRYsGlFM JtZoQXxAigvoyl+bLuop2QQnhZOYMXpAjlpfTWY7nUgV32OXxJyuTEY3D1X5tE/3 /VdUudxb/JNwhxt2mvPKSZge75NrpZ+ieE/xPiXgnZiAizuOY9ETZ1UEwxEYiU1w hBvvbc+lF7+znY4RzZ62IeD2jKyilL/TH87olUqE6xpaGk5GGmCPapa+f5rwUd3Q 9YU53UQxdcoq/x5KR8ohsvRwooQv8IU95mf5SiQt4SAukwpuVK3YOdZWt09BCrBy 5A2qYzWPIVYvH9b8eZv78oKZXOKL5BTkD4/aUPGegxGFFWnLmHCkDnnA8HU9R9ra y+D5F6+BjiNXu/kLEyPF3ajDxPe9X3VJ7awxuKWy36TqgNnjqLwONokf7AUBKrJq efZAEcIZcdmiNJLfp9diChF5RbN+ZJWbarPh4mu1/0tTAPo8oRTa0JbUayMzns4s 4RZMHesCv53Y7XrAnXvnyAjXT0rIQ2oU0Rv3+fWHGpHS6Ki9xYnHK3MlYZI05JMH pcBq6ueaQXs6he1mqnXerEXnK+/nm3bAvkn+lpIeak/P0jr6gN0/u6yGxmY9Obcf AZiQxy0BHMn8yaGmwyf+ =iBBW -----END PGP SIGNATURE----- _______________________________________________ Ghdl-discuss mailing list [email protected] https://mail.gna.org/listinfo/ghdl-discuss
