File: no-library-interface.diff

package info (click to toggle)
libgnatcoll-db 18-4
  • links: PTS
  • area: main
  • in suites: buster
  • size: 2,268 kB
  • sloc: ada: 23,786; python: 2,166; makefile: 486; sh: 34; ansic: 18
file content (18 lines) | stat: -rw-r--r-- 678 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
 
Description: Unset Library_Interface in sqlite project.
 It is intended to prevent installation of some sources and ALI files
 by gprinstall, but also (probably unwantedly) hides the symbols from the
 builder and gnade components to posterior links.
 .
 See debian/tests/link-sqlite for a reproducer.
Author: Nicolas Boulenguez <nicolas@debian.org>

--- a/sqlite/gnatcoll_sqlite.gpr
+++ b/sqlite/gnatcoll_sqlite.gpr
@@ -47,7 +47,6 @@
    case Library_Type is
       when "relocatable" =>
          for Leading_Library_Options use External_As_List ("LDFLAGS", " ");
-         for Library_Interface use ("gnatcoll.sql.sqlite");
       when others =>
          null;
    end case;