summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--debian/changelog88
-rw-r--r--debian/control40
-rw-r--r--debian/copyright23
-rw-r--r--debian/examples1
-rw-r--r--debian/gbp.conf2
-rw-r--r--debian/libcmdliner-ocaml-dev.docs1
-rw-r--r--debian/libcmdliner-ocaml-dev.install.in1
-rw-r--r--debian/libcmdliner-ocaml-dev.ocamldoc1
-rw-r--r--debian/patches/install-x.patch43
-rw-r--r--debian/patches/series1
-rwxr-xr-xdebian/rules17
-rw-r--r--debian/source/format1
-rw-r--r--debian/watch2
13 files changed, 221 insertions, 0 deletions
diff --git a/debian/changelog b/debian/changelog
new file mode 100644
index 0000000..3401734
--- /dev/null
+++ b/debian/changelog
@@ -0,0 +1,88 @@
+cmdliner (1.1.1-1) unstable; urgency=medium
+
+ * Team upload.
+ * New upstream release.
+ * Refresh patch.
+
+ -- Julien Puydt <jpuydt@debian.org> Wed, 29 Jun 2022 11:33:06 +0200
+
+cmdliner (1.0.4-2) unstable; urgency=medium
+
+ * debian/rules:
+ - do not export BUILD_PATH_PREFIX_MAP
+ - include ocamlvars.mk
+ * Build-depend on debhelper-compat
+ * Bump Standards-Version to 4.5.0
+ * Add Rules-Requires-Root: no
+
+ -- Stéphane Glondu <glondu@debian.org> Tue, 28 Jan 2020 08:47:44 +0100
+
+cmdliner (1.0.4-1) unstable; urgency=medium
+
+ * New upstream release
+ * Bump Standards-Version to 4.4.0
+ * Bump debhelper compat level to 12
+ * Uploaders: remove Hendrik and add myself
+
+ -- Stéphane Glondu <glondu@debian.org> Tue, 23 Jul 2019 15:30:31 +0200
+
+cmdliner (1.0.2-1) unstable; urgency=medium
+
+ [ Hendrik Tews ]
+ * New upstream version 1.0.2
+ * compat level 10, standards version 4.0.0
+ * add build dependency libresult-ocaml-dev
+ * update VCS fields
+ * add myself to uploaders
+ * updated copyright
+ * update rules: remove most of the overrides, build sequential because
+ ocamlbuild would otherwise fail
+ * remove .doc-base file: there is no documentation any more
+ * fix .docs file
+ * add patch install-x for removing x-permission in make install
+ * add README.Debian to point to the online documentation
+ * generate documentation with dh_ocamldoc, the command line switches in
+ libcmdliner-ocaml-dev.ocamldoc have been copied from a run of ``topkg doc''
+ * remove README.Debian again
+
+ [ Mehdi Dogguy ]
+ * Update Vcs-* fields to target Salsa
+
+ -- Mehdi Dogguy <mehdi@debian.org> Fri, 11 May 2018 15:30:44 +0200
+
+cmdliner (0.9.8-2) unstable; urgency=medium
+
+ * Team upload
+ * Add ocamlbuild to Build-Depends
+
+ -- Stéphane Glondu <glondu@debian.org> Sat, 15 Jul 2017 16:06:19 +0200
+
+cmdliner (0.9.8-1) unstable; urgency=medium
+
+ * New upstream release
+
+ -- Mehdi Dogguy <mehdi@debian.org> Mon, 18 Jan 2016 00:35:03 +0100
+
+cmdliner (0.9.7-1) unstable; urgency=medium
+
+ * Team upload
+ * New upstream release
+ * Update debian/watch
+ * Update Vcs-*
+ * Bump Standards-Version to 3.9.6
+
+ -- Stéphane Glondu <glondu@debian.org> Tue, 07 Jul 2015 11:22:00 +0200
+
+cmdliner (0.9.4-1) unstable; urgency=medium
+
+ * New upstream release.
+ * Use a new build system in order to avoid unnecessary new build
+ dependencies.
+
+ -- Mehdi Dogguy <mehdi@debian.org> Thu, 27 Mar 2014 21:50:58 +0100
+
+cmdliner (0.9.3-1) unstable; urgency=low
+
+ * Initial upload (Closes: #641986)
+
+ -- Mehdi Dogguy <mehdi@debian.org> Sun, 06 Jan 2013 10:50:00 +0200
diff --git a/debian/control b/debian/control
new file mode 100644
index 0000000..909133f
--- /dev/null
+++ b/debian/control
@@ -0,0 +1,40 @@
+Source: cmdliner
+Section: ocaml
+Priority: optional
+Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
+Uploaders:
+ Mehdi Dogguy <mehdi@debian.org>,
+ Stéphane Glondu <glondu@debian.org>
+Build-Depends:
+ debhelper-compat (= 13),
+ ocaml-nox,
+ ocaml-findlib,
+ ocamlbuild,
+ libresult-ocaml-dev,
+ dh-ocaml
+Standards-Version: 4.6.2
+Rules-Requires-Root: no
+Homepage: https://erratique.ch/software/cmdliner
+Vcs-Git: https://salsa.debian.org/ocaml-team/cmdliner.git
+Vcs-Browser: https://salsa.debian.org/ocaml-team/cmdliner
+
+Package: libcmdliner-ocaml-dev
+Architecture: any
+Depends:
+ ${ocaml:Depends},
+ ${shlibs:Depends},
+ ${misc:Depends}
+Suggests:
+ ocaml-findlib
+Provides:
+ ${ocaml:Provides}
+Description: declarative definition of command line interfaces
+ It provides a simple and compositional mechanism to convert command
+ line arguments to OCaml values and pass them to your functions.
+ The module automatically handles syntax errors, help messages and
+ UNIX man page generation. It supports programs with single or
+ multiple commands (like darcs or git) and respects most of the POSIX
+ and GNU conventions.
+ .
+ This package contains the development modules you need to use Cmdliner
+ in your programs.
diff --git a/debian/copyright b/debian/copyright
new file mode 100644
index 0000000..11d1db1
--- /dev/null
+++ b/debian/copyright
@@ -0,0 +1,23 @@
+Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
+Source: http://erratique.ch/logiciel/cmdliner
+
+Files: *
+Copyright: (c) 2011 Daniel C. Bünzli
+License: ISC
+ Permission to use, copy, modify, and/or distribute this software for any
+ purpose with or without fee is hereby granted, provided that the above
+ copyright notice and this permission notice appear in all copies.
+ .
+ THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
+ WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
+ MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
+ ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
+ WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
+ ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
+ OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
+
+Files: debian/*
+Copyright: © 2013 Mehdi Dogguy <mehdi@debian.org>
+License: GPL-2
+ The Debian packaging is licensed under the GPL, see
+ `/usr/share/common-licenses/GPL-2'.
diff --git a/debian/examples b/debian/examples
new file mode 100644
index 0000000..ab1cfb4
--- /dev/null
+++ b/debian/examples
@@ -0,0 +1 @@
+test/*
diff --git a/debian/gbp.conf b/debian/gbp.conf
new file mode 100644
index 0000000..cec628c
--- /dev/null
+++ b/debian/gbp.conf
@@ -0,0 +1,2 @@
+[DEFAULT]
+pristine-tar = True
diff --git a/debian/libcmdliner-ocaml-dev.docs b/debian/libcmdliner-ocaml-dev.docs
new file mode 100644
index 0000000..b43bf86
--- /dev/null
+++ b/debian/libcmdliner-ocaml-dev.docs
@@ -0,0 +1 @@
+README.md
diff --git a/debian/libcmdliner-ocaml-dev.install.in b/debian/libcmdliner-ocaml-dev.install.in
new file mode 100644
index 0000000..73752c9
--- /dev/null
+++ b/debian/libcmdliner-ocaml-dev.install.in
@@ -0,0 +1 @@
+usr
diff --git a/debian/libcmdliner-ocaml-dev.ocamldoc b/debian/libcmdliner-ocaml-dev.ocamldoc
new file mode 100644
index 0000000..cdd34fb
--- /dev/null
+++ b/debian/libcmdliner-ocaml-dev.ocamldoc
@@ -0,0 +1 @@
+-colorize-code -charset utf-8 -package bytes -package result
diff --git a/debian/patches/install-x.patch b/debian/patches/install-x.patch
new file mode 100644
index 0000000..cb1cb63
--- /dev/null
+++ b/debian/patches/install-x.patch
@@ -0,0 +1,43 @@
+From: Hendrik Tews <hendrik@askra.de>
+Date: Tue, 23 Jul 2019 09:38:37 +0200
+Subject: install without adding execute permissions
+
+---
+ Makefile | 12 ++++++------
+ 1 file changed, 6 insertions(+), 6 deletions(-)
+
+--- cmdliner.orig/Makefile
++++ cmdliner/Makefile
+@@ -41,7 +41,7 @@
+
+ install-doc:
+ $(INSTALL) -d $(DOCDIR)/odoc-pages
+- $(INSTALL) CHANGES.md LICENSE.md README.md $(DOCDIR)
++ $(INSTALL) -m 644 CHANGES.md LICENSE.md README.md $(DOCDIR)
+ $(INSTALL) doc/index.mld doc/cli.mld doc/examples.mld doc/tutorial.mld \
+ doc/tool_man.mld $(DOCDIR)/odoc-pages
+
+@@ -61,18 +61,18 @@
+ $(INSTALL) -d $(LIBDIR)
+
+ install-common: create-libdir
+- $(INSTALL) pkg/META $(BASE).mli $(BASE).cmi $(BASE).cmti $(LIBDIR)
+- $(INSTALL) cmdliner.opam $(LIBDIR)/opam
++ $(INSTALL) -m 644 pkg/META $(BASE).mli $(BASE).cmi $(BASE).cmti $(LIBDIR)
++ $(INSTALL) -m 644 cmdliner.opam $(LIBDIR)/opam
+
+ install-byte: create-libdir
+- $(INSTALL) $(BASE).cma $(LIBDIR)
++ $(INSTALL) -m 644 $(BASE).cma $(LIBDIR)
+
+ install-native: create-libdir
+- $(INSTALL) $(BASE).cmxa $(BASE)$(EXT_LIB) $(wildcard $(B)/cmdliner*.cmx) \
++ $(INSTALL) -m 644 $(BASE).cmxa $(BASE)$(EXT_LIB) $(wildcard $(B)/cmdliner*.cmx) \
+ $(LIBDIR)
+
+ install-native-dynlink: create-libdir
+- $(INSTALL) $(BASE).cmxs $(LIBDIR)
++ $(INSTALL) -m 644 $(BASE).cmxs $(LIBDIR)
+
+ .PHONY: all install install-doc clean build-byte build-native \
+ build-native-dynlink create-libdir install-common install-byte \
diff --git a/debian/patches/series b/debian/patches/series
new file mode 100644
index 0000000..c476b32
--- /dev/null
+++ b/debian/patches/series
@@ -0,0 +1 @@
+install-x.patch
diff --git a/debian/rules b/debian/rules
new file mode 100755
index 0000000..ed3faab
--- /dev/null
+++ b/debian/rules
@@ -0,0 +1,17 @@
+#!/usr/bin/make -f
+# -*- makefile -*-
+
+DESTDIR=$(CURDIR)/debian/tmp
+
+include /usr/share/ocaml/ocamlvars.mk
+
+%:
+ dh $@ --with ocaml --no-parallel
+
+.PHONY: override_dh_auto_install
+override_dh_auto_install:
+ make DESTDIR=$(DESTDIR) install
+
+.PHONY: override_dh_install
+override_dh_install:
+ dh_install --exclude=opam
diff --git a/debian/source/format b/debian/source/format
new file mode 100644
index 0000000..163aaf8
--- /dev/null
+++ b/debian/source/format
@@ -0,0 +1 @@
+3.0 (quilt)
diff --git a/debian/watch b/debian/watch
new file mode 100644
index 0000000..d96f13b
--- /dev/null
+++ b/debian/watch
@@ -0,0 +1,2 @@
+version=4
+https://erratique.ch/software/cmdliner/releases/ .*cmdliner-(.+)\.tbz