[Pkg-ocaml-maint-commits] [SCM] ocaml-minisat packaging branch, master, updated. upstream/0.3-1-g5f07ce3

Mon Mar 29 12:36:29 UTC 2010

The following commit has been merged in the master branch:
commit 5f07ce34f0a55cf2674cf9db63ecc47bf24d2927
Author: Pietro Abate <pietro.abate at pps.jussieu.fr>
Date:   Mon Mar 29 14:36:06 2010 +0200

    - debianization first commit

diff --git a/debian/changelog b/debian/changelog
new file mode 100644
index 0000000..82008d7
--- /dev/null
+++ b/debian/changelog
@@ -0,0 +1,6 @@
+ocaml-minisat (0.3-1) UNRELEASED; urgency=low
+
+  * Initial release. (Closes: #575500)
+  * Switch to dpkg-source 3.0 (quilt) format
+
+ -- Pietro Abate <pietro.abate at pps.jussieu.fr>  Fri, 26 Mar 2010 12:41:56 +0100
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..0b6ee21
--- /dev/null
+++ b/debian/control
@@ -0,0 +1,49 @@
+Source: ocaml-minisat
+Section: devel
+Priority: optional
+Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
+Build-Depends:
+ debhelper (>= 7),
+ ocaml-nox (>= 3.11),
+ minisat2 (>= 070721-8),
+ ocaml-findlib (>> 1.2.4-2),
+ dh-ocaml (>= 0.2),
+ cdbs
+Standards-Version: 3.8.4
+Homepage: http://github.com/abate/MiniSat-ocaml/tree/minisat2
+
+Package: libminisat-ocaml
+Architecture: any
+Section: ocaml
+Depends:
+  ocaml-base-nox-${F:OCamlABI},
+  minisat2,
+  ${shlibs:Depends},
+  ${misc:Depends}
+Provides: ${ocaml:Provides}
+Description: Ocaml bindings for Minisat
+ MiniSat is a minimalistic, open-source SAT solver, developed to help
+ researchers and developers alike to get started on SAT. Winning all the
+ industrial categories of the SAT 2005 competition, MiniSat is a good starting
+ point both for future research in SAT, and for applications using SAT.
+ .
+ This package provides the files necessary to run dynamically-linked
+ OCaml programs with Minisat.
+
+Package: libminisat-ocaml-dev
+Architecture: any
+Section: libdevel
+Depends:
+  ocaml-nox-${F:OCamlABI},
+  minisat2,
+  ${ocaml:Depends},
+  ${misc:Depends}
+Recommends: ocaml-findlib
+Description: Ocaml bindings for Minisat
+ MiniSat is a minimalistic, open-source SAT solver, developed to help
+ researchers and developers alike to get started on SAT. Winning all the
+ industrial categories of the SAT 2005 competition, MiniSat is a good starting
+ point both for future research in SAT, and for applications using SAT.
+ .
+ This package provides the files necessary to develop new applications that
+ use Minisat for OCaml.
diff --git a/debian/copyright b/debian/copyright
new file mode 100644
index 0000000..d79a026
--- /dev/null
+++ b/debian/copyright
@@ -0,0 +1,32 @@
+This package was debianized by Pietro Abate <pietro.abate at pps.jussieu.fr> on
+Sat Aug  1 10:50:23 CEST 2009
+
+It was downloaded from http://github.com/abate/MiniSat-ocaml/tree/minisat2
+
+Upstream Authors: Flavio Lerda <flerda at gmail.com>
+                  Pietro Abate <pietro.abate at pps.jussieu.fr>
+
+Copyright (C) 2007 - 2009 Flavio Lerda <flerda at gmail.com>
+Copyright (C) 2009 - 2010 Pietro Abate <pietro.abate at pps.jussieu.fr>
+
+License:
+
+    Permission is hereby granted, free of charge, to any person
+    obtaining a copy of this software and associated documentation files
+    (the "Software"), to deal in the Software without restriction,
+    including without limitation the rights to use, copy, modify, merge,
+    publish, distribute, sublicense, and/or sell copies of the Software,
+    and to permit persons to whom the Software is furnished to do so,
+    subject to the following conditions:
+
+    The above copyright notice and this permission notice shall be
+    included in all copies or substantial portions of the Software.
+
+    THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+    EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES
+    OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
+    NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS
+    BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN
+    ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
+    CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+    SOFTWARE.
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/libminisat-ocaml-dev.doc-base b/debian/libminisat-ocaml-dev.doc-base
new file mode 100644
index 0000000..442c215
--- /dev/null
+++ b/debian/libminisat-ocaml-dev.doc-base
@@ -0,0 +1,3 @@
+Format: HTML
+Index: /usr/share/doc/libminisat-ocaml-dev/doc/index.html
+Files: /usr/share/doc/libminisat-ocaml-dev/doc/*.html
diff --git a/debian/libminisat-ocaml-dev.install.in b/debian/libminisat-ocaml-dev.install.in
new file mode 100644
index 0000000..7d8ed1c
--- /dev/null
+++ b/debian/libminisat-ocaml-dev.install.in
@@ -0,0 +1,5 @@
+ at OCamlStdlibDir@/minisat/*.cmi
+ at OCamlStdlibDir@/minisat/*.ml*
+ at OCamlStdlibDir@/minisat/*.a
+OPT: @OCamlStdlibDir@/minisat/*.cmx
+OPT: @OCamlStdlibDir@/minisat/*.cmxa
diff --git a/debian/libminisat-ocaml-dev.ocamldoc b/debian/libminisat-ocaml-dev.ocamldoc
new file mode 100644
index 0000000..e69de29
diff --git a/debian/libminisat-ocaml.examples b/debian/libminisat-ocaml.examples
new file mode 100644
index 0000000..e39721e
--- /dev/null
+++ b/debian/libminisat-ocaml.examples
@@ -0,0 +1 @@
+examples/*
diff --git a/debian/libminisat-ocaml.install.in b/debian/libminisat-ocaml.install.in
new file mode 100644
index 0000000..e3e9895
--- /dev/null
+++ b/debian/libminisat-ocaml.install.in
@@ -0,0 +1,4 @@
+ at OCamlStdlibDir@/minisat/dllminisat_stubs.so @OCamlDllDir@
+ at OCamlStdlibDir@/minisat/minisat.cma
+ at OCamlStdlibDir@/minisat/META
+#OPT: minisat.cmxs @OCamlStdlibDir@/minisat
diff --git a/debian/rules b/debian/rules
new file mode 100755
index 0000000..4608b75
--- /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 = libminisat-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/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..6ce97a9
--- /dev/null
+++ b/debian/watch
@@ -0,0 +1,3 @@
+version=3
+
+http://www.ocaml.info/ocaml_sources/ ocaml-sqlite3-(.*)\.tar\.gz

-- 
ocaml-minisat packaging

