Package: asis / 2018-2

gnatprj_instead_of_gnat_sources.diff Patch series | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
Description: Use packaged libgnatvsn instead of source copies.
 The name of this patch mentions gnatprj for historical reasons.
Author: Nicolas Boulenguez <nicolas@debian.org>
Forwarded: not-needed

--- a/asis.gpr
+++ b/asis.gpr
@@ -21,12 +21,13 @@
 --                                                                          --
 ------------------------------------------------------------------------------
 
+with "gnatvsn";
 with "common";
 
 project Asis is
 
    for Languages use ("ada");
-   for Source_Dirs use ("asis", "gnat");
+   for Source_Dirs use ("asis");
    for Object_Dir use "obj";
    for Library_Name use "asis";
    for Library_Dir use "lib";