debian/0000775000000000000000000000000012320673700007170 5ustar debian/rules0000775000000000000000000000732412320673216010260 0ustar #!/usr/bin/make -f # # Makefile for Ada Reference Manual. # Copyright (c) 2010-2012 Stephen Leake # Copyright (c) 2013-2014 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. # # You should have received a copy of the GNU General Public License # along with this program; if not, write to the Free Software # Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA define NEW_LINE endef DOCUMENTS := aarm arm YEARS := 2005 2012 include /usr/share/dpkg/default.mk include /usr/share/ada/debian_packaging.mk POLICY_TARGETS := binary binary-arch binary-indep build build-arch \ build-indep clean .PHONY: $(POLICY_TARGETS) $(POLICY_TARGETS): dh $@ ###################################################################### # Upstream Makefile is in the build directory. override_dh_auto_clean: $(MAKE) -C build clean # Default settings do not produce PDF format. FORMATS := html info txt pdf override_dh_auto_build: $(MAKE) -C build -j$(BUILDER_JOBS) \ $(foreach v,ADAFLAGS BUILDER_OPTIONS FORMATS LDFLAGS,"$(v)=$($(v))") ###################################################################### override_dh_compress: dh_compress --all --exclude=.TXT ###################################################################### override_dh_installinfo: $(foreach y,$(YEARS),dh_installinfo --package=ada-reference-manual-$(y)\ $(foreach d,$(DOCUMENTS),build/$(d)$(y).info)$(NEW_LINE)) dh_installinfo --remaining-packages ###################################################################### # Debhelper files for doc-base. TITLE_aarm := Annotated Ada Reference Manual TITLE_arm := Ada Reference Manual FILEPREFIX_aarm := aa FILEPREFIX_arm := rm ISO_2005 := 2007 ISO_2012 := 201x ABSTRACT_aarm = The Annotated Ada Reference Manual, ISO/IEC \ 8652:$(ISO_$(y))(E). It contains the entire text of the Ada $(y) \ standard, plus various annotations. It is intended primarily for \ compiler writers, validation test writers, and other language \ lawyers. The annotations include detailed rationale for individual \ rules and explanations of some of the more arcane interactions among \ the rules. ABSTRACT_arm = The Ada Reference Manual, ISO/IEC \ 8652:$(ISO_$(y))(E). It contains the entire text of the Ada $(y) \ standard. define foreach_document_year_template DOC_BASE_GENERATED += debian/ada-reference-manual-$(y).doc-base.$(d)$(y) debian/ada-reference-manual-$(y).doc-base.$(d)$(y): debian/doc_base_template sed $$< \ -e 's@DOCUMENT@$(d)@g' \ -e 's@YEAR@$(y)@g' \ -e 's@TITLE@$(TITLE_$(d))@g' \ -e 's@ABSTRACT@$(ABSTRACT_$(d))@g' \ -e 's@FILEPREFIX@$(FILEPREFIX_$(d))@g' \ > $$@ endef $(foreach d,$(DOCUMENTS),$(foreach y,$(YEARS),\ $(eval $(foreach_document_year_template)))) override_dh_installdocs: $(DOC_BASE_GENERATED) $(foreach y,$(YEARS),dh_installdocs --package=ada-reference-manual-$(y)\ README.txt \ $(foreach d,$(DOCUMENTS),build/$(d)$(y).html\ build/$(d)$(y).txt\ build/$(d)$(y).pdf)$(NEW_LINE)) dh_installdocs --remaining-packages clean: doc_base_clean doc_base_clean: rm --force $(DOC_BASE_GENERATED) .PHONY: doc_base_clean debian/watch0000664000000000000000000000015412320673137010225 0ustar version=3 http://www.stephe-leake.org/ada/arm.html arm_info-(\d.*)-src\.(?:tgz|tbz2|txz|tar\.(?:gz|bz2|xz)) debian/changelog0000664000000000000000000000713412320673444011054 0ustar ada-reference-manual (1:2012.2-2ubuntu1) trusty; urgency=medium * Merge from Debian unstable. * Drop ignoring of parallel build requests, as it is no longer broken. * Build-depend on dh-ada-library instead of gnat-x.y because debian_packaging.mk is still in dh-ada-library in Ubuntu. -- Logan Rosen Tue, 08 Apr 2014 00:10:13 -0400 ada-reference-manual (1:2012.2-2) unstable; urgency=medium * Build-Depends: debian_packaging.mk in gnat-x.y, not dh-ada-library. * patches/remove_race_condition_texinfo_tmpfile.diff closes: #743505. -- Nicolas Boulenguez Sun, 06 Apr 2014 11:42:45 +0200 ada-reference-manual (1:2012.2-1ubuntu1) trusty; urgency=medium * Ignore parallel build requests, broken. -- Matthias Klose Thu, 03 Apr 2014 16:25:53 +0200 ada-reference-manual (1:2012.2-1) unstable; urgency=low * New upstream release. Closes: #712363. * control: moved all Build-Depends to Build-Depends-Indep (no arch package). Build-Depend: dh-ada-library for Debian default Ada flags. Directly BD on texlive-fonts-recommended for ecrm1095 fonts. Only Break/Replace: a-r-m-info (no path conflict with other formats). No need to Conflict: obsolete gnat-doc (<< 3.15p) anymore. Added me to Uploaders. Added VCS-* fields. * README.Debian, arm_info.gpr: not specific to Debian, moved to upstream. * *.doc-base.*, *.docs: replaced with doc_base_template and loop in rules. * copyright: copyright-format/1.0, updated URL, . * source/local-options: only set non-default options. * watch: updated (thanks to bartm). -- Nicolas Boulenguez Tue, 25 Feb 2014 23:52:27 +0100 ada-reference-manual (1:2012.1-2) unstable; urgency=low * debian/control (Maintainer): new maintainer as Stephen has retired from Debian. Thanks for all the hard work, Stephen. (DM-Upload-Allowed): remove, not necessary anymore. * (ada-reference-manual-2005): break and replace ada-reference-manual-{html,info,pdf,text} from the previous upstream version. Closes: #673321. -- Ludovic Brenta Mon, 11 Jun 2012 09:56:25 +0200 ada-reference-manual (1:2012.1-1) unstable; urgency=low * New upstream release, for Ada 2012, draft 17. Scheme sources, and the Ada code that processes them, are now included (Ada code license was changed by upstream to GPL 3). Both Ada 2005 and Ada 2012 reference manuals are generated. Merged all formats into one package per Ada version for simplicity. -- Stephen Leake Sun, 29 Apr 2012 08:10:00 -0400 ada-reference-manual (1:2005.2-1) unstable; urgency=low * New upstream release, dated 12 Nov 2006, for Ada 2005. HTML, info, PDF, and text files generated from texinfo sources, which are generated upstream from Scheme sources. Split into several packages to allow users to only install the format they want. Closes: #460582 -- Stephen Leake Sun, 06 Jun 2010 16:52:31 -0400 ada-reference-manual (20021112web-3) unstable; urgency=low * Correctly represent '@' characters in the Texinfo manual. Closes: #287517. -- Florian Weimer Tue, 28 Dec 2004 15:17:16 +0100 ada-reference-manual (20021112web-2) unstable; urgency=low * The address in the Texinfo file is no longer the preferred one. Add a remark. Closes: #258053. -- Florian Weimer Wed, 7 Jul 2004 22:23:53 +0200 ada-reference-manual (20021112web-1) unstable; urgency=low * First version. Closes: #168766. -- Florian Weimer Sat, 11 Jan 2003 18:00:18 +0100 debian/compat0000664000000000000000000000000212320673137010372 0ustar 9 debian/copyright0000664000000000000000000001446212320673137011136 0ustar Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/ Upstream-Name: Ada Reference Manual Upstream-Contact: agent@ada-auth.org http://www.ada-auth.org/arm.html Stephen Leake http://www.stephe-leake.org/ada/arm.html Source: There are two layers of upstream; the formal Ada standard at http://www.ada-auth.org/arm.html, and the intermediate package in monotone at mtn://www.ada-france.org?org.adaic.arm_form (also at http://www.stephe-leake.org/ada/arm.html). The org.adaic.arm_form package just provides a convenient repackaging of the ada-auth sources, and adds a Makefile. The Debian source package contains a full copy of the org.adaic.arm_form package. Files: * Copyright: 2003-2013 Stephen Leake 2013-2014 Nicolas Boulenguez License: GPL-3+ See /usr/share/common-licenses/GPL-3+. Files: progs/* Copyright: 2003-2013 Stephen Leake 2000-2013 AXE Consultants License: GPL-3 See /usr/share/common-licenses/GPL-3. Files: source* Copyright: 1992, 1993, 1994, 1995 Intermetrics, Inc. 2000 The MITRE Corporation, Inc. 2004, 2005, 2006 AXE Consultants 2004, 2005, 2006 Ada-Europe 2008, 2009, 2010, 2011, 2012 AXE Consultants This copyright is assigned to the U.S. Government. All rights reserved. License: ARM_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. Compiled copies of standard library units and examples need not contain this copyright notice so long as the notice is included in all copies of source code and documentation. . --------- . Technical Corrigendum 1 . 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. Any other use or distribution of this document is prohibited without the prior express permission of MITRE. You use this document on the condition that you indemnify and hold harmless MITRE, its Board of Trustees, officers, agents, and employees, from any and all liability or damages to yourself or your hardware or software, or third parties, including attorneys' fees, court costs, and other related costs and expenses, arising out of your use of this document irrespective of the cause of said liability. . MITRE MAKES THIS DOCUMENT AVAILABLE ON AN "AS IS" BASIS AND MAKES NO WARRANTY, EXPRESS OR IMPLIED, AS TO THE ACCURACY, CAPABILITY, EFFICIENCY MERCHANTABILITY, OR FUNCTIONING OF THIS DOCUMENT. IN NO EVENT WILL MITRE BE LIABLE FOR ANY GENERAL, CONSEQUENTIAL, INDIRECT, INCIDENTAL, EXEMPLARY, OR SPECIAL DAMAGES, EVEN IF MITRE HAS BEEN ADVISED OF THE POSSIBILITY OF SUCH DAMAGES. . Amendment 1 . 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. Any other use or distribution of this document is prohibited without the prior express permission of AXE. . You use this document on the condition that you indemnify and hold harmless AXE, its board, officers, agents, and employees, from any and all liability or damages to yourself or your hardware or software, or third parties, including attorneys' fees, court costs, and other related costs and expenses, arising out of your use of this document irrespective of the cause of said liability. . AXE MAKES THIS DOCUMENT AVAILABLE ON AN "AS IS" BASIS AND MAKES NO WARRANTY, EXPRESS OR IMPLIED, AS TO THE ACCURACY, CAPABILITY, EFFICIENCY MERCHANTABILITY, OR FUNCTIONING OF THIS DOCUMENT. IN NO EVENT WILL AXE BE LIABLE FOR ANY GENERAL, CONSEQUENTIAL, INDIRECT, INCIDENTAL, EXEMPLARY, OR SPECIAL DAMAGES, EVEN IF AXE HAS BEEN ADVISED OF THE POSSIBILITY OF SUCH DAMAGES. . Third Edition . 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. Any other use or distribution of this document is prohibited without the prior express permission of AXE. . You use this document on the condition that you indemnify and hold harmless AXE, its board, officers, agents, and employees, from any and all liability or damages to yourself or your hardware or software, or third parties, including attorneys' fees, court costs, and other related costs and expenses, arising out of your use of this document irrespective of the cause of said liability. . AXE MAKES THIS DOCUMENT AVAILABLE ON AN "AS IS" BASIS AND MAKES NO WARRANTY, EXPRESS OR IMPLIED, AS TO THE ACCURACY, CAPABILITY, EFFICIENCY MERCHANTABILITY, OR FUNCTIONING OF THIS DOCUMENT. IN NO EVENT WILL AXE BE LIABLE FOR ANY GENERAL, CONSEQUENTIAL, INDIRECT, INCIDENTAL, EXEMPLARY, OR SPECIAL DAMAGES, EVEN IF AXE HAS BEEN ADVISED OF THE POSSIBILITY OF SUCH DAMAGES. . Ada 2005 Consolidated Standard . 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. Any other use or distribution of this document is prohibited without the prior express permission of Ada-Europe. . You use this document on the condition that you indemnify and hold harmless Ada-Europe and its Board from any and all liability or damages to yourself or your hardware or software, or third parties, including attorneys' fees, court costs, and other related costs and expenses, arising out of your use of this document irrespective of the cause of said liability. . ADA-EUROPE MAKES THIS DOCUMENT AVAILABLE ON AN "AS IS" BASIS AND MAKES NO WARRANTY, EXPRESS OR IMPLIED, AS TO THE ACCURACY, CAPABILITY, EFFICIENCY MERCHANTABILITY, OR FUNCTIONING OF THIS DOCUMENT. IN NO EVENT WILL ADA-EUROPE BE LIABLE FOR ANY GENERAL, CONSEQUENTIAL, INDIRECT, INCIDENTAL, EXEMPLARY, OR SPECIAL DAMAGES, EVEN IF ADA-EUROPE HAS BEEN ADVISED OF THE POSSIBILITY OF SUCH DAMAGES. debian/source/0000775000000000000000000000000012320673673010501 5ustar debian/source/format0000664000000000000000000000001412320673137011702 0ustar 3.0 (quilt) debian/doc_base_template0000664000000000000000000000121412320673137012547 0ustar Document: DOCUMENTYEAR Title: TITLE YEAR Author: Ada Working Group ISO/IEC JTC 1/SC 22/WG 9 Abstract: ABSTRACT Section: Programming/Ada Format: HTML Index: /usr/share/doc/ada-reference-manual-YEAR/DOCUMENTYEAR.html/FILEPREFIX-TOC.html Files: /usr/share/doc/ada-reference-manual-YEAR/DOCUMENTYEAR.html/* Format: PDF Files: /usr/share/doc/ada-reference-manual-YEAR/DOCUMENTYEAR.pdf.gz Format: Text Index: /usr/share/doc/ada-reference-manual-YEAR/DOCUMENTYEAR.txt/FILEPREFIX-TOC.TXT Files: /usr/share/doc/ada-reference-manual-YEAR/DOCUMENTYEAR.txt/* Format: info Index: /usr/share/info/DOCUMENTYEAR.info.gz Files: /usr/share/info/DOCUMENTYEAR.info.gz debian/control0000664000000000000000000000337712320673661010613 0ustar Source: ada-reference-manual Section: doc Priority: optional Maintainer: Ubuntu Developers XSBC-Original-Maintainer: Ludovic Brenta Uploaders: Nicolas Boulenguez Build-Depends-Indep: debhelper (>= 9), dpkg-dev (>= 1.16.1), # /usr/share/dpkg/default.mk dh-ada-library, # Ada compiler, /usr/share/ada/debian_packaging.mk texinfo, # texi2any texlive-latex-recommended, # pdf output module texlive-fonts-recommended # ecrm1095 fonts Standards-Version: 3.9.5 Vcs-Browser: http://www.ada-france.org:8081/branch/changes/org.debian.ada-reference-manual Vcs-Mtn: www.ada-france.org org.debian.ada-reference-manual Homepage: http://www.stephe-leake.org/ada/arm.html # http://www.ada-auth.org/arm.html is the other upstream contact # but Stephen's page links to them on the front page and this field # only accepts one value. Package: ada-reference-manual-2005 Architecture: all Suggests: gnat Breaks: ada-reference-manual-info Replaces: ada-reference-manual-info Depends: ${misc:Depends}, dpkg (>= 1.15.4) | install-info Description: Ada 2005 language standard The Ada Reference Manual is the ISO standard describing the programming language Ada. . This package provides the plain and annotated versions of the 2005 ARM in HTML, PDF, info, and plain text formats. Package: ada-reference-manual-2012 Architecture: all Suggests: gnat Breaks: ada-reference-manual-info Replaces: ada-reference-manual-info Depends: ${misc:Depends}, dpkg (>= 1.15.4) | install-info Description: Ada 2012 language standard The Ada Reference Manual is the ISO standard describing the programming language Ada. . This package provides the plain and annotated versions of the 2012 ARM in HTML, PDF, info, and plain text formats. debian/patches/0000775000000000000000000000000012320673673010630 5ustar debian/patches/series0000664000000000000000000000005312320673171012034 0ustar remove_race_condition_texinfo_tmpfile.diff debian/patches/remove_race_condition_texinfo_tmpfile.diff0000664000000000000000000000260512320673171021267 0ustar Description: remove a race condition when moving build/aa[rm].texinfo This file is generated twice from source_2005 and source_2012, then renamed with a versioned name. Temporary paths should be unique too to avoid the wrong file being renamed by another process. Author: Nicolas Boulenguez Bug-Debian: https://bugs.debian.org/743505 ============================================================ --- a/build/Makefile 2fe313bd69e07c56a723bf5e5ca5e79749ec9a19 +++ b/build/Makefile f366bbf8cc80b4d8aa0f9f91b976e3bd1f50c71b @@ -72,12 +72,15 @@ SOURCES_2012 := $(wildcard $(SOURCE_DIR_ # Rough dependency, but Scribe files should not change often. SOURCES_2005 := $(wildcard $(SOURCE_DIR_2005)/*.ms[ms]) SOURCES_2012 := $(wildcard $(SOURCE_DIR_2012)/*.ms[ms]) + define doc_year_build + # Non-unique intermediate paths would create a race condition, so we + # store the temporary result into the versioned source directory. $(d)$(y).texinfo: arm_form.exe $(SOURCES_$(y)) cd $(SOURCE_DIR_$(y)); \ - $(CURDIR)/$$< $(MASTER_$(d)) info $(CHANGES) $(VERSION_$(y)) $(CURDIR)/ - mv `sed -ne 's/^@FilePrefix{\(.*\)}/\L\1/p' $(SOURCE_DIR_$(y))/$(MASTER_$(d))`.texinfo $$@ + $(CURDIR)/$$< $(MASTER_$(d)) info $(CHANGES) $(VERSION_$(y)) ./; \ + mv `sed -ne '/^@FilePrefix{\(.*\)}/{s//\L\1/p;q}' $(MASTER_$(d))`.texinfo $(CURDIR)/$$@ clean:: rm -f $(d)$(y).texinfo