File: weak_version_check.diff

package info (click to toggle)
asis 2018-2
  • links: PTS, VCS
  • area: main
  • in suites: buster
  • size: 13,528 kB
  • sloc: ada: 155,205; makefile: 297; sh: 67; xml: 48; csh: 10
file content (18 lines) | stat: -rw-r--r-- 745 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
Description: Check tree version, not compiler version.
 Do not check the version string of the compiler embedded in the tree files
 against Gnatvsn.Gnat_Version_String.  Checking only the tree version number
 (Tree_IO.ASIS_Version_Number, in libgnatvsn) is sufficient.
Author: Ludovic Brenta <lbrenta@debian.org>
Forwarded: no

--- a/tools/tool_utils/asis_ul-source_table-processing.adb
+++ b/tools/tool_utils/asis_ul-source_table-processing.adb
@@ -402,7 +402,7 @@
       Keep_ALI           : Boolean := False)
    is
    begin
-      Asis.Implementation.Initialize ("-k -ws -asis05 -sv");
+      Asis.Implementation.Initialize ("-k -ws -asis05");
 
       if True then -- Can we get rid of Only_Bodies????
          Process_Sources_From_Table