--- adacontrol-1.12r4.orig/debian/adactl.1 +++ adacontrol-1.12r4/debian/adactl.1 @@ -0,0 +1,128 @@ +.de URL +\\$2 \(laURL: \\$1 \(ra\\$3 +.. +.if \n[.g] .mso www.tmac +.TH adactl 1 2008-05-13 Debian "Programmer's Manual" +.SH NAME +adactl \- Ada rules controller +.SH SYNOPSIS +.HP +\fBadactl\fR [\fIoptions\fR] \fIunit\fR[+|-\fIunit\fR]|[@]\fIfile\fR ... +[-- \fIASIS_options\fR] +.HP +\fBadactl\fR -h [\fIrule id\fR... | all | commands | license | list | options | rules | version] +.SH DESCRIPTION +AdaControl is an Ada rules controller. It is used to control that Ada +software meets the requirements of a number of parameterizable +rules. It is not intended to supplement checks made by the compiler, +but rather to search for particular violations of good-practice rules, +or to check that some rules are obeyed project-wide. + +Commercial support is available for AdaControl, see file +\fI/usr/share/doc/adacontrol/support.txt\fR. If you plan to use +AdaControl for industrial projects, or if you want it to be customized +or extended to match your own needs, please contact Adalog at +\fBinfo@adalog.fr\fR. +.SH SPECIAL MODES +.IP \fB-C\fR +Check rules syntax only. Accepts -d, -f, -l, -v, -x. +.IP \fB-D\fR +Generate dependencies. Accepts -o, -p, -r, -s, -w, -x. +.IP \fB-h\fR +Prints a general help message. +.IP "\fB-h\fB \fIrule\fR" +Describe \fIrule\fR. +.IP "\fB-h all\fR" +Describe all rules. +.IP "\fB-h commands|license|options|version\fR" +Describe all commands, the licence (GPL), the options or the version number. +.IP "\fB-h list\fR" +List the rules in a format suitable for use inside the GNAT Programming Studio. +.IP "\fB-h rules\fR" +List the rules in a normal format. +.IP \fB-I\fR +Interactive mode. Accepts all options. +.SH OPTIONS +.IP \fB-d\fR +Enable debug mode. +.IP \fB-e\fR +Treat warnings (Search) as errors (Check) +.IP \fB-E\fR +Print only errors (Check). +.IP "\fB-f\fB \fIfile\fR" +Use \fIfile\fR for the specification of rules +.IP "\fB-F\fR GNAT | GNAT_SHORT | CSV | CSV_SHORT | CSVX | CSVX_SHORT | NONE" +Choose output format. +.IP \fB-i\fB +Ignore local deactivations. +.IP "\fB-l\fR \fIrule\fR..." +Process with the specified rules; see below. +.IP "\fB-o\fR \fIfile\fR" +Send output to the specified \fIfile\fR. +.IP "\fB-p\fR \fIfile\fR" +Specify an emacs ada-mode project file (.adp) +.IP \fB-r\fR +Recursive +.IP \fB-s\fR +Only process Ada unit specifications +.IP "\fB-S\fR \fIlevel\fR" +Produce statistics; \fIlevel\fR is an integer in the range 0 .. 4. +.IP "\fB-t\fR \fItrace_file\fR" +Send a trace to the specified file. +.IP \fB-T\fR +Report execution time of rules. +.IP \fB-u\fR +Treat all parameters as Ada units +.IP \fB-v\fR +Enable verbose mode. +.IP \fB-w\fR +Overwrite output file (works with -o) +.IP \fB-x\fR +Exit when internal error +.SH RULES +The following rules are available for the \fB-l\fR option: + Abnormal_Function_Return Allocators + Array_Declarations Barrier_Expressions + Case_Statement Characters + Declarations Default_Parameter + Directly_Accessed_Globals Duplicate_Initialization_Calls + Entities Entity_Inside_Exception + Exception_Propagation Expressions + Global_References Header_Comments + Improper_Initialization Instantiations + Insufficient_Parameters Local_Hiding + Max_Blank_Lines Max_Call_Depth + Max_Line_Length Max_Nesting + Max_Size Max_Statement_Nesting + Movable_Accept_Statements Multiple_Assignments + Naming_Convention Non_Static + Not_Elaboration_Calls Not_Selected_Name + No_Operator_Usage Object_Declarations + Other_Dependencies Parameter_Aliasing + Parameter_Declarations Potentially_Blocking_Operations + Pragmas Reduceable_Scope + Representation_Clauses Return_Type + Side_Effect_Parameters Silent_Exceptions + Simplifiable_Expressions Simplifiable_Statements + Special_Comments Statements + Style Terminating_Tasks + Type_Initial_Values Uncheckable + Units Unnecessary_Use_Clause + Unsafe_Paired_Calls Unsafe_Unchecked_Conversion + Usage Use_Clauses + With_Clauses +.SH AUTHOR +AdaControl was developed by +.URL http://www.adalog.fr Adalog +under contract with +.URL http://www.eurocontrol.int Eurocontrol . +The copyright is jointly owned by Adalog and Eurocontrol. + +This manual page was written by Ludovic Brenta +and is licensed under terms of the GNU Public License. +.SH "SEE ALSO" +AdaControl User's Guide, available in Info, PDF, and HTML in +\fI/usr/share/doc/adacontrol\fR. + +AdaControl Programmer's Guide, available in Info, PDF, and HTML in +\fI/usr/share/doc/adacontrol\fR. --- adacontrol-1.12r4.orig/debian/compat +++ adacontrol-1.12r4/debian/compat @@ -0,0 +1 @@ +7 --- adacontrol-1.12r4.orig/debian/pfni.1 +++ adacontrol-1.12r4/debian/pfni.1 @@ -0,0 +1,67 @@ +.de URL +\\$2 \(laURL: \\$1 \(ra\\$3 +.. +.if \n[.g] .mso www.tmac +.TH pfni 1 2006-10-12 Debian "Programmer's Manual" +.SH NAME +pfni \- Print Full Name Image of an Ada entity +.SH SYNOPSIS +.HP +\fBpfni\fR [-sofd] [-p \fIproject-file\fR] +\fIunit\fR[:\fIline-number\fR[:\fIcolumn-number\fR]] +[-- \fIASIS options\fR] +.HP +\fBpfni\fR -h +.HP +.SH DESCRIPTION +\fBpfni\fR is a companion program to \fBadactl\fR(1). It prints the +full expanded name of entities declared or referenced by a specified +Ada compilation unit. This makes it easier to designate the entities +when writing new rules for AdaControl. + +Commercial support is available for AdaControl, see file +\fI/usr/share/doc/adacontrol/support.txt\fR. If you plan to use +AdaControl for industrial projects, or if you want it to be customized +or extended to match your own needs, please contact Adalog at +\fBinfo@adalog.fr\fR. +.SH OPTIONS +.IP \fB-d\fR +Enable debug mode. +.IP \fB-f\fR +Full output: display all entities declared and referenced by +\fIunit\fR. The default is to only display entities declared in +\fIunit\fR. +.IP \fB-h\fR +Prints a general help message. +.IP \fB-o\fR +Also print overloading information. If you are calling a subprogram +that has several overloadings and you are not sure which one is +called, use \fBpfni\fR with the \fB-o\fR option on that line: the +program will tell you the full name and profile of the called +subprogram. +.IP "\fB-p\fR \fIproject-file\fR" +Use the specified Emacs ada-mode (*.adp) project file. +.IP \fB-s\fR +Process the specification of \fIunit\fR; the default is to process the +body. +.IP \fIline-number\fR +Only display entities declared on that line. +.IP \fIline-number:column-number\fR +Only display the entity at that line and column, if any. +.SH AUTHOR +AdaControl was developed by +.URL http://www.adalog.fr Adalog +under contract with +.URL http://www.eurocontrol.int Eurocontrol . +The copyright is jointly owned by Adalog and Eurocontrol. + +This manual page was written by Ludovic Brenta +for the Debian project, but it can be used for other purposes as well. +.SH "SEE ALSO" +adactl(1) + +AdaControl User's Guide, available in Info, PDF, and HTML in +\fI/usr/share/doc/adacontrol\fR. + +AdaControl Programmer's Guide, available in Info, PDF, and HTML in +\fI/usr/share/doc/adacontrol\fR. --- adacontrol-1.12r4.orig/debian/ptree.1 +++ adacontrol-1.12r4/debian/ptree.1 @@ -0,0 +1,52 @@ +.de URL +\\$2 \(laURL: \\$1 \(ra\\$3 +.. +.if \n[.g] .mso www.tmac +.TH ptree 1 2008-04-27 Debian "Programmer's Manual" +.SH NAME +ptree \- Prints a graphic representation of an ASIS tree with corresponding source +.SH SYNOPSIS +.HP +\fBptree\fR [-sS] [-p \fIproject-file\fR] +\fIunit\fR[:\fIline-number\fR[:\fIcolumn-number\fR]] +[-- \fIASIS options\fR] +.HP +\fBptree\fR -h +.HP +.SH DESCRIPTION +\fBptree\fR is a companion program to \fBadactl\fR(1). + +Commercial support is available for AdaControl, see file +\fI/usr/share/doc/adacontrol/support.txt\fR. If you plan to use +AdaControl for industrial projects, or if you want it to be customized +or extended to match your own needs, please contact Adalog at +\fBinfo@adalog.fr\fR. +.SH OPTIONS +.IP \fB-h\fR +Prints a general help message. +.IP \fB-s\fR +Only process the specification of \fIunit\fR; the default is to process +the specification and body. +.IP \fB-S\fR +Print the span of each element. +.IP \fIline-number\fR +Only display entities declared on that line. +.IP \fIline-number:column-number\fR +Only display the entity at that line and column, if any. +.SH AUTHOR +AdaControl was developed by +.URL http://www.adalog.fr Adalog +under contract with +.URL http://www.eurocontrol.int Eurocontrol . +The copyright is jointly owned by Adalog and Eurocontrol. + +This manual page was written by Ludovic Brenta +for the Debian project, but it can be used for other purposes as well. +.SH "SEE ALSO" +adactl(1) + +AdaControl User's Guide, available in Info, PDF, and HTML in +\fI/usr/share/doc/adacontrol\fR. + +AdaControl Programmer's Guide, available in Info, PDF, and HTML in +\fI/usr/share/doc/adacontrol\fR. --- adacontrol-1.12r4.orig/debian/changelog +++ adacontrol-1.12r4/debian/changelog @@ -0,0 +1,160 @@ +adacontrol (1.12r4-3) unstable; urgency=low + + * Lintian cleaning. + * debian/copyright: DEP-5. + * Make the package compatible with dpkg-buildpackage -A, -B. + + -- Ludovic Brenta Wed, 15 Feb 2012 23:21:13 +0100 + +adacontrol (1.12r4-2) unstable; urgency=low + + * Recompile with gnat-4.6 and asis 2010. + * debian/control (Architecture): any. + (Standards-Version): bump to 3.9.2 with no changes required. + + -- Ludovic Brenta Tue, 6 Sep 2011 12:01:15 +0200 + +adacontrol (1.12r4-1) unstable; urgency=low + + * New upstream release: minor bug fixes and documentation updates. + + -- Ludovic Brenta Tue, 3 Aug 2010 19:33:56 +0200 + +adacontrol (1.12r3-1) unstable; urgency=low + + * Final release from upstream. + * Install GPS/adacontrol.xml in the gprbuild plug-in directory. + * debian/control (Enhances): add gprbuild. + * debian/patches/gps-integration.patch: adjust to the new upstream release. + * debian/patches/566061.patch: remive, applied upstream. + + -- Ludovic Brenta Sat, 8 May 2010 19:32:57 +0200 + +adacontrol (1.12~b1-1) unstable; urgency=low + + * New upstream beta version. Really closes: #566061 even on i386. + + -- Ludovic Brenta Sat, 13 Mar 2010 14:01:37 +0100 + +adacontrol (1.11r4-1) unstable; urgency=low + + * New upstream version. Closes: #566061. + * debian/control (Build-Depends): upgrade to gnat-4.4, libasis2008-dev. + (Architecture): disable alpha due to http://gcc.gnu.org/PR42073. + * debian/patches/*.patch: adjust to the new upstream version. + * debian/patches/566061.patch: new, thanks to Jean-Pierre Rosen. + + -- Ludovic Brenta Thu, 11 Mar 2010 18:51:08 +0100 + +adacontrol (1.9r4-5) unstable; urgency=medium + + * debian/control (Architecture): temporarily disable mips due to + #566234. Add armel; closes: #568432. + + -- Ludovic Brenta Sun, 7 Feb 2010 22:51:26 +0100 + +adacontrol (1.9r4-4) unstable; urgency=low + + * debian/control (Build-Depends): upgrade to gnat-4.4, libasis2008-dev. + (Architecture): disable alpha due to http://gcc.gnu.org/PR42073. + + -- Ludovic Brenta Sun, 6 Dec 2009 21:41:48 +0100 + +adacontrol (1.9r4-3) unstable; urgency=low + + * debian/control (Standards-Version): bump to 3.8.3. + (Depends): add ${misc:Depends}, fixes two lintian warnings. + (Description): do not use more than 80 characters per line. + + -- Ludovic Brenta Sat, 12 Sep 2009 00:05:44 +0200 + +adacontrol (1.9r4-2) unstable; urgency=low + + [Raphael Hertzog] + * Move patches to debian/patches and adjust build system accordingly to + be compatible with source format 3.0 (quilt). Closes: #485101 + + [Ludovic Brenta] + * debian/control (Architectures): add kfreebsd-amd64. Closes: #542410. + (Source-Version): bump to 3.8.1. + * debian/compat: bump to 7 (from 5). + * Recompile against libasis (=2007-5). Closes: #518726. + + -- Ludovic Brenta Thu, 10 Sep 2009 21:31:20 +0200 + +adacontrol (1.9r4-1) unstable; urgency=low + + * New upstream version. + * debian/control: prevent the list in the description from being + reformatted. Thanks to Simon Huggins for reporting. Closes: #480315. + (Standards-Version): bump to 3.7.3 with no changes required. + * debian/compat: new. + * debian/rules: do not export DH_COMPAT anymore. + * debian/adactl.1: update. + * debian/copyright: remove the "special exception" text, since adacontrol + is linked with libasis2007 which is pure GPL. + + -- Ludovic Brenta Tue, 13 May 2008 22:55:37 +0200 + +adacontrol (1.8r8-1) unstable; urgency=low + + * New upstream version. + * debian/adacontrol.gpr: delete; use upstream's project file instead. + * patches/build.patch: patch upstream's project file to change Object_Dir + and Exec_Dir. + * Build-depend on asis 2007 and gnat-4.3. + * Add support for mips, mipsel and ppc64. + * Build and provide ptree. + * ptree.1: new. + * adactl.1: update; new options and rules are available. + + -- Ludovic Brenta Sun, 27 Apr 2008 16:33:11 +0200 + +adacontrol (1.6r8-1) unstable; urgency=low + + * New upstream version. + * debian/rules: add a copyright statement. Use all available CPUs to + build. Install predefined rules files in /usr/share/adacontrol. + * debian/adacontrol.gpr: work around a compiler (GCC 4.1) bug triggered + by two of AdaControl's source files. + * debian/README.Debian: new; explain about the predefined rule files. + + -- Ludovic Brenta Wed, 6 Dec 2006 19:59:00 +0100 + +adacontrol (1.5r24-1) unstable; urgency=low + + * New upstream release. + * debian/control (Depends): add gnat-4.1. + (Enhances): add gnat-gps. + * debian/adacontrol.gpr: build pfni. + * debian/rules: install the new gnat-gps plug-in, and pfni. + * debian/pfni.1: new. + * patches/gps-integration.patch: new. + + -- Ludovic Brenta Thu, 12 Oct 2006 19:17:22 +0200 + +adacontrol (1.4r20-3) unstable; urgency=low + + * debian/rules (binary, binary-arch): fix so that dpkg-buildpackage -b + works. Closes: #382466, #382763. + + -- Ludovic Brenta Thu, 24 Aug 2006 08:44:11 +0200 + +adacontrol (1.4r20-2) unstable; urgency=low + + * Recompile, now that asis has been built on all architectures. + * debian/control: + - add support for alpha; remove mips and mipsel. + - build-depend on debhelper. Closes: #378160. + + -- Ludovic Brenta Tue, 8 Aug 2006 23:30:33 +0200 + +adacontrol (1.4r20-1) unstable; urgency=low + + * New package. + + -- Ludovic Brenta Wed, 21 Jun 2006 22:24:26 +0200 + +Local variables: +left-margin: 2 +End: --- adacontrol-1.12r4.orig/debian/rules +++ adacontrol-1.12r4/debian/rules @@ -0,0 +1,63 @@ +#!/usr/bin/make -f +# debian/rules for adacontrol. +# Copyright (c) 2006, 2012 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 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. +# +# The full text of the GNU General Public License is in the file +# /usr/share/common-licenses/GPL on Debian systems. + +CPUS := $(shell getconf _NPROCESSORS_ONLN) +EXECUTABLES := adactl pfni ptree + +include /usr/share/quilt/quilt.make + +build: patch + gnatmake -j$(CPUS) -p -Psrc/build.gpr + +build-arch: build +build-indep: + +clean: unpatch + rm -rf $(EXECUTABLES) obj + dh_clean + +binary: binary-arch binary-indep + +binary-arch: build adacontrol + dh_installchangelogs -a + dh_strip -a + dh_compress -a -X.aru + dh_makeshlibs -a + dh_shlibdeps -a + dh_gencontrol -a + dh_fixperms -a + dh_lintian -a + dh_installdeb -a + dh_builddeb -a + +adacontrol: + dh_installdirs -p$@ \ + /usr/bin /usr/share/doc/adacontrol \ + /usr/share/gps/plug-ins /usr/share/adacontrol /usr/share/gprconfig + dh_install -p$@ $(EXECUTABLES) /usr/bin + dh_install -p$@ rules/* /usr/share/adacontrol + dh_installdocs -p$@ -X.pdf doc/*.html doc/*.pdf doc/*.txt + dh_installinfo -p$@ doc/*.info* + dh_installman -p$@ debian/*.1 + dh_install -p$@ $(filter-out GPS/adacontrol.xml,$(wildcard GPS/*)) \ + /usr/share/gps/plug-ins + dh_install -p$@ GPS/adacontrol.xml /usr/share/gprconfig + find debian/adacontrol/usr/share -type f -exec chmod u=rw,go=r {} \; + +binary-indep: + +.PHONY: build build-arch build-indep binary binary-arch binary-indep adacontrol --- adacontrol-1.12r4.orig/debian/adacontrol.lintian-overrides +++ adacontrol-1.12r4/debian/adacontrol.lintian-overrides @@ -0,0 +1,3 @@ +# The info manual is in multiple parts, the dir section is in *.info-1.gz. +adacontrol binary: info-document-missing-dir-section usr/share/info/adacontrol_ug.info.gz +adacontrol binary: info-document-missing-dir-entry usr/share/info/adacontrol_ug.info.gz --- adacontrol-1.12r4.orig/debian/copyright +++ adacontrol-1.12r4/debian/copyright @@ -0,0 +1,21 @@ +Format: http://anonscm.debian.org/viewvc/dep/web/deps/dep5.mdwn?revision=174 +Upstream-Name: AdaControl +Upstream-Contact: http://www.adalog.fr + +Files: * +Copyright: Copyright (C) 2005-2008 Eurocontrol/Adalog +License: GPL-2+ + GNU GPL v2 or later; see /usr/share/common-licenses/GPL-2. + +Files: doc/* +Copyright: Copyright (C) 2005-2008 Eurocontrol/Adalog +License: + This document may be copied, in whole or in part, in any form or by + any means, as is or with alterations, provided that (1) alterations + are clearly marked as alterations and (2) this copyright notice is + included unmodified in any copy. + +Files: debian/* +Copyright: Copyright (C) 2006-2012 Ludovic Brenta +License: GPL-2+ + GNU GPL v2 or later; see /usr/share/common-licenses/GPL-2. --- adacontrol-1.12r4.orig/debian/control +++ adacontrol-1.12r4/debian/control @@ -0,0 +1,24 @@ +Source: adacontrol +Homepage: http://www.adalog.fr/adacontrol2.htm +Maintainer: Ludovic Brenta +Section: devel +Priority: optional +Standards-Version: 3.9.2 +Build-Depends: gnat, gnat-4.6, libasis2010-dev, quilt, debhelper (>= 7) + +Package: adacontrol +Architecture: any +Priority: optional +Depends: gnat-4.6, ${shlibs:Depends}, ${misc:Depends} +Enhances: gnat-gps, gprbuild +Description: Ada rules controller + AdaControl verifies that Ada software meets the requirements of a + number of parameterizable rules. It is not intended to supplement + checks made by the compiler, but rather to search for particular + violations of good-practice rules, or to check that some rules are + obeyed project-wide. This package also contains the following utilities: + . + * pfni: Print Full Name Image - expands any identifier to a fully-qualified + name + * ptree: Prints a graphic representation of an ASIS tree with corresponding + source --- adacontrol-1.12r4.orig/debian/patches/build.patch +++ adacontrol-1.12r4/debian/patches/build.patch @@ -0,0 +1,24 @@ +Index: b/src/build.gpr +=================================================================== +--- a/src/build.gpr ++++ b/src/build.gpr +@@ -5,8 +5,8 @@ + + for Languages use ("Ada"); + for Source_Dirs use ("."); +- for Object_Dir use "."; +- for Exec_Dir use "."; ++ for Object_Dir use "../obj"; ++ for Exec_Dir use ".."; + for Main use ("adactl", "ptree", "pfni"); + + package Linker is +@@ -17,7 +17,7 @@ + for Default_Switches ("ada") use ("-E"); + end Binder; + +- Std_Options := ("-O2", "-gnatwa", "-gnatWh", "-gnat95", "-gnato", "-gnatf", "-g"); ++ Std_Options := ("-O2", "-gnatwa", "-gnatWh", "-gnat95", "-gnatafo", "-g"); + package Compiler is + case Gnat_Fix is + when "1" => --- adacontrol-1.12r4.orig/debian/patches/info-dir-section.patch +++ adacontrol-1.12r4/debian/patches/info-dir-section.patch @@ -0,0 +1,30 @@ +Index: b/doc/adacontrol_pm.info +=================================================================== +--- a/doc/adacontrol_pm.info ++++ b/doc/adacontrol_pm.info +@@ -1,5 +1,10 @@ + This is adacontrol_pm.info, produced by makeinfo version 4.13 from adacontrol_pm.texi. + ++INFO-DIR-SECTION GNU Ada tools ++START-INFO-DIR-ENTRY ++* AdaControl Programmer's Manual: (adacontrol_pm). Writing new rules. ++END-INFO-DIR-ENTRY ++ +  + File: adacontrol_pm.info, Node: Top, Next: General, Prev: (dir), Up: (dir) + +Index: b/doc/adacontrol_ug.info-1 +=================================================================== +--- a/doc/adacontrol_ug.info-1 ++++ b/doc/adacontrol_ug.info-1 +@@ -1,5 +1,10 @@ + This is adacontrol_ug.info, produced by makeinfo version 4.13 from adacontrol_ug.texi. + ++INFO-DIR-SECTION GNU Ada tools ++START-INFO-DIR-ENTRY ++* AdaControl User's Guide: (adacontrol_ug). Using AdaControl. ++END-INFO-DIR-ENTRY ++ +  + File: adacontrol_ug.info, Node: Top, Next: Introduction, Prev: (dir), Up: (dir) + --- adacontrol-1.12r4.orig/debian/patches/series +++ adacontrol-1.12r4/debian/patches/series @@ -0,0 +1,3 @@ +info-dir-section.patch +gps-integration.patch +build.patch --- adacontrol-1.12r4.orig/debian/patches/gps-integration.patch +++ adacontrol-1.12r4/debian/patches/gps-integration.patch @@ -0,0 +1,21 @@ +Index: b/GPS/zadactl.xml +=================================================================== +--- a/GPS/zadactl.xml ++++ b/GPS/zadactl.xml +@@ -351,14 +351,14 @@ + + + +- adacontrol_ug.html ++ /usr/share/doc/adacontrol/adacontrol_ug.html + AdaControl User Guide + AdaControl + /Help/AdaControl/User Guide + + + +- adacontrol_pm.html ++ /usr/share/doc/adacontrol/adacontrol_pm.html + AdaControl Programmer Manual + AdaControl + /Help/AdaControl/Programmer Manual