[Pkg-ocaml-maint-commits] [SCM] pkglab packaging branch, master, updated. de9e9c465012872efe80b2e03f5f738ca9cabb41

[Stefano Zacchiroli]

The following commit has been merged in the master branch:
commit 4c4f4c0289fbd23f3672d2405fd548dfbd8deebd
Author: Stefano Zacchiroli <zack at upsilon.cc>
Date:   Thu Aug 7 18:19:16 2008 -0300

    initial packaging structure

diff --git a/debian/changelog b/debian/changelog
new file mode 100644
index 0000000..1a4c595
--- /dev/null
+++ b/debian/changelog
@@ -0,0 +1,5 @@
+pkglab (1.3-1) experimental; urgency=low
+
+  * Initial release. (Closes: #XXXXXX)
+
+ -- Stefano Zacchiroli <zack at debian.org>  Thu, 07 Aug 2008 18:18:01 -0300
diff --git a/debian/compat b/debian/compat
new file mode 100644
index 0000000..7f8f011
--- /dev/null
+++ b/debian/compat
@@ -0,0 +1 @@
+7
diff --git a/debian/control b/debian/control
new file mode 100644
index 0000000..19aa981
--- /dev/null
+++ b/debian/control
@@ -0,0 +1,35 @@
+Source: pkglab
+Section: devel
+Priority: optional
+Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
+Uploaders: Stefano Zacchiroli <zack at debian.org>
+Build-Depends:
+ cdbs, debhelper (>= 7),
+ ocaml-nox, ocaml-findlib,
+ menhir,
+ libdose2-ocaml-dev
+Standards-Version: 3.8.0
+Homepage: http://sodiac.gforge.inria.fr/
+Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/pkglab.git
+Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/pkglab.git
+
+Package: pkglab
+Architecture: any
+Section: devel
+Depends:
+ ${F:OCamlInterpDepends},
+ ${shlibs:depends},
+ ${misc:Depends}
+Recommends: ceve
+Description: interactive environment to explore package repositories
+ Pkglab is an interactive, console-based environment to explore package
+ repositories of package-based software distributions.
+ .
+ Using Pkglab package lists can be loaded and installability tests can
+ be performed to check whether given package combinations are
+ co-installable or not, according to inter-package relationships.
+ .
+ Package repositories can be input in the Dose base format, which can be
+ generated starting from popular .deb and .rpm package list formats
+ using the ceve parser (see the "ceve" Debian package).
+
diff --git a/debian/copyright b/debian/copyright
new file mode 100644
index 0000000..27f1be5
--- /dev/null
+++ b/debian/copyright
@@ -0,0 +1,41 @@
+This package was debianized by Stefano Zacchiroli <zack at debian.org> on
+Thu, 07 Aug 2008 17:54:39 -0300.
+
+It was downloaded from <http://gforge.inria.fr/projects/sodiac/>
+
+Files: *
+Copyright: © 2005-2008 Berke Durak
+           © 2005-2008 Jaap Boender
+           © 2005-2008 Inria Rocquencourt
+License: GPL-3+
+
+pkglab 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.
+
+On Debian systems, the complete text of the latest GNU General Public License
+can be found in `/usr/share/common-licenses/GPL'.
+
+Files: dql/*
+Copyright: © 2005-2008 Berke Durak
+           © 2005-2008 Jaap Boender
+           © 2005-2008 Inria Rocquencourt
+License: LGPL-3+
+
+dose2 is free software: you can redistribute it and/or modify it under the
+terms of the GNU Lesser General Public License as published by the Free
+Software Foundation, either version 3 of the License, or (at your option) any
+later version.
+
+On Debian systems, the complete text of the latest GNU Lesser General Public
+License can be found in `/usr/share/common-licenses/LGPL'.
+
+Files: debian/*
+Copyright: © 2008 Stefano Zacchiroli <zack at debian.org>
+License: GPL-3+
+
+The Debian packaging is copyright Stefano Zacchiroli, and licensed under the
+GNU General Public License, see `/usr/share/common-licenses/GPL' for the full
+text.
+
diff --git a/debian/rules b/debian/rules
new file mode 100755
index 0000000..49c80c0
--- /dev/null
+++ b/debian/rules
@@ -0,0 +1,15 @@
+#!/usr/bin/make -f
+include /usr/share/cdbs/1/rules/debhelper.mk
+include /usr/share/cdbs/1/class/makefile.mk
+include /usr/share/cdbs/1/class/ocaml.mk
+
+BIN_PKG = pkglab
+
+ifeq ($(OCAML_HAVE_OCAMLOPT),yes)
+DEB_MAKE_BUILD_TARGET = depend pkglab.opt
+else
+DEB_MAKE_BUILD_TARGET = depend pkglab
+DEB_DH_GENCONTROL_ARGS += -VF:OCamlInterpDepends="ocaml-base-nox-$(OCAML_ABI), libdose2-ocaml"
+DEB_STRIP_EXCLUDE += usr/bin/pkglab
+endif
+DEB_MAKE_INSTALL_TARGET = install DESTDIR=$(CURDIR)/debian/$(BIN_PKG)/usr/bin

-- 
pkglab packaging