File: gprbuild.install

package info (click to toggle)
gprbuild 2018-6
  • links: PTS, VCS
  • area: main
  • in suites: buster
  • size: 6,248 kB
  • sloc: ada: 68,368; xml: 4,043; makefile: 423; sh: 365; ansic: 97; cpp: 89; fortran: 62
file content (21 lines) | stat: -rw-r--r-- 653 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
obj/gprbuild   usr/bin
obj/gprclean   usr/bin
obj/gprconfig  usr/bin
obj/gprinstall usr/bin
obj/gprls      usr/bin
obj/gprname    usr/bin
obj/gprslave   usr/bin

# gprbind and gprlib must avoid multiarch locations because their
# path will figure in the architecture-independant
# /usr/share/gprconfig/*.xml.
obj/gprbind usr/lib/gprbuild
obj/gprlib  usr/lib/gprbuild

# Implicit project (gpr_util.ads).
share/_default.gpr            usr/share/gpr

# Standard knowledge base (gpr/src/gpr-knowledge.adb).
share/gprconfig/*.ent         usr/share/gprconfig
share/gprconfig/*.xml         usr/share/gprconfig
share/gprconfig/gprconfig.xsd usr/share/gprconfig