[Pkg-ocaml-maint-commits] [SCM] ocamlp3l packaging branch, master, updated. debian/2.03-1-1-gf6fa907
Sylvain Le Gall
gildor at debian.org
Tue Aug 12 16:49:24 UTC 2008
The following commit has been merged in the master branch:
commit c24ca02c29ce151b714cc0d2f80e85fdc6ea110e
Author: Sylvain Le Gall <gildor at debian.org>
Date: Mon Jun 30 00:29:00 2008 +0200
Initial packaging.
diff --git a/debian/README.source b/debian/README.source
new file mode 100644
index 0000000..62605d2
--- /dev/null
+++ b/debian/README.source
@@ -0,0 +1,5 @@
+This package use dpatch for patching the source.
+
+Please consider reading dpatch manpage to patch the source.
+
+ -- Sylvain Le Gall <gildor at debian.org> Sun, 22 Jun 2008 23:26:52 +0200
diff --git a/debian/changelog b/debian/changelog
new file mode 100644
index 0000000..edcf65b
--- /dev/null
+++ b/debian/changelog
@@ -0,0 +1,5 @@
+ocamlp3l (2.03-1) UNRELEASED; urgency=low
+
+ * Initial release. (Closes: #395111)
+
+ -- Sylvain Le Gall <gildor at debian.org> Fri, 27 Jun 2008 17:08:42 +0200
diff --git a/debian/compat b/debian/compat
new file mode 100644
index 0000000..7ed6ff8
--- /dev/null
+++ b/debian/compat
@@ -0,0 +1 @@
+5
diff --git a/debian/control b/debian/control
new file mode 100644
index 0000000..ccee38e
--- /dev/null
+++ b/debian/control
@@ -0,0 +1,24 @@
+Source: ocamlp3l
+Section: devel
+Priority: optional
+Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
+Uploaders: Sylvain Le Gall <gildor at debian.org>
+Build-Depends: cdbs (>= 0.4.23), debhelper (>= 5), dpatch, ocaml-nox (>= 3.10.0-8)
+Standards-Version: 3.8.0
+Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/ocamlp3l.git
+Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/ocamlp3l.git
+Homepage: http://camlp3l.inria.fr
+
+Package: ocamlp3l
+Architecture: any
+Section: devel
+Depends: ocaml-base-${F:OCamlABI}
+Description: functional parallel programming based on OCaml
+ OcamlP3l is a parallel programming system based on Objective Caml and the P3L
+ languages, providing seamless integration of parallel programming and
+ functional programming and advanced features like sequential logical debugging
+ of parallel programs and strong typing, useful both in teaching parallel
+ programming and in the building of full-scale applications.
+ .
+ This package contains development tools and libraries.
+
diff --git a/debian/copyright b/debian/copyright
new file mode 100644
index 0000000..8f22c24
--- /dev/null
+++ b/debian/copyright
@@ -0,0 +1,45 @@
+Format-Specification: http://wiki.debian.org/Proposals/CopyrightFormat
+Upstream-Author: Roberto Di Cosmo <dicosmo at dicosmo.org>
+ Zheng Li <zli at lip6.fr>
+ Pierre Weis <Pierre.Weis at inria.fr>
+ Francois Clement <Francois.Clement at inria.fr>
+Packaged-By: Sylvain Le Gall <gildor at debian.org>
+Packaged-Date: Fri, 27 Jun 2008 17:22:14 +0200
+Original-Source-Location: http://camlp3l.inria.fr/
+
+Files: *
+Copyright: © 2004-2007 Roberto Di Cosmo <dicosmo at dicosmo.org>
+ © 2004-2007 Zheng Li <zli at lip6.fr>
+ © 2004-2007 Pierre Weis <Pierre.Weis at inria.fr>
+ © 2004-2007 Francois Clement <Francois.Clement at inria.fr>
+ © 1997 Roberto Di Cosmo <dicosmo at ens.fr>
+ © 1997 Marco Danelutto <marcod at di.unipi.it>
+ © 1997 Xavier Leroy <Xavier.Leroy at inria.fr>
+ © 1997 Susanna Pelagatti <susanna at di.unipi.it>
+License: LGPL-2+
+
+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.
+
+Files: Examples/DomainDecomposition
+Copyright: © 2003-2007 INRIA
+
+Files: Examples/Tests/tests.ml
+Copyright: © 2003 Roberto Di Cosmo <roberto at dicosmo.org>
+License: LGPL-2+
+
+Files: debian/*
+Copyright: © 2008 Sylvain Le Gall <gildor at debian.org>
+License: GPL-2+
+
diff --git a/debian/ocamlp3l.dirs b/debian/ocamlp3l.dirs
new file mode 100644
index 0000000..e772481
--- /dev/null
+++ b/debian/ocamlp3l.dirs
@@ -0,0 +1 @@
+usr/bin
diff --git a/doc/favicon.ico b/debian/patches/00list
similarity index 100%
copy from doc/favicon.ico
copy to debian/patches/00list
diff --git a/debian/rules b/debian/rules
new file mode 100755
index 0000000..ece0b1e
--- /dev/null
+++ b/debian/rules
@@ -0,0 +1,42 @@
+#!/usr/bin/make -f
+# debian/rules for ocamlp3l package
+# Copyright (C) 2008 Sylvain Le Gall <gildor at debian.org>
+#
+# This program 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 2, or (at
+# your option) any later version.
+#
+# This program is distributed in the hope that it will be useful, but
+# WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
+# General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# along with this program; if not, write to the Free Software
+# Foundation, Inc., 51 Franklin St, Fifth Floor, Boston,
+# MA 02110-1301, USA.
+
+include /usr/share/cdbs/1/rules/debhelper.mk
+include /usr/share/cdbs/1/rules/dpatch.mk
+include /usr/share/cdbs/1/class/autotools.mk
+include /usr/share/cdbs/1/class/ocaml.mk
+
+PACKAGE_DEV := ocamlp3l
+DESTDIR_DEV := $(CURDIR)/debian/$(PACKAGE_DEV)
+
+
+DEB_MAKE_CLEAN_TARGET := configure clean unconfigure
+DEB_MAKE_BUILD_TARGET := configure all
+#ifeq ($(OCAML_HAVE_OCAMLOPT),yes)
+#DEB_MAKE_BUILD_TARGET += opt
+#endif
+DEB_MAKE_INSTALL_TARGET := install
+DEB_MAKE_INSTALL_TARGET += CAMLLIBDIR=$(DESTDIR_DEV)/$(OCAML_STDLIB_DIR)
+DEB_MAKE_INSTALL_TARGET += PREFIX=$(DESTDIR_DEV)/usr/
+
+OCAML_OCAMLDOC_PACKAGES := $(PACKAGE_DEV)
+
+clean::
+ -$(RM) '$(CURDIR)/.depend-rebuild'
+ -$(RM) '$(CURDIR)/Tools/.depend-rebuild'
diff --git a/debian/watch b/debian/watch
new file mode 100644
index 0000000..985d331
--- /dev/null
+++ b/debian/watch
@@ -0,0 +1,2 @@
+version=3
+ftp://ftp.inria.fr/INRIA/caml-light/bazar-ocaml/ocamlp3l/ocamlp3l-([0-9\.]*)\.tgz
--
ocamlp3l packaging
More information about the Pkg-ocaml-maint-commits
mailing list