debian/0000755000000000000000000000000012247215442007171 5ustar debian/control0000644000000000000000000000324112173756663010611 0ustar Source: menhir Section: devel Priority: optional Maintainer: Debian OCaml Maintainers Uploaders: Samuel Mimram , Mehdi Dogguy Build-Depends: debhelper (>= 7.0.50), ocaml-nox (>= 4), dh-ocaml (>= 0.9) Standards-Version: 3.9.2 Homepage: http://gallium.inria.fr/~fpottier/menhir/ Vcs-Git: git://anonscm.debian.org/pkg-ocaml-maint/packages/menhir.git Vcs-Browser: http://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/menhir.git Package: menhir Architecture: any Depends: ${ocaml:Depends}, ${shlibs:Depends}, ${misc:Depends} Description: Parser generator for OCaml Menhir is a LR(1) parser generator for OCaml. It is mostly compatible with the standard ocamlyacc and has the following enhancements: * it accepts LR(1) grammars, * it offers parameterized nonterminal symbols as well as a library of standard definitions, * it explains conflicts in terms of the grammar, * it allows grammar specifications to be split over multiple files and parametrized by OCaml modules, * it produces reentrant parsers. Package: libmenhir-ocaml-dev Section: ocaml Architecture: any Depends: ${ocaml:Depends}, ${shlibs:Depends}, ${misc:Depends} Provides: ${ocaml:Provides} Description: Menhir library for OCaml This package contains the Menhir library for OCaml. It gives access to, among others, the following modules: * InfiniteArray: implements infinite arrays, that is, arrays that grow transparently upon demand. * RowDisplacement: compresses a two-dimensional table, where some values are considered insignificant, via row displacement. * Engine: LR parsing engine. debian/menhir.manpages0000644000000000000000000000001112173675026012166 0ustar menhir.1 debian/README.source0000644000000000000000000000065612173675026011365 0ustar Menhir Debian source package ============================ Patching upstream sources ------------------------- This source package uses quilt to apply and remove its patches. Please refer to `/usr/share/doc/quilt/README.source' for information about how to use quilt for source packages. The quilt series is generated from the Git repository. Have a look at `dom-apply-patches' and `dom-save-patches' from the package dh-ocaml. debian/source/0000755000000000000000000000000012173756661010504 5ustar debian/source/format0000644000000000000000000000001412173756661011712 0ustar 3.0 (quilt) debian/copyright0000644000000000000000000001474012173675026011140 0ustar This package was debianized by Samuel Mimram on Wed, 19 Apr 2006 19:11:20 +0200. It was downloaded from http://pauillac.inria.fr/~fpottier/menhir/ Copyright Holders: François Pottier , Yann Régis-Gianas License: In the following, "the Library" refers to the following file: standard.mly and "the Generator" refers to all files marked "Copyright INRIA" in the root directory. The Generator is distributed under the terms of the Q Public License version 1.0 with a change to choice of law (included below). The Library is distributed under the terms of the GNU Library General Public License version 2 which can be found in /usr/share/common-licenses/LGPL-2. As a special exception to the Q Public Licence, you may develop application programs, reusable components and other software items that link with the original or modified versions of the Generator and are not made available to the general public, without any of the additional requirements listed in clause 6c of the Q Public licence. As a special exception to the GNU Library General Public License, you may link, statically or dynamically, a "work that uses the Library" with a publicly distributed version of the Library to produce an executable file containing portions of the Library, and distribute that executable file under terms of your choice, without any of the additional requirements listed in clause 6 of the GNU Library General Public License. By "a publicly distributed version of the Library", we mean either the unmodified Library as distributed by INRIA, or a modified version of the Library that is distributed under the conditions defined in clause 3 of the GNU Library General Public License. This exception does not however invalidate any other reasons why the executable file might be covered by the GNU Library General Public License. ---------------------------------------------------------------------- THE Q PUBLIC LICENSE version 1.0 Copyright (C) 1999 Troll Tech AS, Norway. Everyone is permitted to copy and distribute this license document. The intent of this license is to establish freedom to share and change the software regulated by this license under the open source model. This license applies to any software containing a notice placed by the copyright holder saying that it may be distributed under the terms of the Q Public License version 1.0. Such software is herein referred to as the Software. This license covers modification and distribution of the Software, use of third-party application programs based on the Software, and development of free software which uses the Software. Granted Rights 1. You are granted the non-exclusive rights set forth in this license provided you agree to and comply with any and all conditions in this license. Whole or partial distribution of the Software, or software items that link with the Software, in any form signifies acceptance of this license. 2. You may copy and distribute the Software in unmodified form provided that the entire package, including - but not restricted to - copyright, trademark notices and disclaimers, as released by the initial developer of the Software, is distributed. 3. You may make modifications to the Software and distribute your modifications, in a form that is separate from the Software, such as patches. The following restrictions apply to modifications: a. Modifications must not alter or remove any copyright notices in the Software. b. When modifications to the Software are released under this license, a non-exclusive royalty-free right is granted to the initial developer of the Software to distribute your modification in future versions of the Software provided such versions remain available under these terms in addition to any other license(s) of the initial developer. 4. You may distribute machine-executable forms of the Software or machine-executable forms of modified versions of the Software, provided that you meet these restrictions: a. You must include this license document in the distribution. b. You must ensure that all recipients of the machine-executable forms are also able to receive the complete machine-readable source code to the distributed Software, including all modifications, without any charge beyond the costs of data transfer, and place prominent notices in the distribution explaining this. c. You must ensure that all modifications included in the machine-executable forms are available under the terms of this license. 5. You may use the original or modified versions of the Software to compile, link and run application programs legally developed by you or by others. 6. You may develop application programs, reusable components and other software items that link with the original or modified versions of the Software. These items, when distributed, are subject to the following requirements: a. You must ensure that all recipients of machine-executable forms of these items are also able to receive and use the complete machine-readable source code to the items without any charge beyond the costs of data transfer. b. You must explicitly license all recipients of your items to use and re-distribute original and modified versions of the items in both machine-executable and source code forms. The recipients must be able to do so without any charges whatsoever, and they must be able to re-distribute to anyone they choose. c. If the items are not available to the general public, and the initial developer of the Software requests a copy of the items, then you must supply one. Limitations of Liability In no event shall the initial developers or copyright holders be liable for any damages whatsoever, including - but not restricted to - lost revenue or profits or other direct, indirect, special, incidental or consequential damages, even if they have been advised of the possibility of such damages, except to the extent invariable law, if any, provides otherwise. No Warranty The Software and this license document are provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE. Choice of Law This license is governed by the Laws of France. debian/watch0000644000000000000000000000016312173675026010230 0ustar version=3 opts=dversionmangle=s/\.dfsg// \ http://pauillac.inria.fr/~fpottier/menhir/menhir-(.*)\.tar\.gz debian/purify_tarball0000755000000000000000000000050412173675026012143 0ustar #!/bin/sh set -e CURDIR=`pwd` ORIG=$1 WORKDIR=`dirname $ORIG` ORIGFILE=`basename $ORIG` VERSION=`echo "$ORIGFILE" | sed "s/^menhir-\([0-9\.]\+\)\.tar\.gz$/\1/"` cd $WORKDIR tar zxf $ORIGFILE rm -rf menhir-$VERSION/manual.pdf tar zcf menhir_$VERSION.dfsg.orig.tar.gz menhir-$VERSION/ rm -rf menhir-$VERSION cd $CURDIR debian/libmenhir-ocaml-dev.dirs.in0000644000000000000000000000003412173675026014302 0ustar @OCamlStdlibDir@/menhirLib/ debian/compat0000644000000000000000000000000212173675026010375 0ustar 7 debian/rules0000755000000000000000000000062112173756663010265 0ustar #!/usr/bin/make -f # -*- makefile -*- export DH_VERBOSE=1 include /usr/share/ocaml/ocamlvars.mk DESTDIR := $(CURDIR)/debian/menhir override_dh_auto_build: $(MAKE) TARGET=$(OCAML_BEST) PREFIX=/usr override_dh_auto_clean: $(MAKE) -C src/ clean PREFIX=$(DESTDIR)/usr override_dh_auto_install: cp src/menhir.$(OCAML_BEST) $(DESTDIR)/usr/bin/menhir override_dh_auto_test: %: dh --with ocaml $@ debian/gbp.conf0000644000000000000000000000013312173675026010613 0ustar [DEFAULT] pristine-tar = True filter-pristine-tar = True filter = [ "manual.pdf" ] debian/menhir.install.in0000644000000000000000000000004212173675026012452 0ustar src/standard.mly usr/share/menhir debian/menhir.dirs0000644000000000000000000000005612173675026011345 0ustar usr/bin usr/share/menhir usr/share/doc/menhir debian/changelog0000644000000000000000000001372412247215311011045 0ustar menhir (20130116.dfsg-2) unstable; urgency=low * Team upload * Upload to unstable -- Stéphane Glondu Tue, 03 Dec 2013 00:42:01 +0100 menhir (20130116.dfsg-1) experimental; urgency=low * Team upload * New upstream release * Switch source package format to 3.0 (quilt) * Update Vcs-* * Compile with OCaml >= 4 -- Stéphane Glondu Wed, 24 Jul 2013 15:47:49 +0200 menhir (20120123.dfsg-1) unstable; urgency=low * New upstream release - fixes http://caml.inria.fr/mantis/view.php?id=5462 -- Mehdi Dogguy Mon, 23 Jan 2012 20:50:25 +0100 menhir (20111019.dfsg-1) unstable; urgency=low * New upstream release (Closes: #583291). * Bump Standards-Version to 3.9.2, no changes needed. -- Mehdi Dogguy Mon, 02 Jan 2012 18:05:48 +0100 menhir (20110201.dfsg-1) unstable; urgency=low [ Stéphane Glondu ] * Do not install examples twice (Closes: #603335) [ Mehdi Dogguy ] * New upstream release. * Set filter-pristine-tar to True in debian/gbp.conf. -- Mehdi Dogguy Sat, 16 Apr 2011 00:12:54 +0200 menhir (20090505.dfsg-2) unstable; urgency=low * Use new features of dh-ocaml (0.9). * Build-dep on ocaml >= 3.11.1-3~ * Use new address and remove DMUA * Bump standards to 3.8.3 * Convert patches to quilt format and use quilt instead of dpatch -- Mehdi Dogguy Wed, 23 Sep 2009 18:48:23 +0200 menhir (20090505.dfsg-1) unstable; urgency=low * New Upstream Version * More verbose description for libmenhir-ocaml-dev, Closes: #518666. * Move libmenhir-ocaml-dev to the new ocaml section. * Drop src_Makefile.dpatch: integrated upstream. * Build-dep on ocaml >= 3.11.1 -- Mehdi Dogguy Wed, 24 Jun 2009 23:04:37 +0200 menhir (20090204.dfsg-2) unstable; urgency=low * New binary package libmenhir-ocaml-dev, Closes: #516134. * Use dh-ocaml predefined variables. * Use predefined variable OCAML_BEST (dh-ocaml >= 0.4). * debian/svn-deblayout: remove no longer needed SVN setting -- Mehdi Dogguy Sun, 22 Feb 2009 23:41:17 +0100 menhir (20090204.dfsg-1) experimental; urgency=low * New Upstream Version * Add dependency ${misc:Depends}, thanks zack. * Update src_Makefile.dpatch * Add DMUA flag with Sam's blessing. * PREFIX is set back to /usr in debian/rules -- Mehdi Dogguy Thu, 19 Feb 2009 13:18:19 +0100 menhir (20080912.dfsg-2) experimental; urgency=low * Bump ocaml version to 3.11 * Add build-dependency on dh-ocaml * Shorten debian/rules -- Mehdi Dogguy Wed, 18 Feb 2009 16:23:09 +0100 menhir (20080912.dfsg-1) experimental; urgency=low [ Mehdi Dogguy ] * New upstream release, (Closes: #500699). * Add myself to uploaders and set d-o-m as maintainer. * Bump standards version to 3.8.0, no changes needed. * Change Vcs-* flags to point to git repository. * Update debian/rules: All source files are now in src/ * Bump debhelper compat to 7 and shorten debian/rules * Add src_Makefile.dpatch to not try to build cmx files on non-native architectures. * Add Homepage field to debian/control. * Install menhirLib * Remove ocamlfind from build-dependency: not used. [ Samuel Mimram ] * Mangle .dfsg in version in watch file. -- Mehdi Dogguy Fri, 23 Jan 2009 12:43:54 +0100 menhir (20071212.dfsg-1) unstable; urgency=low * New upstream release. * Updated standards version, no changes needed. -- Samuel Mimram Sat, 22 Dec 2007 00:46:17 +0100 menhir (20071205.dfsg-1) unstable; urgency=low * New upstream release. * Tighten dependency on ocaml-nox. -- Samuel Mimram Tue, 11 Dec 2007 00:45:36 +0000 menhir (20070520-2) unstable; urgency=low * Rebuild with OCaml 3.10. -- Samuel Mimram Sat, 08 Sep 2007 01:30:14 +0200 menhir (20070520-1) unstable; urgency=low * New upstream release. -- Samuel Mimram Mon, 23 Jul 2007 14:25:32 +0200 menhir (20070322.dfsg-4) unstable; urgency=low * Correcly clean, closes: #424571. -- Samuel Mimram Tue, 22 May 2007 22:36:35 +0200 menhir (20070322.dfsg-3) unstable; urgency=low * Rebuild in bytecode when native compilation fails. -- Samuel Mimram Wed, 18 Apr 2007 12:51:43 +0200 menhir (20070322.dfsg-2) unstable; urgency=low * Uploading to unstable. -- Samuel Mimram Mon, 09 Apr 2007 17:53:02 +0200 menhir (20070322.dfsg-1) experimental; urgency=low * New upstream release. * Menhir is now correctly bootstrapped, closes: #397467. -- Samuel Mimram Fri, 23 Mar 2007 00:14:31 +0100 menhir (20070215.dfsg-1) experimental; urgency=low * New upstream release. * Removed bashism.dpatch, integrated upstream. * Removed manpage, since it is now provided upstream. * Updated standards version to 3.7.2, no changes needed. -- Samuel Mimram Wed, 28 Feb 2007 19:49:34 +0100 menhir (20060615.dfsg-2) unstable; urgency=low * Correctly set PREFIX when building, closes: #378260. * Added bashim.dpatch to remove bashisms, closes: #377803. -- Samuel Mimram Tue, 11 Jul 2006 12:26:18 +0000 menhir (20060615.dfsg-1) unstable; urgency=low * Repackaged upstream's tarball to remove manual.pdf for which we don't have the sources (yet). -- Samuel Mimram Sat, 8 Jul 2006 09:24:11 +0000 menhir (20060615-1) unstable; urgency=low * New upstream release. * Removed makefile.dpatch, found a better way to use the makefile. * Added manpage.dpatch to remove invalid characters from the manpage. * Updated standards version to 3.7.2, no changes needed. -- Samuel Mimram Sat, 24 Jun 2006 19:06:02 +0000 menhir (20060412-1) unstable; urgency=low * Initial release, closes: #363539. -- Samuel Mimram Wed, 19 Apr 2006 19:11:20 +0200 debian/patches/0000755000000000000000000000000012173756663010635 5ustar debian/patches/0001-Remove-some-invalid-characters.patch0000644000000000000000000000112312173756663020170 0ustar From: Samuel Mimram Date: Wed, 23 Sep 2009 18:55:38 +0200 Subject: Remove some invalid characters --- menhir.1 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/menhir.1 b/menhir.1 index e241b91..ac2940c 100644 --- a/menhir.1 +++ b/menhir.1 @@ -134,7 +134,7 @@ Synonymous with .SH AUTHOR .B menhir -was written by François Pottier and Yann Régis-Gianas. +was written by Fran\(,cois Pottier and Yann R\('egis-Gianas. .PP This manual page was written by Samuel Mimram , for the Debian project (but may be used by others). -- debian/patches/series0000644000000000000000000000005212173675026012040 0ustar 0001-Remove-some-invalid-characters.patch debian/libmenhir-ocaml-dev.install.in0000644000000000000000000000012312173675026015006 0ustar src/menhirLib.* @OCamlStdlibDir@/menhirLib/ src/META @OCamlStdlibDir@/menhirLib/ debian/menhir.examples0000644000000000000000000000001012173675026012210 0ustar demos/*