File: gprinstall-no-indep-artifacts.diff

package info (click to toggle)
libgtkada 24.0.0-5
  • links: PTS, VCS
  • area: main
  • in suites: sid, trixie
  • size: 41,644 kB
  • sloc: ada: 208,030; xml: 8,602; python: 4,513; perl: 3,838; sh: 3,227; ansic: 1,986; makefile: 348; objc: 163; javascript: 100
file content (24 lines) | stat: -rw-r--r-- 808 bytes parent folder | download | duplicates (2)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
Description: remove docs from installation artifacts in gnat project
 Gprinstall does not distinguish architecture-independent and
 architecture-dependent files during installation.
 .
 Gprinstall is quite convenient for -arch builds, but should not
 interfer with -indep installations.
Forwarded: not-needed
Author: Nicolas Boulenguez <nicolas@debian.org>

--- a/src/gtkada.gpr
+++ b/src/gtkada.gpr
@@ -79,12 +79,6 @@
    end Linker;
 
    package Install is
-      for Artifacts ("share/gps/plug-ins") use ("../xml/gtkada.xml");
-      for Artifacts ("share/doc/gtkada/gtkada_ug") use
-        ("../docs/gtkada_ug/_build/html/*",
-         "../docs/gtkada_ug/_build/latex/GtkAda.pdf");
-      for Artifacts ("share/doc/gtkada") use
-        ("../docs/gtkada_rm/gtkada_rm");
    end Install;
 
 end GtkAda;