debian/0000755000000000000000000000000012215071342007163 5ustar debian/control0000644000000000000000000000662712215070763010607 0ustar Source: asis Maintainer: Ludovic Brenta Uploaders: Xavier Grave , Nicolas Boulenguez Section: libdevel Priority: optional Standards-Version: 3.9.4 Build-Depends: dpkg-dev (>= 1.16.1), debhelper (>= 9), gnat, gnat-4.6, dh-ada-library, libgnatvsn4.6-dev Build-Depends-Indep: texinfo, texlive-generic-recommended, texlive-fonts-recommended, texlive-latex-base Vcs-Browser: http://www.ada-france.org:8081/branch/changes/org.debian.asis Vcs-Mtn: www.ada-france.org org.debian.asis Homepage: http://libre.adacore.com/libre/tools XS-Testsuite: autopkgtest Package: libasis2010-dev Architecture: any Conflicts: libasis-3.15p-1-dev, libasis-dev, libasis2008-dev Replaces: libasis-dev Depends: ${ada:Depends}, ${misc:Depends} Suggests: libasis-doc, libasis2010-dbg Description: Ada Semantic Interface Specification (ASIS) headers and libraries ASIS (Ada Semantic Interface Specification) lets you develop applications to walk through the sources of your Ada programs and examine the semantic constructs. . This package lets you build ASIS applications with GNAT. Package: asis-programs Architecture: any Section: devel Depends: gnat, gnat-4.6, ${shlibs:Depends}, ${misc:Depends} Description: Ada Semantic Interface Specification (ASIS) example programs ASIS (Ada Semantic Interface Specification) lets you develop applications to walk through the sources of your Ada programs and examine the semantic constructs. . * asistant is an interactive command-line tool to explore the ASIS parse tree of a program. * gnatcheck verifies the conformance of source text to coding conventions * gnatelim finds out unused subprograms and eliminates them. * gnatmetric calculates metrics such as code complexity. * gnatpp is a pretty-printer which reformats Ada source text according to a default or user-specified style guide. * gnatstub generates an empty but compilable body for a given specification. * gnatsync analyzes multitasking programs to find possible race conditions. Package: libasis2010 Architecture: any Section: libs Multi-Arch: same Pre-Depends: ${misc:Pre-Depends} Depends: gnat, gnat-4.6, ${shlibs:Depends}, ${misc:Depends} Description: Ada Semantic Interface Specification (ASIS) runtime library ASIS (Ada Semantic Interface Specification) lets you develop applications to walk through the sources of your Ada programs and examine the semantic constructs. . This package contains the libraries necessary to execute ASIS programs. Package: libasis2010-dbg Architecture: any Multi-Arch: same Section: debug Priority: extra Depends: ${ada:Depends}, ${misc:Depends} Recommends: ${ada:Recommends} Suggests: ${ada:Suggests} Description: Ada Semantic Interface Specification (ASIS) runtime library - debugging symbols ASIS (Ada Semantic Interface Specification) lets you develop applications to walk through the sources of your Ada programs and examine the semantic constructs. . This package contains the symbols necessary to debug ASIS programs using gdb. Package: asis-doc Architecture: all Section: doc Depends: ${misc:Depends} Suggests: gnat Description: Ada Semantic Interface Specification (ASIS) documentation ASIS (Ada Semantic Interface Specification) lets you develop applications to walk through the sources of your Ada programs and examine the semantic constructs. . This package contains the documentation in HTML, info, PDF and plain text formats. debian/asistant.10000644000000000000000000000541412215070763011105 0ustar .\" Hey, Emacs! This is an -*- nroff -*- source file. .\" .\" Copyright (C) 2006 Ludovic Brenta .\" .\" This is free software; you can redistribute it and/or modify it under .\" the terms of the GNU General Public License as published by the Free .\" Software Foundation; either version 2, or (at your option) any later .\" version. .\" .\" This is distributed in the hope that it will be useful, but WITHOUT .\" ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or .\" FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License .\" for more details. .\" .\" You should have received a copy of the GNU General Public License with .\" your Debian GNU/Linux system, in /usr/share/common-licenses/GPL, If not, .\" write to the Free Software Foundation, Inc., 51 Franklin St, Fifth .\" Floor, Boston, MA 02110-1301 USA. .\" .TH "ASISTANT" 1 "May 2006" "GNU Ada Tools" "ASIS Tools" .SH NAME \fBasistant\fR \- interactive command-line ASIS tool .SH SYNOPSIS \fBasistant\fR \fIprogram\fR .SH DESCRIPTION .PP ASIS is the Ada Semantic Interface Specification; it is an application programming interface that allows Ada programs to inspect the structure of other Ada programs. GNAT, the GNU Ada compiler, can parse Ada source text and produce tree files suitable for use through ASIS. .PP \fBasistant\fR is an interactive command-line tool with a simple language that allows you to inspect the semantic information about a compiled program. Thus you can learn ASIS and try ASIS queries interactively before writing them in your programs. .SH AUTHOR .PP ASIS-for-GNAT was originally developed by the ASIS-for-GNAT team at the Software Engineering Laboratory of the Swiss Federal Institute of Technology (LGL-EPFL) in Lausanne, Switzerland, in cooperation with the Scientific Research Computer Center of Moscow State University (SRCC MSU), Russia, with funding partially provided by grants from the Swiss National Science Foundation and the Swiss Academy of Engineering Sciences. ASIS-for-GNAT is now maintained by AdaCore (http://www.adacore.com). .PP This manual page was written by Ludovic Brenta for the Debian project, .SH COPYRIGHT Copyright (c) 1995-2006, Free Software Foundation, Inc. .SH SEE ALSO .PP gnat(1), gnatcheck(1), gnatelim(1), gnatmetric(1), gnatpp(1), gnatstub(1) .PP A short introduction to \fBasistant\fR in \fI/usr/share/doc/libasis-dev/tutorial/using_asistant/README\fR .TP \fBinfo asis_ug\fR ASIS-for-GNAT User's Guide, provided by by package \fBlibasis-doc\fR in the Info system, and in text, PDF and HTML formats in \fI/usr/share/doc/libasis-doc\fR. (\fBasis-doc\fR is in the non-free section of Debian). .TP \fBinfo asis_rm\fR ASIS-for-GNAT Reference Manual, same package. debian/gnatmetric.10000644000000000000000000001206312215070763011412 0ustar .\" Hey, Emacs! This is an -*- nroff -*- source file. .\" .\" Copyright (C) 2006 Ludovic Brenta .\" .\" This is free software; you can redistribute it and/or modify it under .\" the terms of the GNU General Public License as published by the Free .\" Software Foundation; either version 2, or (at your option) any later .\" version. .\" .\" This is distributed in the hope that it will be useful, but WITHOUT .\" ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or .\" FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License .\" for more details. .\" .\" You should have received a copy of the GNU General Public License with .\" your Debian GNU/Linux system, in /usr/share/common-licenses/GPL, If not, .\" write to the Free Software Foundation, Inc., 51 Franklin St, Fifth .\" Floor, Boston, MA 02110-1301 USA. .\" .TH "GNATMETRIC" 1 "June 2006" "GNU Ada Tools" "ASIS Tools" .SH NAME \fBgnatmetric\fR \- Ada metrics tool .SH SYNOPSIS \fBgnatmetric\fR [\fIoptions\fR] {\fIfilename\fR | \fB\-files\fR \fIfilename\fR} [\fIgcc_switches\fR] .SH DESCRIPTION \fBgnatmetric\fR takes a set of compilable Ada sources as input, computes for them various programming metrics and generates the output. Argument Ada sources may be provided as command line arguments, or you can place the names of the Ada sources to compute the metrics for into a textual file and to provide the name of this file as the parameter of \fB\-files\fR option. .SH OPTIONS .IP \fB\-v\fR verbose mode .IP \fB\-q\fR quiet mode .IP \fB\-dv\fR generate debug output .IP \fB\-dd\fR generate string to be used as input for progress indicator .IP \fB\-nocc\fR do not compute the McCabe Cyclomatic Complexity .IP \fB\-noec\fR do not compute the Essential Complexity .IP \fB\-nonl\fR do not compute maximal loop nesting level .IP \fB\-ne\fR do not consider exit statements as gotos when computing Essential Complexity .IP \fB\-nolocal\fR do not compute detailed metrics for local program units .SS Line metrics When not specified explicitly, all line metrics are set on, otherwise only specified metrics are computed: .IP \fB\-la\fR the number of all lines .IP \fB\-lcode\fR the number of code lines .IP \fB\-lcomm\fR the number of comment lines .IP \fB\-leol\fR the number of code lines also containing comments .IP \fB\-lb\fR the number of blank lines .SS Element metrics When not specified explicitly, all element metrics are set on, otherwise only specified metrics are computed: .IP \fB\-ed\fR the total number of declarations .IP \fB\-es\fR the total number of statements .IP \fB\-eps\fR the number of public subprograms in a compilation unit .IP \fB\-eas\fR the number of all the subprograms in a compilation unit .IP \fB\-ept\fR the number of public types in a compilation unit .IP \fB\-eat\fR the number of all the types in a compilation unit .IP \fB\-enu\fR the maximal program unit nesting level .IP \fB\-ec\fR the maximal construct nesting level .SS Output file control .IP "\fB\-d\fR \fIdirname\fR" put files with detailed metrics into \fIdirname\fR .IP \fB\-x\fR generate the XML output .IP \fB\-nt\fR do not generate the output in text form, implies '\-x' .IP "\fB\-o\fR \fIfile\-suffix\fR" the suffix for the file to put the detailed metrics for a source file (\fIfile\-suffix\fR should begin with a dot) .IP "\fB\-og\fR \fIfilename\fR" the name of the file to put the global metrics info into (if not set, this info is sent to Stdout) .IP "\fB\-ox\fR \fIfilename\fR" the name of the file to put the XML output into, implies '\-x' .IP \fB\-sfn\fR use short source file name in the output .SS Input files .IP \fIfilename\fR the name of the Ada source file for which metrics should be computed. Wildcards are allowed. .IP "\fB\-files\fR \fIfilename\fR" the name of the text file containing a list of Ada source files for which metrics should be computed. .SS GCC switches .IP \fIgcc_switches\fR Passed to gnatgcc as "\fB\-cargs\fR \fIgcc_switches\fR". .SH AUTHOR .PP ASIS\-for\-GNAT was originally developed by the ASIS\-for\-GNAT team at the Software Engineering Laboratory of the Swiss Federal Institute of Technology (LGL\-EPFL) in Lausanne, Switzerland, in cooperation with the Scientific Research Computer Center of Moscow State University (SRCC MSU), Russia, with funding partially provided by grants from the Swiss National Science Foundation and the Swiss Academy of Engineering Sciences. ASIS\-for\-GNAT is now maintained by AdaCore (http://www.adacore.com). .PP This manual page was written by Ludovic Brenta for the Debian project, from the gnatmetric sources. .SH COPYRIGHT Copyright (c) 1995\-2006, Free Software Foundation, Inc. .SH SEE ALSO .TP asistant(1), gnat(1), gnatcheck(1), gnatelim(1), gnatpp(1), gnatstub(1) .TP \fI/usr/share/doc/asis\-programs/README.gnatmetric\fR .TP \fBinfo asis_ug\fR ASIS\-for\-GNAT User's Guide, provided by by package \fBlibasis\-doc\fR in the Info system, and in text, PDF and HTML formats in \fI/usr/share/doc/libasis\-doc\fR. (\fBasis\-doc\fR is in the non\-free section of Debian). .TP \fBinfo asis_rm\fR ASIS\-for\-GNAT Reference Manual, same package. debian/tools.gpr0000644000000000000000000000375712215070763011057 0ustar -- GNAT Project file that builds the ASIS programs. -- Copyright (c) 2005, 2009, 2011, 2012 Ludovic Brenta -- -- Copyright (c) 2013 Nicolas Boulenguez -- This program is free software; you can redistribute it and/or modify -- it under the terms of the GNU General Public License as published by -- the Free Software Foundation; either version 2 of the License, or -- (at your option) any later version. -- -- This program is distributed in the hope that it will be useful, -- but WITHOUT ANY WARRANTY; without even the implied warranty of -- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the -- GNU General Public License for more details. with "gnatvsn.gpr"; with "./install_asis.gpr"; project Tools is type A_Tool is ("asistant", "gnatcheck", "gnatelim", "gnatstub", "gnatmetric", "gnatpp", "gnatsync"); Tool : A_Tool := External ("tool"); for Source_Dirs use ("../tools/" & Tool, "../tools/tool_utils", "../tools/tool_utils/templates"); for Object_Dir use Project'Name & "_obj_" & Tool; case Tool is when "asistant" | "gnatcheck" | "gnatelim" | "gnatstub" => for Main use (Tool & "-driver.adb"); when "gnatmetric" | "gnatpp" | "gnatsync" => for Main use ("asis_ul-several_files_driver.adb"); end case; package Compiler is for Default_Switches ("Ada") use External_As_List ("ADAFLAGS_style", " "); end Compiler; package Builder is -- In all cases, use Tool as the executable name. for Executable ("asistant-driver.adb") use Tool; for Executable ("gnatcheck-driver.adb") use Tool; for Executable ("gnatelim-driver.adb") use Tool; for Executable ("gnatstub-driver.adb") use Tool; for Executable ("asis_ul-several_files_driver.adb") use Tool; end Builder; package Linker is for Default_Switches ("Ada") use External_As_List ("LDFLAGS", " "); end Linker; end Tools; debian/tools_obj_gnatstub/0000755000000000000000000000000012215070763013072 5ustar debian/asis-doc.doc-base.asis-ug0000644000000000000000000000130212215070763013635 0ustar Document: asis-ug Title: Ada Semantic Interface Specification, User Guide Author: Adacore Abstract: This guide has two aims. The first one is to introduce you to the Ada Semantic Interface Specification (ASIS) and show you how you can build various useful tools on top of ASIS. The second is to describe the ASIS implementation for the GNAT Ada compiler. Section: Programming Format: HTML Index: /usr/share/doc/asis-doc/asis_ug.html/Index.html Files: /usr/share/doc/asis-doc/asis_ug.html/* Format: text Files: /usr/share/doc/asis-doc/asis_ug.txt.gz Format: pdf Files: /usr/share/doc/asis-doc/asis_ug.pdf.gz Format: info Index : /usr/share/info/asis_ug.info.gz Files: /usr/share/info/asis_ug.info.gz debian/copyright0000644000000000000000000000531212215070763011125 0ustar Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/ Upstream-Name: ASIS Source: https://libre.adacore.com/libre/download/ Comment: ASIS-for-GNAT was originally developed by the ASIS-for-GNAT team at the Software Engineering Laboratory of the Swiss Federal Institute of Technology (LGL-EPFL) in Lausanne, Switzerland, in cooperation with the Scientific Research Computer Center of Moscow State University (SRCC MSU), Russia, with funding partially provided by grants from the Swiss National Science Foundation and the Swiss Academy of Engineering Sciences. ASIS-for-GNAT is now maintained by AdaCore (http://www.adacore.com). Files: * Copyright: 1995-2005, Free Software Foundation, Inc. License: GPL-2+ Comment: In contrast to previous versions of ASIS, this version is licensed under the pure GPL. This means that if you produce binary executables linked with ASIS, and if you distribute these binary executables to anyone, then you *must* do so under the terms of the GPL. This means that you must give them (your customers) the sources of your program, and that they (your customers) have a right to modify and redistribute your program under the terms of the GPL. . If you do not wish to license your software under the terms of the GPL, then you have three choices: . - do not distribute your software at all (i.e. only use it internally for your own purposes) . - distribute your software in source form only, under licensing terms of your choosing . - contact AdaCore (sales@adacore.com) and acquire a GNAT Pro license, which will allow you to distribute binaries linked with ASIS under licensing terms of your choosing. Files: debian/* Copyright: 2000-2013 Ludovic Brenta 2013 Nicolas Boulenguez License: GPL-2+ License: GPL-2+ ASIS-for-GNAT is free software; you can redistribute it and/or modify it under terms of the GNU General Public License as published by the Free Software Foundation; either version 2, or (at your option) any later version. ASIS-for-GNAT is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. You should have received a copy of the GNU General Public License distributed with ASIS-for-GNAT; see file COPYING. If not, write to the Free Software Foundation, 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA . On Debian GNU/Linux systems, the full terms of the GNU General Public License are in /usr/share/common-licenses/GPL-2. debian/source/0000755000000000000000000000000012215070763010471 5ustar debian/source/format0000644000000000000000000000001412215070763011677 0ustar 3.0 (quilt) debian/changelog0000644000000000000000000004627012215070763011054 0ustar asis (2010-6) unstable; urgency=low * Switch to dpkg-source 3.0 (quilt) format. * Uploaders += myself, removed obsolete DM-Upload-Allowed for Xavier. * Rely on dpkg-dev and dh-ada-library for (hardening) flags. Actually set library_kind when building tools. Let gnatmake decide if recompilation is needed. Do not set ALI files read-only (dh_fixperms handles this now). * Switch to debhelper 9. Readers now handle compressed pdf. Install README only once (in asis-doc). * Switch to dh-ada-library. -dbg is now Multi-Arch: same. * rules, *.gpr: consistent naming for persistent obj directories. * Lintian: GFDL is mentioned in the patch removing it. Closes: #708779. -dbg->lib dependency is generated in ada:Depends, not forgotten. * copyright: adapt to the machine-readable format 1.0. * Minimal link-with-shared test. * Doc-base registration. Use texi2any instead of texi2html. Ignore texiplus. * control: Standards-Version: 3.9.4. VCS-*. Homepage. Commented watch file. * Replace - with \- in manpages. * patches: refreshed without timestamps. * Avoid duplicate installed README files. Avoid duplicate cleaning recipes. -- Nicolas Boulenguez Sat, 14 Sep 2013 08:52:50 +0200 asis (2010-5) unstable; urgency=low * debian/rules: use wildcards in lintian overrides to make them arch-independent. Closes: #677155 and special thanks to Jakub Wilk for reporting the bug so quickly and suggesting this solution. -- Ludovic Brenta Tue, 12 Jun 2012 08:52:50 +0200 asis (2010-4) unstable; urgency=low * debian/tools.gpr, debian/rules: correct the way we build the tools; each tool contains a different copy of some units, so the project file must reference only the source directory of the tool being built. Closes: #676338. * debian/control: do not reference ada-compiler anymore, per https://lists.debian.org/debian-ada/2011/12/msg00012.html. (Standards-Version): bump to 3.9.3 with no changes required. * debian/rules: generate Lintian overrides for all packages for warnings hardening-no-relro and hardening-no-fortify-functions, which do not apply to Ada. -- Ludovic Brenta Sun, 10 Jun 2012 21:49:21 +0200 asis (2010-3) unstable; urgency=low * debian/install_asis.gpr: work around compiler bug #642980 by compiling asis-text.adb without optimization. Fixes FTBFS on kfreebsd-amd64, mips and mipsel. -- Ludovic Brenta Sat, 1 Oct 2011 19:20:55 +0200 asis (2010-2) unstable; urgency=low * debian/rules (binary-arch, binary-indep): apply patches before building. Fixes FTBFS when building with dpkg-buildpackage -b. -- Ludovic Brenta Wed, 7 Sep 2011 01:19:06 +0200 asis (2010-1) unstable; urgency=low [Xavier Grave] * New upstream version 2010 GPL * Migrate to gnat-4.6. * Add get-orig-source in debian/rules * Package renamings pursuant to the Debian Policy for Ada: libasis2008-dev -> libasis2010-dev libasis2008 -> libasis2010 libasis2008-dbg -> libasis2010-dbg [Ludovic Brenta] * debian/control (Architectures): any. (Uploaders): add Xavier Grave. (DM-Upload-Allowed): yes. (Build-Depends-Indep): new. (Standards-Version): bump to 3.9.2 with no changes required. (libasis2010): Multiarch: same. * debian/compat: bump from 7 to 8. * debian/rules (build): split into build-arch and build-indep. (build-indep, clean): build the documentation from source instead of shipping upstream's prebuilt doc (which we exclude from the orig tarball). (libasis2010, libasis2010-dev, libasis2020-dbg): move the shared library to the multiarch-compliant directory. (libasis2010-dev): Move the examples and tutorial to... (asis-doc): ... here. * debian/patches/info.patch: remove. * debian/patches/documentation.patch: new. (documentation/*.texi): clarify that the license of the documentation is GPLv2 or later, like the rest of the sources, as opposed to GFDL. (documentation/*.texi) add stanzas to place the documentation under "GNU Ada Tools" in the top-level info menu. (Makefile): use the system-provided texinfo.tex instead of the one bundled with the sources. (documentation/edition.texi): change to FSFEDITION. (documentation/version.texi): change to 4.6. -- Ludovic Brenta Tue, 6 Sep 2011 10:25:46 +0200 asis (2008-5) unstable; urgency=low Comply with Debian Policy for Ada, Fifth Edition: * debian/control (libasis2008-dev): - Suggest the -dbg package. (libasis2008-dev, asis-programs, libasis2008): Depend on ada-compiler in addition to gnat. (libasis2008-dbg, libasis-doc): Suggest ada-compiler and gnat. -- Ludovic Brenta Sat, 29 May 2010 20:56:26 +0200 asis (2008-4) unstable; urgency=low * debian/control (libasis2008): depend on gnat (closes: #572359) and gnat-4.4 (closes: #565619). (Architecture): add armel. Closes: #568435. * debian/rules (asis-doc): install a few additional doc files. -- Ludovic Brenta Thu, 11 Mar 2010 18:37:40 +0100 asis (2008-3) unstable; urgency=low * debian/control (Architecture): really disable alpha. (asis-doc): correct the short description. -- Ludovic Brenta Tue, 24 Nov 2009 00:46:47 +0100 asis (2008-2) unstable; urgency=low * debian/control (Architecture): temporarily disable alpha due to http://gcc.gnu.org/PR42073. -- Ludovic Brenta Thu, 19 Nov 2009 22:16:58 +0100 asis (2008-1) unstable; urgency=low * New upstream version, roughly corresponding to gnat-4.4. * debian/control (libasis-dev): rename to libasis2008-dev, with Conflicts: and Replaces:, per Debian Policy for Ada [http://people.debian.org/~lbrenta/debian-ada-policy.html] (libasis2007.1): rename to libasis2008 with soname bump. (asis-doc): new, supersedes the source package asis-doc. (Build-Depends): Transition to gnat-4.4, libgnatvsn4.4. * debian/patches/gnat-4.3.patch: rename to gnat-4.4.patch and adjust to the new version of the compiler and libgnatvsn. * debian/install_asis.gpr: turn into a proper library project file. * debian/patches/asis-data_decomposition-debug.patch: remove, no longer necessary due to install_asis.gpr being a library project file. * debian/patches/info.patch: new, place info files (from asis-doc) in the proper place. * debian/rules: simplify now that install_asis.gpr is a proper library project file; gnatmake knows about -fPIC, sonames, where to place .ali files and their required permissions. (aliversion): new, set to 2008. (soversion): new, set to 2008. (libasis2008-dev): do not install Display_Source as part of the examples, removed upstream. * debian/README.Debian: remove, outdated. * asis-programs: add gnatsync, new tool to analyze multitasking programs for race conditions. * debian/gnatsync.1: new, from the upstream README file. -- Ludovic Brenta Sat, 14 Nov 2009 16:36:50 +0100 asis (2007-5) unstable; urgency=low [Raphael Hertzog] * Move patches directory to debian/patches and adjust build system accordingly in order to be compatible with the new source format 3.0 (quilt). Closes: #485099 [Ludovic Brenta] * debian/compat: bump to 7. * debian/control: - (Build-Depends): increase required version of gnat-4.3 to 4.3.4 and of debhelper to 7. - Bump soname to 2007.1 and change package names. Closes: #522681. - add support for kfreebsd-amd64. Closes: #542412. - (Standards-Version): bump to 3.8.3. * debian/patches/asis-data_decomposition-debug.patch: new; also compile Asis.Data_Decomposition.Debug into the libraries. * debian/rules, debian/install_asis.gpr, debian/tools.gpr: do not delete files during build; instead, place object files in different directories for static library, shared library and tools. This makes builds restartable. * debian/rules, debian/install_asis.gpr, debian/control: Introduce a new package containing debugging symbols for the shared library. -- Ludovic Brenta Sat, 5 Sep 2009 16:41:55 +0200 asis (2007-4) unstable; urgency=low * debian/install_asis.gpr: adjust to the fact that gnatvsn.gpr is now a proper library project file. Closes: #497673. * debian/control: - tighten build-dependency on gnat-4.3 accordingly. - Use ${binary:Version} instead of ${Source-Version}. * debian/compat: new. * debian/rules (DH_COMPAT): remove. -- Ludovic Brenta Wed, 3 Sep 2008 18:39:24 +0200 asis (2007-3) unstable; urgency=low * patches/gnatgcc.patch: patch other hardcoded "gcc" strings. Closes: #491228. * debian/control (asis-programs): Depend on gnat (providing gnatgcc) in addition to gnat-4.3. -- Ludovic Brenta Thu, 17 Jul 2008 23:25:05 +0200 asis (2007-2) unstable; urgency=low * Add support for ppc64. -- Ludovic Brenta Sun, 27 Apr 2008 14:57:51 +0200 asis (2007-1) unstable; urgency=low * New upstream version. Closes: #445764, #445769. * patches/gcc-4.3.patch: new; compile with GCC 4.3. Closes: #472529. * Build gnatcheck, new tool from upstream. Closes: #425626. * debian/gnatcheck.1: new. * Do not build display_source, removed upstream. * debian/display_source.1: remove. * Compile the library with all optional run-time checks enabled. * Change asis.gpr into a proper library project file using new features of the project manager. -- Ludovic Brenta Sat, 19 Apr 2008 01:15:14 +0200 asis (2005-5) unstable; urgency=low * debian/control: add support for alpha and s390. -- Ludovic Brenta Tue, 8 Aug 2006 23:02:17 +0200 asis (2005-4) unstable; urgency=low * debian/rules: remove bashisms. Closes: #378437. -- Ludovic Brenta Sun, 16 Jul 2006 14:37:10 +0200 asis (2005-3) unstable; urgency=low * Rebuild against the real .orig.tar.gz. -- Ludovic Brenta Fri, 14 Jul 2006 20:39:32 +0200 asis (2005-2) unstable; urgency=low * debian/control: disable alpha, mips, mipsel and s390, because libgnatvsn-dev is disabled on those architectures. -- Ludovic Brenta Thu, 13 Jul 2006 19:04:25 +0200 asis (2005-1) unstable; urgency=low * New upstream version. Do not provide the GNAT sources, bundled by upstream, since we build against libgnatvsn. Do not provide documentation anymore; it is non-free. We still provide the tutorial, examples and some explanation files. * debian/tools.gpr, debian/rules: do not build display_source anymore, it FTBFS due to the support for Ada 2005, for which it has not been updated. Build gnatcheck, which is new in this version of ASIS-for-GNAT. * debian/copyright: change to the pure GPL, per upstream. Explain. * debian/control: - Change my email address: now a full DD! - Build-depend on gnat and libgnatvsn-dev (>= 4.1). - (libasis-3.15p-1-dev): rename to libasis-dev. - (libasis-3.15p-1): rename to libasis2006. - Update Standards-Version to 3.7.2 with no changes. - Add alpha, amd64, hppa, ia64, mips, mipsel and s390 to Architecture. - Build-Depend on quilt, which we now use to manage patches. - (asis-programs): depend on gnat-4.1. * debian/install_asis.gpr: build without -gnata and -gnatVa, because libgnatvsn4.1 is also built without these checks. * debian/00-docs.patch: remove. * debian/01-gnatgcc.patch: update and move to patches/gnatgcc.patch. * debian/asistant.1, debian/display_source.1, debian/gnatmetric.1, debian/gnatpp.1: new. * patches/gcc-4.1.patch: new, but disabled; only applies to ASIS 2006. * patches/series: new. -- Ludovic Brenta Wed, 5 Jul 2006 08:41:06 +0200 asis (3.15p-10) unstable; urgency=low * debian/rules, debian/control: add support for GNU/kFreeBSD. Thanks, Aurélien Jarno. Build-Depend on gnat 3.15p-19, the first version to support GNU/kFreeBSD. Closes: #345195. -- Ludovic Brenta Tue, 7 Feb 2006 18:40:23 +0100 asis (3.15p-9) unstable; urgency=low * debian/rules (display_source, asistant, gnatelim, gnatstub): link with libgnatvsn, not libgnatprj. Closes: #344201. -- Ludovic Brenta Wed, 21 Dec 2005 11:38:20 +0100 asis (3.15p-8) unstable; urgency=low * debian/control (libasis-3.15p-dev): depend on libgnatvsn-dev, not libgnatprj-dev due to the license. Build-depend on gnat >= 3.15p-17. * debian/asis.gpr: import gnatvsn.gpr instead of gnatprj.gpr. * debian/rules (obj/libasis.so): link against libgnatvsn, not libgnatprj. -- Ludovic Brenta Sat, 10 Dec 2005 18:19:06 +0100 asis (3.15p-7) unstable; urgency=low * debian/control (libasis-3.15p-1-dev): depend on libgnatprj-dev, which provides the files from GNAT that are required for any ASIS application. * debian/asis.gpr: import gnatprj.gpr, for the same reason. * debian/rules (libasis-3.15p-1-dev): do not provide GNAT files in /usr/share/ada/adainclude/asis anymore, they are now provided by libgnatprj-dev. (was already done in -6, but not documented). * debian/rules (CPUS): detect how many CPUs we have and do a parallel build. -- Ludovic Brenta Thu, 13 Oct 2005 19:15:59 +0200 asis (3.15p-6) unstable; urgency=low * debian/control: update standards-version to 3.6.2. Build-depend on the new library libgnatprj-dev (>= 3.15p-14) * debian/rules, debian/tools.gpr, debian/install_asis.gpr: new; use project files to build the libraries and tools; link them against libgnatprj.so. Do not build the source files under gnat/ anymore. * asis was broken by the change in gnat_3.15p-13's gnatvsn.ads (version string). Now, gnatvsn.ads is in libgnatprj and asis is repaired. * debian/rules: do not use dpkg --print-gnu-build-architecture, obsolete. * debian/117703.patch: remove, folded into debian/tools.gpr. -- Ludovic Brenta Tue, 27 Sep 2005 22:13:27 +0200 asis (3.15p-5) unstable; urgency=low * debian/117703.patch: new patch from Xavier Grave to allow building on powerpc. Closes: #117703. * debian/libasis-3.15p-1-dev.postinst: remove. * debian/control: update standards-version to 3.6.1.1. * debian/rules (patch, unpatch): new rules to patch and unpatch. * debian/rules (binary-arch): do not strip the static library. * debian/control: change maintainer's email address. -- Ludovic Brenta Thu, 25 Aug 2005 23:09:23 +0200 asis (3.15p-4) unstable; urgency=low * Provide the *.ad[bs] files for parts of GNAT which are required when building ASIS applications. * Do not compress the *.ad[bs] and *.ali files from the examples. * Do not install *.{ali,o} from the examples directory. * Compile with additional flags -gnato -gnatn -gnatVa. * Provide a GNAT project file, /usr/share/ada/adainclude/asis.gpr. -- Ludovic Brenta Fri, 19 Dec 2003 02:29:58 +0100 asis (3.15p-3) unstable; urgency=low * Add build dependency on debhelper. -- Matthias Klose Thu, 13 Nov 2003 19:46:03 +0100 asis (3.15p-2) unstable; urgency=low * asis-programs: provide display_source. * libasis-3.15p-1-dev: recompile the static library without -fPIC. * Place asis-programs in section "devel". * Place libasis-3.15p-1-dev in section "libdevel". * Place libasis-3.15p-1 in section "libs". -- Ludovic Brenta Fri, 19 Aug 2003 15:22:16 +0200 asis (3.15p-1) unstable; urgency=low * New maintainer. Closes: #154095. * New upstream version. * Use debhelper, not yada. * Place *.ad[bs] in /usr/share/ada/adainclude/asis. * Place *.ali in /usr/lib/ada/adalib/asis. * Provide an unstripped static library in -dev. -- Ludovic Brenta Thu, 14 Aug 2003 20:48:02 +0200 asis (3.14p-4.2) unstable; urgency=low * QA upload number two. I hate yada. * Really change maintainer to Debian QA Group. -- Colin Watson Sun, 18 May 2003 15:07:34 +0100 asis (3.14p-4.1) unstable; urgency=low * Package is orphaned (#154095); set maintainer to Debian QA Group. -- Colin Watson Sun, 18 May 2003 13:04:54 +0100 asis (3.14p-4) unstable; urgency=low * Authorized NMU. * Recompile with latest GNAT runtime. -- Thomas Quinot Sun, 3 Mar 2002 19:55:58 +0100 asis (3.14p-3) unstable; urgency=low * Fix various building bugs. -- Samuel Tardieu Sun, 3 Feb 2002 00:54:58 +0100 asis (3.14p-2) unstable; urgency=low * Rebuild with GNAT 3.14p-2, which corrected shlib. -- Samuel Tardieu Sat, 2 Feb 2002 23:59:38 +0100 asis (3.14p-1) unstable; urgency=low * New upstream version. -- Samuel Tardieu Sat, 2 Feb 2002 22:12:01 +0100 asis (3.13p-3) unstable; urgency=low * Use the latest yada to compile. -- Samuel Tardieu Wed, 31 Jan 2001 12:37:41 +0100 asis (3.13p-2) unstable; urgency=low * Add Build-Depends line. Closes: #70156. -- Samuel Tardieu Wed, 30 Aug 2000 12:31:48 +0200 asis (3.13p-1) unstable; urgency=low * New upstream release. -- Samuel Tardieu Thu, 3 Aug 2000 14:41:54 +0200 asis (3.12p-4) unstable; urgency=low * Use the right filename. Closes: #64742. -- Samuel Tardieu Mon, 29 May 2000 13:36:02 +0200 asis (3.12p-3) unstable; urgency=low * Major reorganization: - "asis" is now called "libasis-3.12p-1-dev" - "asis-runtime" is now called "libasis-3.12p-1" This is consistent with what is done for the GNU Ada compiler (gnat). * Use standard version 3.1.0. -- Samuel Tardieu Mon, 8 Nov 1999 15:16:05 +0100 asis (3.12p-2) unstable; urgency=low * Also install files from gnat/*.ad[bs]. Closes: #49180. -- Samuel Tardieu Fri, 5 Nov 1999 10:16:41 +0100 asis (3.12p-1) unstable; urgency=low * New upstream version. * Use standard version 3.0.1. * Use yada to build package. -- Samuel Tardieu Wed, 27 Oct 1999 15:08:03 +0200 asis (3.11p-6) unstable; urgency=low * Recompiled with GNAT 3.11p-16 to get the dependencies right. -- Samuel Tardieu Fri, 10 Sep 1999 11:30:58 +0200 asis (3.11p-5) unstable; urgency=low * Recompiled with GNAT 3.11p-9 to get the dependencies right. -- Samuel Tardieu Tue, 23 Feb 1999 20:17:21 +0100 asis (3.11p-4) unstable; urgency=low * Upgrade so that the right libraries are used (from gnat-3.11p-6). -- Samuel Tardieu Tue, 9 Feb 1999 21:57:56 +0100 asis (3.11p-3) unstable; urgency=low * Change compiler name from "gcc" to "gnatgcc" in order to call the right one. -- Samuel Tardieu Mon, 8 Feb 1999 11:13:14 +0100 asis (3.11p-2) unstable; urgency=low * Exclude usr/lib/asis from dh_strip list since otherwise the Sparc port is broken. -- Samuel Tardieu Thu, 4 Feb 1999 10:30:12 +0100 asis (3.11p-1) unstable; urgency=low * Initial Release. -- Samuel Tardieu Tue, 2 Feb 1999 15:15:51 +0100 Local variables: left-margin: 2 End: debian/asis-doc.doc-base.asis-rm0000644000000000000000000000134112215070763013643 0ustar Document: asis-rm Title: Ada Semantic Interface Specification, Reference Manual Author: Adacore Abstract: This Manual contains reference material for developers using ASIS-for-GNAT --- GNAT's implementation of the Ada Semantic Interface Specification (ASIS). It provides information about ASIS-for-GNAT's implementation-specific characteristics and current implementation limitations. Section: Programming Format: HTML Index: /usr/share/doc/asis-doc/asis_rm.html/Index.html Files: /usr/share/doc/asis-doc/asis_rm.html/* Format: text Files: /usr/share/doc/asis-doc/asis_rm.txt.gz Format: pdf Files: /usr/share/doc/asis-doc/asis_rm.pdf.gz Format: info Index : /usr/share/info/asis_rm.info.gz Files: /usr/share/info/asis_rm.info.gz debian/rules0000755000000000000000000001240712215070763010255 0ustar #! /usr/bin/make -rf # Debian build script for asis # Copyright (c) 2003-2009 Ludovic Brenta # Copyright (c) 2013 Nicolas Boulenguez # This build script is free software; you can redistribute it and/or # modify it under terms of the GNU General Public License as published # by the Free Software Foundation; either version 2, or (at your # option) any later version. This build script is distributed in the # hope that it will be useful, but WITHOUT ANY WARRANTY; without even # the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR # PURPOSE. See the GNU General Public License for more details. You # should have received a copy of the GNU General Public License # distributed with this build script; see file # /usr/share/common-licenses/GPL. If not, write to the Free Software # Foundation, 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA # Uncomment this to turn on verbose mode. #export DH_VERBOSE=1 # This has to be exported to make some magic below work. export DH_OPTIONS include /usr/share/dpkg/default.mk include /usr/share/ada/debian_packaging.mk ADAFLAGS += -gnatafno -gnatwa -gnatVa ADAFLAGS_no_opt := $(subst -O2,-O0,$(ADAFLAGS)) ADAFLAGS_style := $(subst -gnatfnoy,-gnatfno,$(ADAFLAGS)) # Generate the -X options for gnatmake. X_flags = $(foreach v,$(1),"-X$(v)=$($(v))") aliversion := $(shell sed -n -e "s/^Package: libasis\([[:digit:]]\+-dev\)$$/\1/p" debian/control) ifndef aliversion $(warning Could not guess aliversion from debian/control) endif soversion := $(shell sed -n -e "s/^Package: libasis\([[:digit:]]\+\)$$/\1/p" debian/control) ifndef soversion $(warning Could not guess soversion from debian/control) endif mtnbase := base_debian.db mtnversion := af45f0024c1a910bdd57055a7b2a1834380c9aa8 branch := com.adacore.asis.debian orig_dir := asis_$(aliversion).orig orig_tgz := asis_$(aliversion).orig.tar.gz ###################################################################### POLICY_TARGETS := binary binary-arch binary-indep build build-arch \ build-indep clean .PHONY: $(POLICY_TARGETS) $(POLICY_TARGETS): dh $@ --with ada-library # Ignore upstream Makefile. override_dh_auto_configure: override_dh_auto_build-arch:: override_dh_auto_build-indep: override_dh_auto_test: override_dh_auto_install: override_dh_auto_clean:: ###################################################################### get-orig-source: if [ ! -e ../$(mtnbase) ]; then \ mtn -d../$(mtnbase) db init; \ fi; \ mtn -d../$(mtnbase) -k "" pull www.ada-france.org '$(branch)'; \ cd .. && \ mtn -d$(mtnbase) co -r$(mtnversion) -b$(branch) $(orig_dir) && \ rm -rf $(orig_dir)/_MTN $(orig_dir)/.*ignore&& \ tar czf $(orig_tgz) $(orig_dir) && \ rm -r $(orig_dir) ###################################################################### # Build dynamic and static versions of the library. LIB_PROJECT := debian/install_asis define for_kind_in_dynamic_static_loop override_dh_auto_build-arch:: gnatmake $(BUILDER_OPTIONS) -P$(LIB_PROJECT).gpr \ $(call X_flags, ADAFLAGS ADAFLAGS_no_opt KIND LDFLAGS soversion) override_dh_auto_clean:: rm -f $(LIB_PROJECT)_lib_$(KIND)/* $(LIB_PROJECT)_obj_$(KIND)/* endef $(foreach KIND,dynamic static,$(eval $(for_kind_in_dynamic_static_loop))) ###################################################################### # Import the dynamic version of the library and build each tool. TOOLS := asistant gnatcheck gnatelim gnatmetric gnatpp gnatstub gnatsync TOOLS_PROJECT := debian/tools define for_tool_in_tools_loop override_dh_auto_build-arch:: gnatmake $(BUILDER_OPTIONS) -P$(TOOLS_PROJECT).gpr -XKIND=dynamic \ $(call X_flags,ADAFLAGS ADAFLAGS_no_opt ADAFLAGS_style LDFLAGS \ soversion tool) override_dh_auto_clean:: rm -f $(TOOLS_PROJECT)_obj_$(tool)/* override_dh_install-arch:: dh_install --package=asis-programs $(TOOLS_PROJECT)_obj_$(tool)/$(tool) usr/bin dh_installman --package=asis-programs debian/$(tool).1 endef $(foreach tool,$(TOOLS),$(eval $(for_tool_in_tools_loop))) ###################################################################### # Documentation override_dh_auto_build-indep: $(MAKE) -C documentation override_dh_auto_clean:: $(MAKE) -C documentation clean override_dh_install-indep: dh_install --indep dh_installdocs --package=asis-doc $(foreach e,html pdf txt,documentation/*.$(e)) dh_installinfo --package=asis-doc documentation/*.info cp tools/gnatmetric/README \ debian/asis-doc/usr/share/doc/asis-doc/README.gnatmetric cp tools/gnatpp/README \ debian/asis-doc/usr/share/doc/asis-doc/README.gnatpp cp tools/gnatsync/README \ debian/asis-doc/usr/share/doc/asis-doc/README.gnatsync ###################################################################### override_dh_install-arch:: dh_install --arch ###################################################################### RUN_TESTS_TMP := libasis-run-tests-XXXXXXXXXX run-tests: ADTTMP=`mktemp --tmpdir --directory $(RUN_TESTS_TMP)` && \ ADTTMP=$$ADTTMP sh debian/tests/link-with-shared 2> $$ADTTMP/stderr; \ status=$$?; cat $$ADTTMP/stderr; \ if test $$status != 0; then \ echo "Test failed: non zero exit status ($$status)."; \ elif test -s $$ADTTMP/stderr; then \ echo "Test failed: activity on stderr."; \ fi; \ rm -f -r $$ADTTMP debian/asis-doc.doc-base.gnatcheck_rm0000644000000000000000000000134212215070763014716 0ustar Document: gnatcheck-rm Title: GNATcheck Reference Manual - Predefined Rules Author: Adacore Abstract: The gnatcheck tool in GNAT can be used to enforce coding conventions by analyzing Ada source programs with respect to a set of rules supplied at tool invocation. This manual describes the complete set of predefined rules that gnatcheck can take as input. Section: Programming Format: HTML Index: /usr/share/doc/asis-doc/gnatcheck_rm.html/Index.html Files: /usr/share/doc/asis-doc/gnatcheck_rm.html/* Format: text Files: /usr/share/doc/asis-doc/gnatcheck_rm.txt.gz Format: pdf Files: /usr/share/doc/asis-doc/gnatcheck_rm.pdf.gz Format: info Index : /usr/share/info/gnatcheck_rm.info.gz Files: /usr/share/info/gnatcheck_rm.info.gz debian/gnatpp.10000644000000000000000000001351112215070763010545 0ustar .\" Hey, Emacs! This is an -*- nroff -*- source file. .\" .\" Copyright (C) 2006 Ludovic Brenta .\" .\" This is free software; you can redistribute it and/or modify it under .\" the terms of the GNU General Public License as published by the Free .\" Software Foundation; either version 2, or (at your option) any later .\" version. .\" .\" This is distributed in the hope that it will be useful, but WITHOUT .\" ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or .\" FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License .\" for more details. .\" .\" You should have received a copy of the GNU General Public License with .\" your Debian GNU/Linux system, in /usr/share/common-licenses/GPL, If not, .\" write to the Free Software Foundation, Inc., 51 Franklin St, Fifth .\" Floor, Boston, MA 02110-1301 USA. .\" .TH "GNATPP" 1 "June 2006" "GNU Ada Tools" "ASIS Tools" .SH NAME \fBgnatpp\fR \- Ada pretty\-printer .SH SYNOPSIS \fBgnatpp\fR [options] {\fIfilename\fR | \fB\-files\fR \fIfilename\fR} [\fIgcc_switches\fR] .SH DESCRIPTION \fBgnatpp\fR recreates the source text of the specified Ada units from GNAT's parse tree. Along the way, it reformats the source text according to the many options. The defaults are suitable for the GNAT style guide. .PP .SH OPTIONS .IP \fB\-A\fR(0|1|2|3|4|5) set alignment, all the alignments are set ON by default .RS .IP 0 set the default for all the alignments OFF .IP 1 align colons in declarations .IP 2 align assignments in declarations .IP 3 align assignments in assignment statements .IP 4 align arrow delimiters in associations .IP 5 align 'AT' keywords in component clauses .RE .IP \fB\-a\fR(L|U|M) set attribute casing .RS .IP L lower case .IP U upper case .IP M mixed case (set as default) .RE .IP \fB\-c\fR(0|1|2|3|4) comments layout .RS .IP 0 do not format comments .IP 1 GNAT style comment line indentation (set as default) .IP 2 standard comment line indentation .IP 3 GNAT style comment beginning .IP 4 reformat comment blocks .RE .IP \fB\-cl\fR\fInnn\fR indentation level for continuation lines, \fInnn\fR from 1 .. 9 .IP \fB\-D\fR\fIfile\fR set \fIfile\fR as the dictionary file defining casing exceptions .IP \fB\-D\-\fR do not use RM95\-defined casing for predefined names, use casing defined by \fB\-n\fR parameter and dictionary file(s) instead .IP \fB\-e\fR do not set missed end/exit labels .IP \fB\-ff\fR put Form Feed after a pragma Page .IP \fB\-gnatec\fR\fIpath\fR the same as GNAT \-gnatec option .IP \fB\-i\fR\fInnn\fR indentation level, \fInnn\fR from 1 .. 9, the default value is 3 .IP \fB\-I\fR\fRdir\fR the same as GNAT \-I option .IP \fB\-I\-\fR the same as GNAT \-I\- option .IP \fB\-k\fR(L|U) set keyword casing .RS .IP L lower case (set as default) .IP U upper case .RE .IP \fB\-l\fR(1|2|3) set construct layout .RS .IP 1 GNAT style layout (set as default) .IP 2 compact layout .IP 3 uncompact layout .RE .IP \fB\-M\fR\fInnn\fR set maximum line length, \fInnn\fR from 32 .. 256, the default value is 79 .IP \fB\-n\fR(D|U|L|M) set name casing (for both defining and usage occurrences) .RS .IP D as declared (set as default) .IP U all in upper case .IP L all in lower case .IP M mixed .RE .IP \fB\-N\fR no tabulation in comments .IP \fB\-p\fR(L|U|M) .RS .IP L lower case .IP U upper case .IP M mixed case (set as default) .RE .IP \fB\-\-RTS=\fR\fIdir\fR the same as GNAT \-\-RTS option .IP \fB\-T\fR\fInnn\fR do not use additional indentation level for case alternatives and variants if their number is \fInnn\fR or more (the default value is 10) .IP \fB\-q\fR quiet mode .IP \fB\-v\fR verbose mode .IP \fB\-dd\fR progress indicator verbose mode .IP \fB\-w\fR warnings ON .SS Output file control .IP \fB\-pipe\fR send the output into stdout .IP "\fB\-o\fR \fIoutput_file\fR" write the output into output_file. Give up if \fIoutput_file\fR already exists .IP "\fB\-of\fR \fIoutput_file\fR" write the output into output_file, overriding the existing file .IP \fB\-r\fR replace the argument source with the pretty\-printed source and copy the argument source into \fIfilename.npp\fR. Give up if \fIfilename.npp\fR already exists. .IP \fB\-rf\fR replace the argument source with the pretty\-printed source and copy the argument source into \fIfilename.npp\fR, overriding the existing file .IP \fB\-rnb\fR replace the argument source with the pretty\-printed source and do not create the back\-up copy of the argument source .SS Input files .IP \fIfilename\fR the name of the Ada source file to be reformatted. Wildcards are allowed. .IP "\fB\-files\fR \fIfilename\fR" the name of the text file containing a list of Ada source files to reformat .SS GCC switches .IP \fIgcc_switches\fR Passed to gnatgcc as "\fB\-cargs\fR \fIgcc_switches\fR". .SH AUTHOR .PP ASIS\-for\-GNAT was originally developed by the ASIS\-for\-GNAT team at the Software Engineering Laboratory of the Swiss Federal Institute of Technology (LGL\-EPFL) in Lausanne, Switzerland, in cooperation with the Scientific Research Computer Center of Moscow State University (SRCC MSU), Russia, with funding partially provided by grants from the Swiss National Science Foundation and the Swiss Academy of Engineering Sciences. ASIS\-for\-GNAT is now maintained by AdaCore (http://www.adacore.com). .PP This manual page was written by Ludovic Brenta for the Debian project, from the gnatpp sources. .SH COPYRIGHT Copyright (c) 1995\-2006, Free Software Foundation, Inc. .SH SEE ALSO .TP asistant(1), gnat(1), gnatcheck(1), gnatelim(1), gnatmetric(1), gnatstub(1) .TP \fI/usr/share/doc/asis\-programs/README.gnatpp\fR .TP \fBinfo asis_ug\fR ASIS\-for\-GNAT User's Guide, provided by by package \fBlibasis\-doc\fR in the Info system, and in text, PDF and HTML formats in \fI/usr/share/doc/libasis\-doc\fR. (\fBasis\-doc\fR is in the non\-free section of Debian). .TP \fBinfo asis_rm\fR ASIS\-for\-GNAT Reference Manual, same package. debian/gnatsync.10000644000000000000000000001133512215070763011104 0ustar .\" Hey, Emacs! This is an -*- nroff -*- source file. .\" .\" Copyright (C) 2007-2009 AdaCore .\" Copyright (C) 2009 Ludovic Brenta .\" .\" This is free software; you can redistribute it and/or modify it under .\" the terms of the GNU General Public License as published by the Free .\" Software Foundation; either version 2, or (at your option) any later .\" version. .\" .\" This is distributed in the hope that it will be useful, but WITHOUT .\" ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or .\" FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License .\" for more details. .\" .\" You should have received a copy of the GNU General Public License with .\" your Debian GNU/Linux system, in /usr/share/common-licenses/GPL, or with the .\" dpkg source package as the file COPYING. If not, write to the Free .\" Software Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. .\" .TH "GNATSYNC" 1 "November 2009" "GNU Ada Tools" "ASIS Tools" .SH NAME gnatsync \- The GNAT global dependency detector .SH SYNOPSIS \fBgnatsync\fR [\fIOPTION\fR]... \fIfilename\fR [\fB\-cargs\fR \fIgcc_switches\fR] .PP \fBgnatsync\fR [\fIOPTION\fR]... \-files=\fIfilename\fR [\fB\-cargs\fR \fIgcc_switches\fR] .SH DESCRIPTION .PP \fBgnatsync\fR is the GNAT static analysis tool that helps to detect potential race conditions in multitasking programs, by exposing the global data that is accessed in unsynchronized manner by independent threads or Ada tasks. Input to \fBgnatsync\fR is a set of compilable Ada sources that constitutes a complete program. As it output, the tool prints out a list of a data objects for which potential unsynchronized access is detected, and for each such object the tool provides a list of threads that access this object. Each access is specified by a full sequence of subprograms calls when a given thread does not reference the object directly. \fBgnatsync\fR is an ASIS\-based tool. It compiles the given sources to create the corresponding tree files. All these compilations take place in a temporary directory, which is created in the beginning of a \fBgnatsync\fR run and is deleted when the processing of the argument sources is completed. If a source file specified as \fBgnatsync\fR argument does not contain a legal Ada program unit, that is to say if the program has syntactic of semantic errors, \fBgnatsync\fR cannot process it. If the specified source contains an Ada unit which depends on Ada units located in other directories, the user can either specify the source search path by means of a \-I option in '\-cargs' section of \fBgnatsync\fR parameters, in the same way as the source search path can be specified for GNAT. This is not needed if \fBgnatsync\fR is called from the GNAT driver with the corresponding project file. .PP In the first form, \fBgnatsync\fR examines the specified Ada source files (wildcards are allowed). .PP In the second form, \fBgnatsync\fR examines the Ada source files listed in the specified file. .SH OPTIONS .TP \fB\-a\fR Process RTL units. .TP \fB\-cargs\fR \fIgcc_switches\fR Pass \fIgcc_switches\fR to GCC when producing the tree files. .TP \fB\-d\fR Debug mode. .TP \fB\-dd\fR Progress indicator mode, for use in the GNAT Programming Studio. .TP \fB\-main\fR=\fIfilename\fR Specify file containing main subprogram .TP \fB\-o(s|m|f)\fR Output detail level: s=short, m=medium (the default), f=full. .TP \fB\-out_file\fR=\fIfilename\fR Send output to \fIfilename\fR. .TP \fB\-q\fR Quiet mode: do not report detections on standard output. .TP \fB\-t\fR Output execution time. .TP \fB\-threads\fR=\fIfilename\fR Specify file describing foreign threads .TP \fB\-v\fR Verbose mode. .TP \fB\-wq\fR Turn warnings off. .SH PROJECT FILE SUPPORT \fBgnasync\fR can be applied to any set of sources, but it can produce useful and complete results when called to a set of sources that make up a complete program. The most convenient way to specify such a set of sources is a project file. \fBgnatsync\fR can be called from the GNAT driver as other tools, so the most practical way of invoking the tool is: .TP \fBgnat sync \-P\fR\fIproj\fR \fB\-U\fR [\fIoptions\fR] .SH AUTHOR .PP \fBgnatsync\fR was written by AdaCore (http://www.adacore.com). .PP This manual page was written by Ludovic Brenta for the Debian project, from gnatsync's README file. .SH COPYRIGHT \fBgnatsync\fR is Copyright (c) 2007\-2009 AdaCore .PP This manual page is Copyright (C) 2009 Ludovic Brenta . .SH SEE ALSO .PP asistant(1), gnat(1), gnatcheck(1), gnatelim(1), gnatmetric(1), gnatpp(1) .PP The full documentation for \fBgnatsync\fR in /usr/share/doc/asis\-programs/README.gnatsync. .TP \fBinfo asis_ug\fR ASIS\-for\-GNAT User's Guide .TP \fBinfo asis_rm\fR ASIS\-for\-GNAT Reference Manual debian/source.lintian-overrides0000644000000000000000000000042112215070763014046 0ustar # The patch removing the GFDL, well... contains the GFDL, does not it? asis source: license-problem-gfdl-invariants debian/patches/documentation.patch # This dependency is set by ada:Depends, but invisible to lintian. asis source: dbg-package-missing-depends libasis*-dbg debian/asis-doc.TODO0000644000000000000000000000007712215070763011366 0ustar Allow Xavier to upload now that DM-Upload-Allowed is obsolete. debian/patches/0000755000000000000000000000000012215070763010620 5ustar debian/patches/documentation.patch0000644000000000000000000003222112215070763014512 0ustar Description: adapt the documentation for Debian Use the correct license (see debian/copyright). . Do not try to input texiplus.tex. Author: Ludovic Brenta Forwarded: not-needed --- a/documentation/Makefile +++ b/documentation/Makefile @@ -1,47 +1,27 @@ -all: pdf html info partial_clean +FORMATS := info html pdf txt +MANUALS := asis_ug asis_rm gnatcheck_rm -pdf: asis_ug.pdf asis_rm.pdf gnatcheck_rm.pdf -html: asis_ug.html asis_rm.html gnatcheck_rm.html -info: asis_ug.info asis_rm.info gnatcheck_rm.info +all: $(foreach m,$(MANUALS),$(foreach f,$(FORMATS),$(m).$(f))) partial_clean partial_clean: rm -f *.aux *.cp *.cps *.dvi *.fn *.ky *.log *.pg *.toc *.tp *.vr clean: partial_clean - rm -rf *.ps *.info* *.html asis_rm.txt asis_ug.txt + rm -rf $(addprefix *.,$(FORMATS)) gnatcheck_rm.texi gnatcheck_rules.texi %.pdf: %.texi - echo x | texi2pdf ${@:%.pdf=%.texi} + texi2any --pdf -o $@ $< %.html: %.texi - texi2html -split chapter -number -subdir=. ${@:%.html=%.texi} + texi2any --html --force --split chapter -o $@ $< %.info: %.texi - makeinfo --force --no-split -o $@ ${@:%.info=%.texi} - makeinfo --force --no-headers --no-split -o ${@:%.info=%.txt} \ - ${@:%.info=%.texi} - -asis_ug.texi: edition.texi texinfo.tex texiplus.tex gfdl.texi -asis_rm.texi: edition.texi texinfo.tex texiplus.tex gfdl.texi -gnatcheck_rm.texi: edition.texi texinfo.tex texiplus.tex gfdl.texi - cp ../tools/gnatcheck/gnatcheck_rm.texi . - -gfdl.texi: - cp ../gnat/gfdl.texi . - -edition.texi: - cp ../gnat/edition.texi . - -texinfo.tex: - cp ../gnat/texinfo.tex . + texi2any --info --no-split -o $@ $< -texiplus.tex: - cp ../gnat/texiplus.tex . - -gnatcheck_rules.texi : ../tools/gnatcheck/gnatcheck-docgen - (cd ../tools/gnatcheck; ./gnatcheck-docgen$(exe_ext)) - cp ../tools/gnatcheck/docs/gnatcheck_rules.texi . - -../tools/gnatcheck/gnatcheck-docgen : - (cd ../tools/gnatcheck; gnatmake -Pgnatcheck gnatcheck-docgen) +%.txt: %.texi + texi2any --plaintext --no-headers --no-split -o $@ $< +asis_ug.texi: edition.texi +asis_rm.texi: edition.texi +gnatcheck_rm.texi: edition.texi + cp ../tools/gnatcheck/gnatcheck_rm.texi . --- a/documentation/asis_rm.texi +++ b/documentation/asis_rm.texi @@ -1,5 +1,4 @@ \input texinfo @c -*-texinfo-*- -@input texiplus @c %**start of header @@ -71,6 +70,11 @@ @setfilename asis_rm.info @include version.texi +@dircategory GNU Ada tools +@direntry +* ASIS_RM: (asis_rm). Ada Semantic Interface Specification: reference manual +@end direntry + @set NOW January 2008 @c This flag is used where the text refers to conditions that exist when the @c text was entered into the document but which may change over time. @@ -136,15 +140,16 @@ Copyright @copyright{} 2000-2008, AdaCore -Permission is granted to copy, distribute and/or modify this document -under the terms of the GNU Free Documentation License, Version 1.1 -or any later version published by the Free Software Foundation; -with the Invariant Sections being ``GNU Free Documentation License'', with the -Front-Cover Texts being -``ASIS-for-GNAT Reference Manual'', -and with no Back-Cover Texts. -A copy of the license is included in the section entitled -``GNU Free Documentation License''. +ASIS-for-GNAT is free software; you can redistribute it and/or modify it +under terms of the GNU General Public License as published by the Free +Software Foundation; either version 2, or (at your option) any later +version. ASIS-for-GNAT is distributed in the hope that it will be use- +ful, but WITHOUT ANY WARRANTY; without even the implied warranty of MER- +CHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General +Public License for more details. You should have received a copy of the +GNU General Public License distributed with ASIS-for-GNAT; see file +COPYING. If not, write to the Free Software Foundation, 51 Franklin +Street, Fifth Floor, Boston, MA 02110-1301, USA. @end titlepage @@ -180,15 +185,16 @@ Copyright @copyright{} 2000-2009, AdaCore @noindent -Permission is granted to copy, distribute and/or modify this document -under the terms of the GNU Free Documentation License, Version 1.1 -or any later version published by the Free Software Foundation; -with the Invariant Sections being ``GNU Free Documentation License'', with the -Front-Cover Texts being -``ASIS-for-GNAT Reference Manual'', -and with no Back-Cover Texts. -A copy of the license is included in the section entitled -``GNU Free Documentation License''. +ASIS-for-GNAT is free software; you can redistribute it and/or modify it +under terms of the GNU General Public License as published by the Free +Software Foundation; either version 2, or (at your option) any later +version. ASIS-for-GNAT is distributed in the hope that it will be use- +ful, but WITHOUT ANY WARRANTY; without even the implied warranty of MER- +CHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General +Public License for more details. You should have received a copy of the +GNU General Public License distributed with ASIS-for-GNAT; see file +COPYING. If not, write to the Free Software Foundation, 51 Franklin +Street, Fifth Floor, Boston, MA 02110-1301, USA. @menu * About This Manual:: @@ -196,7 +202,6 @@ * ASIS Extensions:: * Implementation-Specific Features and Implementation Permissions:: * Debugging Information:: -* GNU Free Documentation License:: * Index:: @detailmenu @@ -1677,13 +1682,6 @@ @end table - -@c ********************************** -@c * GNU Free Documentation License * -@c ********************************** -@include gfdl.texi -@c GNU Free Documentation License - @c ************************************* @node Index @c ************************************* --- a/documentation/asis_ug.texi +++ b/documentation/asis_ug.texi @@ -1,5 +1,4 @@ \input texinfo @c -*-texinfo-*- -@input texiplus @c %**start of header @@ -73,6 +72,11 @@ @setfilename asis_ug.info @include version.texi +@dircategory GNU Ada tools +@direntry +* ASIS_UG: (asis_ug). Ada Semantic Interface Specification: user's guide +@end direntry + @set NOW January 2008 @c This flag is used where the text refers to conditions that exist when the @c text was entered into the document but which may change over time. @@ -138,16 +142,16 @@ Copyright @copyright{} 2000-2009, AdaCore -Permission is granted to copy, distribute and/or modify this document -under the terms of the GNU Free Documentation License, Version 1.1 -or any later version published by the Free Software Foundation; -with the Invariant Sections being ``GNU Free Documentation License'', with the -Front-Cover Texts being -``ASIS-for-GNAT User's Guide'', -and with no Back-Cover Texts. -A copy of the license is included in the section entitled -``GNU Free Documentation License''. - +ASIS-for-GNAT is free software; you can redistribute it and/or modify it +under terms of the GNU General Public License as published by the Free +Software Foundation; either version 2, or (at your option) any later +version. ASIS-for-GNAT is distributed in the hope that it will be use- +ful, but WITHOUT ANY WARRANTY; without even the implied warranty of MER- +CHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General +Public License for more details. You should have received a copy of the +GNU General Public License distributed with ASIS-for-GNAT; see file +COPYING. If not, write to the Free Software Foundation, 59 Temple Place +Suite 330, Boston, MA 02111-1307, USA. @end titlepage @@ -182,16 +186,16 @@ Copyright @copyright{} 2000-2009, AdaCore @noindent -Permission is granted to copy, distribute and/or modify this document -under the terms of the GNU Free Documentation License, Version 1.1 -or any later version published by the Free Software Foundation; -with the Invariant Sections being ``GNU Free Documentation License'', with the -Front-Cover Texts being -``ASIS-for-GNAT User's Guide'', -and with no Back-Cover Texts. -A copy of the license is included in the section entitled -``GNU Free Documentation License''. - +ASIS-for-GNAT is free software; you can redistribute it and/or modify it +under terms of the GNU General Public License as published by the Free +Software Foundation; either version 2, or (at your option) any later +version. ASIS-for-GNAT is distributed in the hope that it will be use- +ful, but WITHOUT ANY WARRANTY; without even the implied warranty of MER- +CHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General +Public License for more details. You should have received a copy of the +GNU General Public License distributed with ASIS-for-GNAT; see file +COPYING. If not, write to the Free Software Foundation, 59 Temple Place +Suite 330, Boston, MA 02111-1307, USA. @menu * About This Guide:: @@ -208,7 +212,6 @@ * ASIS-for-GNAT Warnings:: * Exception Handling and Reporting Internal Bugs:: * File Naming Conventions and Application Name Space:: -* GNU Free Documentation License:: * Index:: @detailmenu --- The Detailed Node Listing --- @@ -3104,12 +3107,6 @@ the GNAT components being a part of ASIS-for-GNAT) follow the GNAT file name conventions without any name ``krunch''ing. -@c ********************************** -@c * GNU Free Documentation License * -@c ********************************** -@include gfdl.texi -@c GNU Free Documentation License - @c ************************************* @node Index @c ************************************* --- a/tools/gnatcheck/gnatcheck_rm.texi +++ b/tools/gnatcheck/gnatcheck_rm.texi @@ -1,5 +1,4 @@ \input texinfo @c -*-texinfo-*- -@input texiplus @c %**start of header @@ -57,6 +56,11 @@ @setfilename gnatcheck_rm.info @include version.texi +@dircategory GNU Ada tools +@direntry +* gnatcheck: (gnatcheck_rm). Gnatcheck reference manual +@end direntry + @set NOW December 2009 @c This flag is used where the text refers to conditions that exist when the @c text was entered into the document but which may change over time. @@ -124,15 +128,16 @@ Copyright @copyright{} 2009, AdaCore -Permission is granted to copy, distribute and/or modify this document -under the terms of the GNU Free Documentation License, Version 1.1 -or any later version published by the Free Software Foundation; -with the Invariant Sections being ``GNU Free Documentation License'', with the -Front-Cover Texts being -``GNATcheck Reference Manual - Predefined Rules'', -and with no Back-Cover Texts. -A copy of the license is included in the section entitled -``GNU Free Documentation License''. +GNATCHECK is free software; you can redistribute it and/or modify it +under terms of the GNU General Public License as published by the Free +Software Foundation; either version 2, or (at your option) any later +version. GNAT is distributed in the hope that it will be useful, but +WITHOUT ANY WARRANTY; without even the implied warranty of +MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General +Public License for more details. You should have received a copy of +the GNU General Public License distributed with GNAT; see file COPYING. +If not, write to the Free Software Foundation, 51 Franklin Street, +Fifth Floor, Boston, MA 02110-1301, USA. @end titlepage @@ -167,15 +172,16 @@ Copyright @copyright{} 2009, AdaCore @noindent -Permission is granted to copy, distribute and/or modify this document -under the terms of the GNU Free Documentation License, Version 1.1 -or any later version published by the Free Software Foundation; -with the Invariant Sections being ``GNU Free Documentation License'', with the -Front-Cover Texts being -``GNATcheck Reference Manual - Predefined Rules'', -and with no Back-Cover Texts. -A copy of the license is included in the section entitled -``GNU Free Documentation License''. +GNATCHECK is free software; you can redistribute it and/or modify it +under terms of the GNU General Public License as published by the Free +Software Foundation; either version 2, or (at your option) any later +version. GNAT is distributed in the hope that it will be useful, but +WITHOUT ANY WARRANTY; without even the implied warranty of +MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General +Public License for more details. You should have received a copy of +the GNU General Public License distributed with GNAT; see file COPYING. +If not, write to the Free Software Foundation, 51 Franklin Street, +Fifth Floor, Boston, MA 02110-1301, USA. @menu * About This Manual:: @@ -187,7 +193,6 @@ * How to add a new rule @end ignore * List of Rules:: -* GNU Free Documentation License:: * Index:: @detailmenu @@ -253,8 +258,6 @@ List of Rules -GNU Free Documentation License - Index @end detailmenu @@ -2689,15 +2692,7 @@ @end itemize - - -@c ********************************** -@c * GNU Free Documentation License * -@c ********************************** -@include gfdl.texi -@c GNU Free Documentation License - -@node Index,,GNU Free Documentation License, Top +@node Index @unnumbered Index @printindex cp --- a/documentation/edition.texi +++ b/documentation/edition.texi @@ -1 +1 @@ -@set GPLEDITION +@set FSFEDITION --- a/documentation/version.texi +++ b/documentation/version.texi @@ -1 +1 @@ -@set gnat_version 2010 +@set gnat_version 4.6 debian/patches/gnatgcc.patch0000644000000000000000000000225612215070763013254 0ustar Description: Explicitly use gnatgcc as the compiler driver rather than gcc. Gcc may not be the default Ada compiler. Author: Ludovic Brenta Forwarded: not-needed --- a/asis/a4g-gnat_int.adb +++ b/asis/a4g-gnat_int.adb @@ -74,7 +74,7 @@ LT : String renames ASIS_Line_Terminator; Standard_GCC : constant String_Access := - GNAT.OS_Lib.Locate_Exec_On_Path ("gcc"); + GNAT.OS_Lib.Locate_Exec_On_Path ("gnatgcc"); ----------------- -- Create_Tree -- --- a/tools/tool_utils/asis_ul-common.adb +++ b/tools/tool_utils/asis_ul-common.adb @@ -74,7 +74,7 @@ if Gnatmake_Call then return Target & "gnatmake"; else - return Target & "gcc"; + return Target & "gnatgcc"; end if; end if; --- a/asis/a4g-contt.adb +++ b/asis/a4g-contt.adb @@ -978,7 +978,7 @@ if Dash_Idx > 0 then Contexts.Table (Cont).GCC := Locate_Exec_On_Path - (Tool_Name (Tool_Name'First .. Dash_Idx) & "gcc"); + (Tool_Name (Tool_Name'First .. Dash_Idx) & "gnatgcc"); end if; end; debian/patches/new-einfo.patch0000644000000000000000000000107712215070763013535 0ustar Description: Replace obsolete function call. Regarding to ChangeLog-2010 2010-10-26 Is_Overriding_Operation is removed from einfo.ad[sb], use Present (Overriden_Operation instead Author: Ludovic Brenta --- a/asis/asis-extensions.adb +++ b/asis/asis-extensions.adb @@ -2523,7 +2523,7 @@ Nkind (Entity_N) in N_Defining_Identifier .. N_Defining_Operator_Symbol then - Result := Is_Overriding_Operation (Entity_N); + Result := Present (Overridden_Operation (Entity_N)); end if; return Result; debian/patches/series0000644000000000000000000000010512215070763012031 0ustar gnatgcc.patch documentation.patch snames-2012.patch new-einfo.patch debian/patches/snames-2012.patch0000644000000000000000000000126112215070763013511 0ustar Description: Rename obsolete enumeration value. Take into account Remove of Name_Implemented_By_Entry and new Name_Implemented see ChangeLog-2010 2010-10-08 entry Author: Ludovic Brenta --- a/asis/a4g-a_sem.adb +++ b/asis/a4g-a_sem.adb @@ -1241,7 +1241,7 @@ Name_Export_Valued_Procedure | Name_Favor_Top_Level | Name_Finalize_Storage_Only | - Name_Implemented_By_Entry | + Name_Implemented | Name_Import_Exception | Name_Import_Function | Name_Import_Object | debian/tools_obj_gnatcheck/0000755000000000000000000000000012215070763013172 5ustar debian/asis-doc.docs0000644000000000000000000000007612215070763011550 0ustar *.txt README asis-2005-transition.txt features-asis* tutorial debian/tests/0000755000000000000000000000000012215070763010333 5ustar debian/tests/control0000644000000000000000000000003012215070763011727 0ustar Tests: link-with-shared debian/tests/link-with-shared0000644000000000000000000000047312215070763013434 0ustar #!/bin/sh set -C -e -f -u cd "$ADTTMP" cat > main.adb < p.gpr < .\" .\" This is free software; you can redistribute it and/or modify it under .\" the terms of the GNU General Public License as published by the Free .\" Software Foundation; either version 2, or (at your option) any later .\" version. .\" .\" This is distributed in the hope that it will be useful, but WITHOUT .\" ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or .\" FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License .\" for more details. .\" .\" You should have received a copy of the GNU General Public License with .\" your Debian GNU/Linux system, in /usr/share/common-licenses/GPL, or with the .\" dpkg source package as the file COPYING. If not, write to the Free .\" Software Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. .\" .TH "GNATELIM" 1 "January 2002" "GNU Ada Tools" "ASIS Tools" .SH NAME \fBgnatelim\fR \- eliminate dead code from Ada programs .SH SYNOPSIS \fBgnatelim\fR [\fIOPTION\fR]... \fIname\fR .SH DESCRIPTION .PP When you are working with a program which shares some set of Ada packages with other programs, it may happen, that your program uses only a part of subprogram defined in these packages, whereas the code created for unused subprograms increases the size of the executable your program. .PP \fBgnatelim\fR is a utility tracking unused subprograms in an Ada program. Its output consists of a list of Eliminate pragmas marking all the subprograms that are declared, but never called in a given program. Eliminate is a GNAT\-specific pragma. By ecompiling your program with these pragmas, you may decrease the size of its executable, because the compiler will not create the code for unused subprograms. .PP \fBgnatelim\fR is an ASIS application developed on top of the ASIS implementation for GNAT. It needs a set of tree files representing a program to analyze and the bind file for its main subprogram to be created in the current directory. For the current version, it is a the user's responsibility to maintain the consistency of the set of tree files processed by \fBgnatelim\fR, if the user also changes the sources of the Ada program to be processed. .PP To produce a list of Eliminate pragmas, \fBgnatelim\fR has to do an extensive analysis and it may take some time. For example, to process itself, \fBgnatelim\fR takes 4 minutes of CPU time on a Pentium 200. .SH OPTIONS .TP \fB\-v\fR verbose mode: \fBgnatelim\fR version information is printed (in the form of Ada comments) in stdout; the names of the files being processed are printed to standard\-error. .TP \fB\-vf\fR Same as \-v, but in addition various debugging information and information reflecting some details of the analysis done by \fBgnatelim\fR are printed to standard\-error. .TP \fB\-a\fR Process RTL components: by default, \fBgnatelim\fR does not analyze the units which are the components of the GNAT Run\-Time Library (RTL), and it does not generate Eliminate pragmas for subprograms declared in the RTL. If '\-a' option is set, RTL components are also analyzed (except some units, which contains subprograms implicitly called by the compiler). .TP \fB\-m\fR Check missed units: if this option is set, \fBgnatelim\fR checks that all the units which (according to the bind file) has to be analyzed by \fBgnatelim\fR are really represented by the set of tree files processed by \fBgnatelim\fR (depending on whether or not '\-a' option is set). By default (that is, if '\-m' option is not set), \fBgnatelim\fR analyzes a set of units represented by a given set of tree files "as is" (excluding library packages which require bodies, but for which bodies are not available). .SH AUTHOR .PP ASIS\-for\-GNAT was originally developed by the ASIS\-for\-GNAT team at the Software Engineering Laboratory of the Swiss Federal Institute of Technology (LGL\-EPFL) in Lausanne, Switzerland, in cooperation with the Scientific Research Computer Center of Moscow State University (SRCC MSU), Russia, with funding partially provided by grants from the Swiss National Science Foundation and the Swiss Academy of Engineering Sciences. ASIS\-for\-GNAT is now maintained by Ada Core Technologies Inc (http://www.gnat.com). .PP This manual page was written by Ludovic Brenta for the Debian project. .SH COPYRIGHT Copyright (c) 1995\-1997, Free Software Foundation, Inc. .SH SEE ALSO .PP asistant(1), gnat(1), gnatcheck(1), gnatmetric(1), gnatpp(1), gnatstub(1) .PP The full documentation for \fBgnatelim\fR in /usr/share/doc/asis\-programs/README.gnatelim .TP \fBinfo asis_ug\fR ASIS\-for\-GNAT User's Guide .TP \fBinfo asis_rm\fR ASIS\-for\-GNAT Reference Manual debian/ada_libraries0000644000000000000000000000011112215070763011666 0ustar KIND=dynamic soversion=ignored_by_dh_ada_library debian/install_asis.gpr debian/asis-doc.examples0000644000000000000000000000001212215070763012424 0ustar templates debian/tools_obj_gnatelim/0000755000000000000000000000000012215070763013043 5ustar debian/install_asis.gpr0000644000000000000000000000301412215070763012366 0ustar -- GNAT Project file that builds the ASIS library. -- Copyright (c) 2005, 2006, 2008, 2009 Ludovic Brenta -- Copyright (c) 2013 Nicolas Boulenguez -- This program is free software; you can redistribute it and/or modify -- it under the terms of the GNU General Public License as published by -- the Free Software Foundation; either version 3 of the License, or -- (at your option) any later version. -- -- This program is distributed in the hope that it will be useful, -- but WITHOUT ANY WARRANTY; without even the implied warranty of -- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the -- GNU General Public License for more details. with "gnatvsn.gpr"; project Install_ASIS is type Library_Kind is ("dynamic", "static"); Kind : Library_Kind := External ("KIND"); for Library_Name use "asis"; for Library_Dir use Project'Name & "_lib_" & Kind; for Object_Dir use Project'Name & "_obj_" & Kind; for Library_Kind use Kind; case Kind is when "dynamic" => for Library_Version use "libasis.so." & External ("soversion"); for Library_Options use External_As_List ("LDFLAGS", " "); when "static" => null; end case; for Source_Dirs use ("../asis"); package Compiler is for Default_Switches ("Ada") use External_As_List ("ADAFLAGS", " "); -- Work around compiler bug #642980 for Switches ("asis-text.adb") use External_As_List ("ADAFLAGS_no_opt", " "); end Compiler; end Install_ASIS; debian/tools_obj_gnatmetric/0000755000000000000000000000000012215070763013400 5ustar debian/tools_obj_gnatpp/0000755000000000000000000000000012215070763012534 5ustar debian/asis.gpr0000644000000000000000000000266412215070763010652 0ustar -- ASIS project file for use with GCC 4.3 or later -- Copyright (c) 2003, 2006, 2008 Ludovic Brenta -- -- This program is free software; you can redistribute it and/or modify -- it under the terms of the GNU General Public License as published by -- the Free Software Foundation; either version 3 of the License, or -- (at your option) any later version. -- -- This program is distributed in the hope that it will be useful, -- but WITHOUT ANY WARRANTY; without even the implied warranty of -- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the -- GNU General Public License for more details. -- -- This project file is designed to help build applications that use -- Asis. Here is an example of how to use this project file: -- -- with "asis"; -- project Example is -- for Object_Dir use "obj"; -- for Exec_Dir use "."; -- for Main use ("example"); -- package Linker renames Asis.Linker; -- -- Alternatively, if you need additional switches: -- -- package Linker is -- -- for Default_Switches ("Ada") use (Asis.Ada_Switches & ...) -- -- end Linker; -- end Example; with "gnatvsn.gpr"; project ASIS is for Source_Dirs use ("/usr/share/ada/adainclude/asis"); for Library_Name use "asis"; for Library_ALI_Dir use "/usr/lib/ada/adalib/asis"; for Library_Dir use "/usr/lib"; for Library_Kind use "dynamic"; for Externally_Built use "true"; end ASIS; debian/tools_obj_gnatsync/0000755000000000000000000000000012215070763013071 5ustar debian/compat0000644000000000000000000000000212215070763010367 0ustar 9 debian/install_asis_obj_static/0000755000000000000000000000000012215070763014057 5ustar debian/gnatcheck.10000644000000000000000000000730412215070763011206 0ustar .\" Hey, Emacs! This is an -*- nroff -*- source file. .\" .\" Copyright (C) 2004-2007 AdaCore .\" Copyright (C) 2008 Ludovic Brenta .\" .\" This is free software; you can redistribute it and/or modify it under .\" the terms of the GNU General Public License as published by the Free .\" Software Foundation; either version 2, or (at your option) any later .\" version. .\" .\" This is distributed in the hope that it will be useful, but WITHOUT .\" ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or .\" FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License .\" for more details. .\" .\" You should have received a copy of the GNU General Public License with .\" your Debian GNU/Linux system, in /usr/share/common-licenses/GPL, or with the .\" dpkg source package as the file COPYING. If not, write to the Free .\" Software Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. .\" .TH "GNATCHECK" 1 "March 2008" "GNU Ada Tools" "ASIS Tools" .SH NAME gnatcheck \- The GNAT rule checking tool .SH SYNOPSIS \fBgnatcheck\fR [\fIOPTION\fR]... \fIfilename\fR [\fB\-cargs\fR \fIgcc_switches\fR] [\fB\-rules\fR \fIrule_switches\fR] .PP \fBgnatcheck\fR [\fIOPTION\fR]... \-files=\fIfilename\fR [\fB\-cargs\fR \fIgcc_switches\fR] [\fB\-rules\fR \fIrule_switches\fR] .SH DESCRIPTION .PP \fBgnatcheck\fR checks the conformance of Ada source text with rules and produces a report file for later analysis as well as on standard output. .PP In the first form, \fBgnatcheck\fR examines the specified Ada source files (wildcards are allowed). .PP In the second form, \fBgnatcheck\fR examines the Ada source files listed in the specified file. .PP \fBgnatcheck\fR is an ASIS application developed on top of the ASIS implementation for GNAT. As such, it reads tree files (\fI*.adt\fR) produced by the compiler to accomplish its goals, and invokes \fBgnatgcc\fR for this. .SH OPTIONS .TP \fB\-a\fR Process RTL units. .TP \fB\-cargs\fR \fIgcc_switches\fR Pass \fIgcc_switches\fR to GCC when producing the tree files. .TP \fB\-d\fR Debug mode. .TP \fB\-dd\fR Progress indicator mode, for use in the GNAT Programming Studio. .TP \fB\-h\fR Print the list of built\-in rules. .TP \fB\-l\fR Full source location chains in report file. .TP \fB\-q\fR Quiet mode: do not report detections on standard output. .TP \fB\-rules\fR \fIrule_switches\fR \fIrule_switches\fR can be any combination of the following: .RS .TP \fB\-from\fR=\fIfile\fR Read rule options from \fIfile\fR .TP \fB+ALL\fR Turn all rules on. .TP \fB\-ALL\fR Turn all rules off. .TP \fB+R\fR\fIrule_id\fR[:\fIparam\fR[,\fIparam\fR...]] Turn the specified rule on, passing it optional parameters. .TP \fB\-R\fR\fIrule_id\fR Turn the specified rule off. .TP \fB+R\fR\fIrule_id\fR[:\fIparam\fR[,\fIparam\fR...]] Turn off some of the checks for the specified rule. .P \fIrule_id\fR is any of the rules listed with the \fB\-h\fR option. .RE .TP \fB\-s\fR Short form of the report file. .TP \fB\-s\fR\fIn\fR Include only section \fIn\fR (\fIn\fR in 1 .. 3) in the report file. .TP \fB\-v\fR Verbose mode. .TP .SH AUTHOR .PP \fBgnatcheck\fR was written by AdaCore (http://www.adacore.com). .PP This manual page was written by Ludovic Brenta for the Debian project, from information in the sources of gnatcheck. .SH COPYRIGHT \fBgnatcheck\fR is Copyright (c) 2004\-2007 AdaCore .PP This manual page is Copyright (C) 2008 Ludovic Brenta . .SH SEE ALSO .PP asistant(1), gnat(1), gnatelim(1), gnatmetric(1), gnatpp(1) .PP The full documentation for \fBgnatcheck\fR in /usr/share/doc/asis\-programs/README.gnatcheck. .TP \fBinfo asis_ug\fR ASIS\-for\-GNAT User's Guide .TP \fBinfo asis_rm\fR ASIS\-for\-GNAT Reference Manual debian/gnatstub.10000644000000000000000000001237312215070763011110 0ustar .\" Hey, Emacs! This is an -*- nroff -*- source file. .\" .\" Copyright (C) 1996 Erick Branderhorst .\" Copyright (C) 2006 Ludovic Brenta .\" .\" This is free software; you can redistribute it and/or modify it under .\" the terms of the GNU General Public License as published by the Free .\" Software Foundation; either version 2, or (at your option) any later .\" version. .\" .\" This is distributed in the hope that it will be useful, but WITHOUT .\" ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or .\" FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License .\" for more details. .\" .\" You should have received a copy of the GNU General Public License with .\" your Debian GNU/Linux system, in /usr/share/common-licenses/GPL, or with the .\" dpkg source package as the file COPYING. If not, write to the Free .\" Software Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. .\" .TH "GNATSTUB" 1 "January 2002" "GNU Ada Tools" "ASIS Tools" .SH NAME gnatstub \- Generate skeletons for Ada package bodies .SH SYNOPSIS \fBgnatstub\fR [\fIOPTION\fR]... \fIfilename\fR [\fRdirectory\fR] .SH DESCRIPTION .PP \fBgnatstub\fR is an Ada library unit body sample generator. It takes a source file containing the source of an Ada library unit declaration and generates the sample body for this unit in another source file. Sample body is a kind of "minimal", but compilable body for a given unit declaration. .PP \fBgnatstub\fR is an ASIS application developed on top of the ASIS implementation for GNAT. The important thing to know about \fBgnatstub\fR is that to create a body, \fBgnatstub\fR first compiles the spec to create in your current directory the tree output file (or, simply, a tree file). After creating a body, \fBgnatstub\fR deletes this tree file (the tree file may be kept by setting the corresponding option). Therefore, if you have some other ASIS\-based tools built on top of ASIS\-for\-GNAT, working on the tree files located in your current directory, be aware of possible changes in the set of tree files as a result of using gnatstub. .SH OPTIONS .TP \fB\-f\fR Replace an existing body file (if any) with a body sample. If destination directory contains a file which should be considered as the body for \fIfilename\fR according to the GNAT file name conventions, \fBgnatstub\fR treats this file as a body for \fIfilename\fR, and it does not create a sample body if '\-f' option is not set; .TP \fB\-hs\fR Put in body sample the comment header from the source of the library unit declaration contained in \fIfilename\fR ("comment header" is all the comments preceding the compilation unit). .TP \fB\-hg\fR Put in body sample a sample comment header. .TP \fB\-I\fR\fIdir\fR .TP \fB\-I\-\fR These options have just the same meaning as in calls to \fBgnatgcc\fR or \fBgnatmake\fR. They are used to define the source search path in the call to \fBgnatgcc\fR issued by \fBgnatstub\fR to create the tree file. Note, that to create a body, \fBgnatstub\fR needs a legal Ada unit, therefore if \fIfilename\fR depends on some unit located in another directory, '\-I' should be used to provide the path to this unit. .TP \fB\-i\fB\fR\fIn\fR (n is a decimal natural number) Sets the indentation level in a body sample to \fIn\fR, '\-i0' means "no indentation", the default indentation is 3; .TP \fB\-k\fR Do not remove the tree file: as default, gnatstub removes from the current directory the tree file created for \fIfilename\fR after creating the body sampler. '\-k' prevents deleting the tree file. .TP \fB\-l\fB\fR\fIn\fR (n is a decimal positive number) Sets maximum line length in a body sample to \fIn\fR, the default line length is 78; .TP \fB\-q\fR Quiet mode: gnatstub does not generate a confirmation when a body is successfully created or a message when a body is not required for an argument unit. .TP \fB\-t\fR Overwrite the existing tree file: if the current directory already contains the file which, according to the GNAT file name rules should be considered as a tree file for \fIfilename\fR, \fBgnatstub\fR will refuse to create the tree file needed to create a body sampler, unless '\-t' option is set. .TP \fB\-v\fR Verbose mode: gnatstub generates version information. .SH AUTHOR .PP \fBgnatstub\fR is free software. It was originally developed by Alexei Kuchumov as a part of collaboration between Software Engineering Laboratory of the Swiss Federal Institute of Technology in Lausanne, Switzerland, in cooperation with the Scientific Research Computer Center of Moscow State University (SRCC MSU), Russia. This work was supported by a grant from the Swiss National Science Foundation, no 7SUPJ048247, funding a project entitled "Development of ASIS for GNAT with industry quality". .PP Now \fBgnatstub\fR is maintained by Ada Core Technologies, Inc (http://www.gnat.com). .PP This manual page was written by Ludovic Brenta for the Debian project. .SH COPYRIGHT Copyright (c) 1995\-1997, Free Software Foundation, Inc. .SH SEE ALSO .PP asistant(1), gnat(1), gnatcheck(1), gnatelim(1), gnatmetric(1), gnatpp(1) .PP The full documentation for \fBgnatstub\fR in /usr/share/doc/asis\-programs/README.gnatstub. .TP \fBinfo asis_ug\fR ASIS\-for\-GNAT User's Guide .TP \fBinfo asis_rm\fR ASIS\-for\-GNAT Reference Manual debian/install_asis_obj_dynamic/0000755000000000000000000000000012215070763014214 5ustar debian/tools_obj_asistant/0000755000000000000000000000000012215070763013071 5ustar debian/install_asis_lib_static/0000755000000000000000000000000012215070763014053 5ustar debian/watch0000644000000000000000000000026012215070763010220 0ustar # The upstream tarball download system is too complicated to be # described in a watch file. Asis may be found in the GNAT GPL section # of the Homepage URL in debian/control.