[Pkg-ocaml-maint-commits] [SCM] ocaml-buddy packaging branch, master, updated. upstream/0.1-1-ge795965

[Pietro Abate]

The following commit has been merged in the master branch:
commit e795965e9a5995a8de19c085520e51e91cae6f35
Author: Pietro Abate <pietro.abate at pps.jussieu.fr>
Date:   Wed Apr 14 15:53:58 2010 +0200

    add debian directory

diff --git a/debian/changelog b/debian/changelog
new file mode 100644
index 0000000..6370516
--- /dev/null
+++ b/debian/changelog
@@ -0,0 +1,5 @@
+ocaml-buddy (0.1-1) UNRELEASED; urgency=low
+
+  * Initial release. (Closes: #XXXXXX)
+
+ -- Pietro Abate <pietro.abate at pps.jussieu.fr>  Wed, 14 Apr 2010 14:22:09 +0200
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..ec79579
--- /dev/null
+++ b/debian/control
@@ -0,0 +1,56 @@
+Source: ocaml-buddy
+Section: devel
+Priority: optional
+Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
+Uploaders: Pietro Abate <pietro.abate at pps.jussieu.fr>
+Build-Depends:
+ libbdd-dev,
+ ocaml-nox,
+ ocaml-findlib,
+ debhelper (>= 7),
+ dh-ocaml (>= 0.9),
+ cdbs
+Standards-Version: 3.8.4
+Homepage: http://github.com/abate/ocaml-buddy
+Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/ocaml-buddy.git
+Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/ocaml-buddy.git
+
+Package: libbuddy-ocaml
+Architecture: any
+Section: ocaml
+Depends:
+  libbdd-dev,
+  ${shlibs:Depends},
+  ${misc:Depends}
+Recommends: ocaml-findlib
+Provides: ${ocaml:Provides}
+Description: Ocaml bindings for Buddy BDD
+ Binary decision diagrams (BDDs) are space-efficient encodings of
+ boolean expressions or dynamic truth tables, used in eg. model
+ checking.  BuDDy is an efficient BDD library with all the standard
+ BDD operations, dynamic reordering of variables, automated garbage
+ collection, a C++ interface with automatic reference counting, and
+ more.
+ .
+ This package provides the files necessary to run dynamically-linked
+ OCaml programs with Buddy BDD.
+
+Package: libbuddy-ocaml-dev
+Architecture: any
+Section: ocaml
+Depends:
+  libbdd-dev,
+  ${ocaml:Depends},
+  ${misc:Depends}
+Recommends: ocaml-findlib
+Provides: ${ocaml:Provides}
+Description: Ocaml bindings for Buddy BDD
+ Binary decision diagrams (BDDs) are space-efficient encodings of
+ boolean expressions or dynamic truth tables, used in eg. model
+ checking.  BuDDy is an efficient BDD library with all the standard
+ BDD operations, dynamic reordering of variables, automated garbage
+ collection, a C++ interface with automatic reference counting, and
+ more.
+ .
+ This package provides the files necessary to develop new applications 
+ that use Buddy BDD for OCaml.
diff --git a/debian/copyright b/debian/copyright
new file mode 100644
index 0000000..070866b
--- /dev/null
+++ b/debian/copyright
@@ -0,0 +1,19 @@
+This package was debianized by Pietro Abate <pietro.abate at pps.jussieu.fr>
+Wed Apr 14 2010
+
+It was downloaded from http://github.com/abate/ocaml-buddy
+
+Upstream Author: Pietro Abate <pietro.abate at pps.jussieu.fr>
+
+Copyright (C) 2008 Akihiko Tozawa and Masami Hagiya.
+Copyright (C) 2009-2010 Pietro Abate <pietro.abate at pps.jussieu.fr>
+
+LGPL
+
+This library 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.  A special linking
+exception to the GNU Lesser General Public License applies to this
+library, see the COPYING file for more information.
+
diff --git a/debian/gbp.conf b/debian/gbp.conf
new file mode 100644
index 0000000..79243c7
--- /dev/null
+++ b/debian/gbp.conf
@@ -0,0 +1,9 @@
+# Configuration file for git-buildpackage and friends
+
+[DEFAULT]
+# the default branch for upstream sources:
+upstream-branch = upstream
+# the default branch for the debian patch:
+debian-branch = master
+# use pristine-tar:
+pristine-tar = True
diff --git a/debian/libbuddy-ocaml-dev.install.in b/debian/libbuddy-ocaml-dev.install.in
new file mode 100644
index 0000000..b5b61d5
--- /dev/null
+++ b/debian/libbuddy-ocaml-dev.install.in
@@ -0,0 +1,5 @@
+ at OCamlStdlibDir@/buddy/*.cmi
+ at OCamlStdlibDir@/buddy/*.ml*
+ at OCamlStdlibDir@/buddy/*.a
+OPT: @OCamlStdlibDir@/buddy/*.cmx
+OPT: @OCamlStdlibDir@/buddy/*.cmxa
diff --git a/debian/libbuddy-ocaml.examples b/debian/libbuddy-ocaml.examples
new file mode 100644
index 0000000..e39721e
--- /dev/null
+++ b/debian/libbuddy-ocaml.examples
@@ -0,0 +1 @@
+examples/*
diff --git a/debian/libbuddy-ocaml.install.in b/debian/libbuddy-ocaml.install.in
new file mode 100644
index 0000000..69c90c1
--- /dev/null
+++ b/debian/libbuddy-ocaml.install.in
@@ -0,0 +1,4 @@
+ at OCamlStdlibDir@/buddy/dllbuddy_stubs.so @OCamlDllDir@
+ at OCamlStdlibDir@/buddy/buddy.cma
+ at OCamlStdlibDir@/buddy/META
+#OPT: buddy.cmxs @OCamlStdlibDir@/buddy
diff --git a/debian/rules b/debian/rules
new file mode 100755
index 0000000..6c13b94
--- /dev/null
+++ b/debian/rules
@@ -0,0 +1,20 @@
+#!/usr/bin/make -f
+include /usr/share/cdbs/1/class/makefile.mk
+include /usr/share/cdbs/1/rules/debhelper.mk
+include /usr/share/cdbs/1/rules/ocaml.mk
+
+PKGNAME = libbuddy-ocaml-dev
+DESTDIR := $(CURDIR)/debian/tmp
+DOCDIR = $(CURDIR)/debian/doc/html
+OCAML_OCAMLDOC_PACKAGES = $(OCAML_LIBDEV_PACKAGES)
+
+OBFLAGS = -classic-display -no-hygiene
+DEB_MAKE_BUILD_TARGET = all
+ifeq ($(OCAML_HAVE_OCAMLOPT),yes)
+DEB_MAKE_BUILD_TARGET += opt
+else
+OBFLAGS += -byte-plugin
+endif
+DEB_MAKE_BUILD_TARGET += OBFLAGS="$(OBFLAGS)"
+DEB_MAKE_INSTALL_TARGET = install DESTDIR=$(DESTDIR)
+DEB_MAKE_CHECK_TARGET = OBFLAGS="$(OBFLAGS)"
diff --git a/debian/watch b/debian/watch
new file mode 100644
index 0000000..9e47eef
--- /dev/null
+++ b/debian/watch
@@ -0,0 +1,2 @@
+version=3
+http://githubredir.debian.net/github/abate/ocaml-buddy (.*).tar.gz

-- 
ocaml-buddy packaging