[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:30 UTC 2008 

The following commit has been merged in the master branch:
commit 6afa20253ae1acecf28003c9cbe2860c36b34b00
Author: Sylvain Le Gall <gildor at debian.org>
Date:   Sat Aug 9 17:27:46 2008 +0000

    Install documentation and examples.

diff --git a/debian/ocamlp3l.doc-base.papers b/debian/ocamlp3l.doc-base.papers
new file mode 100644
index 0000000..4c5e26c
--- /dev/null
+++ b/debian/ocamlp3l.doc-base.papers
@@ -0,0 +1,19 @@
+Document: ocamlp3l-papers
+Title: Skeletal parallel programming with OcamlP3l 2.0
+Author: Roberto Di Cosmo, Zheng Li, Susanna Pelagatti, Pierre Weis
+Abstract: Parallel programming has proven to be an effective technique to
+ improve the performance of computationally intensive applications. However,
+ writing parallel programs is not easy, and activities such as debugging are
+ usually hard and time consuming. To cope with these difficulties, skeletal
+ parallel programming has been widely explored in recent years with very
+ promising results.
+Section: Programming/OCaml
+
+Format: PDF
+Files: /usr/share/doc/ocamlp3l/papers/hlpp05/paper.pdf.gz
+
+Format: DVI
+Files: /usr/share/doc/ocamlp3l/papers/hlpp05/paper.dvi.gz
+
+Format: PostScript
+Files: /usr/share/doc/ocamlp3l/papers/hlpp05/paper.ps.gz
diff --git a/debian/ocamlp3l.doc-base.user-manual b/debian/ocamlp3l.doc-base.user-manual
new file mode 100644
index 0000000..5c182f4
--- /dev/null
+++ b/debian/ocamlp3l.doc-base.user-manual
@@ -0,0 +1,22 @@
+Document: ocamlp3l-usermanual
+Title: OcamlP3l 2.0: User Manual
+Abstract: Writing parallel programs is not easy, and debugging them is usually
+ a nightmare. To cope with these difficulties, a structured approach to parallel
+ programs using skeletons and template based compiler techniques has been
+ developed over the past years by several researchers, including the p3l group
+ in Pisa.
+Section: Programming/OCaml
+Author: Roberto Di Cosmo, Zheng Li, Marco Danelutto, Susanna Pelagatti, Xavier Leroy, Pierre Weis
+
+Format: HTML
+Index: /usr/share/doc/ocamlp3l/UserManual.htm
+Files: /usr/share/doc/ocamlp3l/UserManual*.gif
+
+Format: DVI
+Files: /usr/share/doc/ocamlp3l/UserManual.dvi.gz 
+
+Format: PDF
+Files: /usr/share/doc/ocamlp3l/UserManual.pdf.gz 
+
+Format: PostScript
+Files: /usr/share/doc/ocamlp3l/UserManual.ps.gz 
diff --git a/debian/ocamlp3l.doc-base.website b/debian/ocamlp3l.doc-base.website
new file mode 100644
index 0000000..2355942
--- /dev/null
+++ b/debian/ocamlp3l.doc-base.website
@@ -0,0 +1,9 @@
+Document: ocamlp3l-website
+Title: ocamlp3l website (offline version)
+Abstract: Description, Manual, Articles, Requirements for installation
+Section: Programming/OCaml
+Author: Roberto Di Cosmo, Zheng Li, Pierre Weis, Francois Clement
+
+Format: HTML
+Index: /usr/share/doc/ocamlp3l/index.htm 
+Files: /usr/share/doc/ocamlp3l/eng.htm /usr/share/doc/ocamlp3l/fra.htm /usr/share/doc/ocamlp3l/index.html /usr/share/doc/ocamlp3l/papers/*.htm /usr/share/doc/ocamlp3l/imgs/*
diff --git a/debian/ocamlp3l.docs b/debian/ocamlp3l.docs
new file mode 100644
index 0000000..f7289d9
--- /dev/null
+++ b/debian/ocamlp3l.docs
@@ -0,0 +1,3 @@
+doc/*
+VERSION
+Announce-*
diff --git a/debian/ocamlp3l.examples b/debian/ocamlp3l.examples
new file mode 100644
index 0000000..3693723
--- /dev/null
+++ b/debian/ocamlp3l.examples
@@ -0,0 +1 @@
+Examples/*
diff --git a/debian/patches/00list b/debian/patches/00list
index e69de29..0dd7d06 100644
--- a/debian/patches/00list
+++ b/debian/patches/00list
@@ -0,0 +1,2 @@
+01-correct-href-to-gz-doc
+02-install-mli
diff --git a/debian/patches/01-correct-href-to-gz-doc.dpatch b/debian/patches/01-correct-href-to-gz-doc.dpatch
new file mode 100755
index 0000000..955c47a
--- /dev/null
+++ b/debian/patches/01-correct-href-to-gz-doc.dpatch
@@ -0,0 +1,70 @@
+#! /bin/sh /usr/share/dpatch/dpatch-run
+## 01-correct-href-to-gz-doc.dpatch by Sylvain Le Gall <gildor at debian.org>
+##
+## All lines beginning with `## DP:' are a description of the patch.
+## DP: Replace href in HTML documentation that link to PDF/PS/DVI files to
+## DP: the same file but compressed using gzip.
+
+ at DPATCH@
+diff -urNad ocamlp3l~/doc/eng.htm ocamlp3l/doc/eng.htm
+--- ocamlp3l~/doc/eng.htm	2008-06-17 18:37:13.000000000 +0000
++++ ocamlp3l/doc/eng.htm	2008-08-09 16:57:29.000000000 +0000
+@@ -87,8 +87,8 @@
+ <A HREF="UserManual.htm">on line</A>.
+ 
+ <P>You can also download the manual as
+-<A HREF="UserManual.dvi">DVI</A>, <A HREF="UserManual.ps">PS</A>, and
+-<A HREF="UserManual.pdf">PDF</A> files.
++<A HREF="UserManual.dvi.gz">DVI</A>, <A HREF="UserManual.ps.gz">PS</A>, and
++<A HREF="UserManual.pdf.gz">PDF</A> files.
+ 
+ <P>The manual only exists in the English version,
+ volunteers to translate it are warmly welcomed...
+diff -urNad ocamlp3l~/doc/fra.htm ocamlp3l/doc/fra.htm
+--- ocamlp3l~/doc/fra.htm	2008-06-17 18:37:13.000000000 +0000
++++ ocamlp3l/doc/fra.htm	2008-08-09 16:57:29.000000000 +0000
+@@ -86,9 +86,9 @@
+ <A HREF="UserManual.htm">en ligne</A>.
+ 
+ <P>Vous pouvez également télécharger le manuel en
+-<A HREF="UserManual.dvi">DVI</A>,
+-<A HREF="UserManual.ps">PS</A> ou
+-<A HREF="UserManual.pdf">PDF</A>.
++<A HREF="UserManual.dvi.gz">DVI</A>,
++<A HREF="UserManual.ps.gz">PS</A> ou
++<A HREF="UserManual.pdf.gz">PDF</A>.
+ 
+ <P>Le manuel est actuellement en anglais uniquement, on attend des volontaires
+ pour se charger de la traduction.
+diff -urNad ocamlp3l~/doc/papers/eng.htm ocamlp3l/doc/papers/eng.htm
+--- ocamlp3l~/doc/papers/eng.htm	2008-06-17 18:37:15.000000000 +0000
++++ ocamlp3l/doc/papers/eng.htm	2008-08-09 16:57:29.000000000 +0000
+@@ -26,9 +26,9 @@
+   <LI>Paper presented at the <EM>Third International Workshop on High-level
+     Parallel Programming and Applications (HLPP 2005)</EM>.
+ <!--       <A HREF="hlpp05/paper.tgz">the entire source of the paper</A>,-->
+-       <A HREF="hlpp05/paper.dvi">The DVI version</A>,
+-       <A HREF="hlpp05/paper.ps">the PS version</A>,
+-       <A HREF="hlpp05/paper.pdf">the PDF version</A>.
++       <A HREF="hlpp05/paper.dvi.gz">The DVI version</A>,
++       <A HREF="hlpp05/paper.ps.gz">the PS version</A>,
++       <A HREF="hlpp05/paper.pdf.gz">the PDF version</A>.
+ </UL>
+ 
+ <P>
+diff -urNad ocamlp3l~/doc/papers/fra.htm ocamlp3l/doc/papers/fra.htm
+--- ocamlp3l~/doc/papers/fra.htm	2008-06-17 18:37:15.000000000 +0000
++++ ocamlp3l/doc/papers/fra.htm	2008-08-09 16:57:29.000000000 +0000
+@@ -26,9 +26,9 @@
+   <LI>Article présenté à <EM>Third International Workshop on High-level
+     Parallel Programming and Applications (HLPP 2005)</EM>.
+ <!--       <A HREF="hlpp05/paper.tgz">les sources complètes du papier</A>,-->
+-       <A HREF="hlpp05/paper.dvi">La version DVI</A>,
+-       <A HREF="hlpp05/paper.ps">la version PS</A>,
+-       <A HREF="hlpp05/paper.pdf">la version PDF</A>.
++       <A HREF="hlpp05/paper.dvi.gz">La version DVI</A>,
++       <A HREF="hlpp05/paper.ps.gz">la version PS</A>,
++       <A HREF="hlpp05/paper.pdf.gz">la version PDF</A>.
+ </UL>
+ 
+ <P>
diff --git a/debian/patches/02-install-mli.dpatch b/debian/patches/02-install-mli.dpatch
new file mode 100755
index 0000000..82353a8
--- /dev/null
+++ b/debian/patches/02-install-mli.dpatch
@@ -0,0 +1,21 @@
+#! /bin/sh /usr/share/dpatch/dpatch-run
+## 02-install-mli.dpatch by Sylvain Le Gall <gildor at debian.org>
+##
+## All lines beginning with `## DP:' are a description of the patch.
+## DP: Install mli file in destination directory.
+
+ at DPATCH@
+diff -urNad ocamlp3l~/Source/Makefile ocamlp3l/Source/Makefile
+--- ocamlp3l~/Source/Makefile	2008-06-17 18:37:14.000000000 +0000
++++ ocamlp3l/Source/Makefile	2008-08-09 17:01:08.000000000 +0000
+@@ -61,8 +61,9 @@
+ 
+ all: $(CAMLBYTOBJS) $(CAMLBINOBJS)
+ 
+-install: $(CAMLIOBJS) $(CAMLBYTOBJS) $(CAMLBINOBJS)
++install: $(CAMLIOBJS) $(CAMLBYTOBJS) $(CAMLBINOBJS) $(ALLMLISOURCES)
+ 	$(MKDIR) $(PACKAGELIBDIR)
++	$(CP) $(ALLMLISOURCES) $(PACKAGELIBDIR)
+ 	$(CP) $(CAMLIOBJS) $(PACKAGELIBDIR)
+ 	$(CP) $(CAMLBYTOBJS) $(PACKAGELIBDIR)
+ 	$(CP) $(CAMLBINOBJS) $(CAMLOOBJS) $(PACKAGELIBDIR)
diff --git a/debian/rules b/debian/rules
index 92a6d6a..298cdec 100755
--- a/debian/rules
+++ b/debian/rules
@@ -36,8 +36,6 @@ 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)
-
 PO4A_SOURCES := $(CURDIR)/debian/xml-man/po4a/po4a.cfg
 
 DOCBOOK_MANPAGE_SOURCES := $(CURDIR)/debian/xml-man/en/ocamlp3lc.xml
@@ -46,9 +44,25 @@ DOCBOOK_MANPAGE_SOURCES += $(CURDIR)/debian/xml-man/en/ocamlp3ltop.xml
 
 DOCBOOK_MANPAGE_EXTRA_SOURCES := $(CURDIR)/debian/xml-man/en/license.xml      \
                                  $(CURDIR)/debian/xml-man/en/refentryinfo.xml
+
+DEB_INSTALL_DOCS_ALL := -XCOPYING -XLICENSE -XINSTALL
+
 clean::
 	-$(RM) '$(CURDIR)/.depend-rebuild'
 	-$(RM) '$(CURDIR)/Tools/.depend-rebuild'
 	-$(RM) '$(CURDIR)/debian/xml-man/en/ocamlp3lc.1'
 	-$(RM) '$(CURDIR)/debian/xml-man/en/ocamlp3lopt.1'
 	-$(RM) '$(CURDIR)/debian/xml-man/en/ocamlp3ltop.1'
+	-$(RM) '$(CURDIR)/debian/ocamlp3l.doc-base.ocamldoc-apiref'
+
+binary-install/ocamlp3l::
+	/usr/share/cdbs/1/class/ocamldoc-api-ref-config --doc-base-generate ocamlp3l
+	mkdir -p '$(CURDIR)/debian/ocamlp3l/$(OCAML_OCAMLDOC_DESTDIR_HTML)'
+	find '$(CURDIR)/debian/ocamlp3l/$(OCAML_STDLIB_DIR)/ocamlp3l/vprocess' \
+	  -type f -name "*.mli" -o -name "*.ml" \
+	  | xargs ocamldoc -html \
+	  -I '$(CURDIR)/debian/ocamlp3l/$(OCAML_STDLIB_DIR)/ocamlp3l/vprocess' \
+	  -d '$(CURDIR)/debian/ocamlp3l/$(OCAML_OCAMLDOC_DESTDIR_HTML)'
+
+
+

-- 
ocamlp3l packaging

More information about the Pkg-ocaml-maint-commits mailing list