1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
|
Source: gnat-gps
Section: devel
Priority: optional
Maintainer: Ludovic Brenta <lbrenta@debian.org>
Uploaders: Xavier Grave <xavier.grave@csnsm.in2p3.fr>,
Nicolas Boulenguez <nicolas@debian.org>
Build-Depends: debhelper (>= 11),
gnat,
libgpr2-dev,
libxmlada-unicode8-dev,
libxmlada-input8-dev,
libxmlada-sax8-dev,
libxmlada-dom8-dev,
gprbuild (>= 2017),
# gprbuild removing auto.cgpr after the build.
libtemplates-parser12-dev,
pkg-config, libglib2.0-dev, libgtk-3-dev,
libgtkada18-dev,
libgnatcoll-python17-dev,
libgnatcoll17-dev,
libgnatcoll-sqlite-bin (>= 18),
# d/rules uses gnatcoll_sqlite2ada
libgnatcoll-sqlite17-dev,
libgnatcoll-xref18-dev,
libclang-dev,
libpython2.7-dev,
# gnatcoll_extras/src/python_support_gtk.c
python-gi-dev,
# gnatcoll_extras/src/python_support_gtk.c
Build-Depends-Indep:
# Sphinx uses graphs for Python inheritance trees, in gps.py for example.
graphviz,
libjs-prototype (>= 1.6.1),
libjs-scriptaculous (>= 1.5.1),
latexmk,
# Sphinx >= 1.6 uses the latexmk driver.
texlive-fonts-recommended,
# sphinx-doc requires iftex.sty:
texlive-plain-generic,
texlive-latex-extra,
# dh_sphinxdoc
sphinx-common,
# other js libraries
dh-linktree,
python3-sphinx
# Some gps modules are imported by sphinx.
,python3-six
Standards-Version: 4.2.1
Rules-Requires-Root: no
Vcs-Browser: http://www.ada-france.org:8081/branch/changes/org.debian.gnat-gps
Vcs-Mtn: mtn://www.ada-france.org?org.debian.gnat-gps
Homepage: https://www.adacore.com/community
Package: gnat-gps
# Gcc exhausts virtual address space on true 32 bits machines, see #913371.
Architecture: amd64 arm64 mips64el ppc64el s390x alpha ia64 kfreebsd-amd64 ppc64 riscv64 sparc64
Depends: gnat-gps-common (=${source:Version}), ${shlibs:Depends}, ${misc:Depends},
# Required to generate the GTK binding at run time.
gir1.2-gtk-3.0,
# Required for any compilation.
gprbuild,
# Required by the Python scripts describing the GUI.
python-gi,
# libgnatcoll-sqlite-bin provides gnatinspect and gnat-gps runs it.
libgnatcoll-sqlite-bin
# Some gps modules are patched for python2&3.
,python-six
Recommends: gnat (>= 4.9), gdb-minimal (>= 6.8),
gnat-gps-doc (= ${source:Version})
,python-jedi
,python-pep8
# Recommends: -doc because the welcome page displays documentation.
Description: integrated development environment for C and Ada
GNAT Programming Studio is a complete integrated development environment
that gives access to a wide range of tools and integrates them smoothly.
.
GPS gives access to built-in file editing; HTML based help system;
complete compile/build/run cycle; intelligent source navigation;
project management; general graph technology giving access to many
different browsers such as source dependency, project dependency, call
graphs, etc.; fully integrated visual debugger, based on the GVD
technology, and enhanced for inclusion in GPS; generic version control
system, providing access to CVS, ClearCase, and possibly others in the
future; many other tools such as a visual comparison, automatic
generation of files, source reformatting.
.
GPS is fully customizable, providing several levels of customizations:
a first level, available through the preferences dialog; a second
level, which allows you to customize your menu items, tool bar and key
bindings; a third level, which allows you to automate processing
through scripts; and a fourth level, which allows any kind of very
specific or tight integration, due to the open nature of GPS, and to
its architecture.
.
GPS also integrates with existing editors such as Emacs and Vi.
.
This package also provides related command line tools:
- gnatdoc extracts documentation from comments in Ada sources
- gnatspark runs a spark tool according to a GNAT project
- gps_cli is a command-line interface for gnat-gps
Package: gnat-gps-doc
Architecture: all
Multi-Arch: foreign
Depends: ${misc:Depends}, ${sphinxdoc:Depends}
Built-Using: ${sphinxdoc:Built-Using}
Recommends: ada-reference-manual-2012
Section: doc
Description: integrated development environment for C and Ada (documentation)
GNAT Programming Studio is a complete integrated development environment
that gives access to a wide range of tools and integrates them smoothly.
.
This package contains the documentation in HTML and PDF formats.
This documentation consists of:
- the GPS Tutorial: building Hello, World with the GPS
- a User's Guide: using the GPS for multi-language projects
- a Programmer's Manual: extending the GPS with new modules
- an user's guide for the gnatdoc command line tool
Package: gnat-gps-common
Architecture: all
Depends: ${misc:Depends}
Description: integrated development environment for C and Ada (common files)
GNAT Programming Studio is a complete integrated development environment
that gives access to a wide range of tools and integrates them smoothly.
.
This package contains images, templates and plug-ins required at run time
by GPS.
|
