[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:29 UTC 2008
The following commit has been merged in the master branch:
commit e8369ee6a780c6076595019ceb6bbe49f1e76f0c
Author: Sylvain Le Gall <gildor at debian.org>
Date: Sat Aug 9 12:16:02 2008 +0000
Add manpages for ocamlp3l programs.
diff --git a/debian/mk/docbook-manpage.mk b/debian/mk/docbook-manpage.mk
new file mode 100644
index 0000000..c4cfd8f
--- /dev/null
+++ b/debian/mk/docbook-manpage.mk
@@ -0,0 +1,126 @@
+# -*- mode: makefile; coding: utf-8 -*-
+# Copyright © 2006 Sylvain Le Gall <gildor#debian.org>
+# Description: Rules to manage manpages written in XML.
+#
+# 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.
+
+_cdbs_scripts_path ?= /usr/lib/cdbs
+_cdbs_rules_path ?= /usr/share/cdbs/1/rules
+_cdbs_class_path ?= /usr/share/cdbs/1/class
+
+ifndef _cdbs_rules_docbookxml
+_cdbs_rules_docbook_manpage = 1
+
+# needed by debian/control:: rule below
+include $(_cdbs_rules_path)/buildcore.mk$(_cdbs_makefile_suffix)
+
+# needed for po4a-stamp
+# TODO: if released in CDBS, change above
+include $(CURDIR)/debian/mk/po4a.mk$(_cdbs_makefile_suffix)
+
+# docbook manpages to build
+DOCBOOK_MANPAGE_SOURCES :=
+
+# extra docbook sources to look for (docbook extract to be included in
+# other docbook manpage)
+DOCBOOK_MANPAGE_EXTRA_SOURCES :=
+
+# version of docbook sources to use (must follow the scheme " (>= version)")
+DOCBOOK_MANPAGE_VERSION :=
+
+# add required build dependency for used tools
+CDBS_BUILD_DEPENDS := $(CDBS_BUILD_DEPENDS), docbook-xml at docbook_version@, docbook-xsl, libxml2-utils, xsltproc
+
+# xmllint program to use
+DOCBOOK_MANPAGE_XMLLINT := xmllint
+
+# flags for xmllint
+DOCBOOK_MANPAGE_XMLLINT_FLAGS := --nonet --noout --postvalid --xinclude
+
+# xsltproc program to use
+DOCBOOK_MANPAGE_XSLTPROC := xsltproc
+
+# flags for xsltproc
+DOCBOOK_MANPAGE_XSLTPROC_FLAGS := --nonet --xinclude --param man.charmap.use.subset 0
+
+# XSL stylesheet to transform docbook to manpage
+DOCBOOK_MANPAGE_XSLTPROC_XSL := /usr/share/xml/docbook/stylesheet/nwalsh/manpages/docbook.xsl
+
+# file containing the list of generated files
+DOCBOOK_MANPAGE_LIST := $(CURDIR)/debian/docbook-manpage-list
+
+# compute higher docbook version, if required (no version provided and sources defined)
+# and replace it in generated control file.
+ifneq ($(DEB_AUTO_UPDATE_DEBIAN_CONTROL),)
+debian/control::
+ if test -f $(CURDIR)/debian/control && test -f $(CURDIR)/debian/control.in; then \
+ DOCBOOK_MANPAGE_VERSION=$(strip $(DOCBOOK_MANPAGE_VERSION)); \
+ if test "x$$DOCBOOK_MANPAGE_VERSION" == "x" && \
+ test "x$(strip $(DOCBOOK_MANPAGE_SOURCES))" != "x"; then \
+ DOCBOOK_ALL_SOURCES="$(DOCBOOK_MANPAGE_SOURCES) $(DOCBOOK_MANPAGE_EXTRA_SOURCES)"; \
+ DOCBOOK_MANPAGE_VERSION=`grep -s -e "-//OASIS//DTD DocBook XML V[0-9\.]*//EN" $$DOCBOOK_ALL_SOURCES | \
+ sed "s,.*-//OASIS//DTD DocBook XML V\\([0-9\.]*\\)//EN.*,\\1," | \
+ sort -r | head -n 1`; \
+ if test "x$$DOCBOOK_MANPAGE_VERSION" != "x"; then \
+ DOCBOOK_MANPAGE_VERSION=" (>= $$DOCBOOK_MANPAGE_VERSION)"; \
+ fi; \
+ fi; \
+ sed -i "s, at docbook_version@,$$DOCBOOK_MANPAGE_VERSION," $(CURDIR)/debian/control; \
+ fi
+endif
+
+# check docbook sources for any problem
+%.docbook-manpage-check:: %
+ $(DOCBOOK_MANPAGE_XMLLINT) $(DOCBOOK_MANPAGE_XMLLINT_FLAGS) $<
+ echo $@ >> $(DOCBOOK_MANPAGE_LIST)
+ touch $@
+
+# build manpage
+%.docbook-manpage-build:: % $(DOCBOOK_MANPAGE_XSLTPROC_XSL)
+ $(DOCBOOK_MANPAGE_XSLTPROC) \
+ $(DOCBOOK_MANPAGE_XSLTPROC_FLAGS) \
+ -o $(dir $<) \
+ $(DOCBOOK_MANPAGE_XSLTPROC_XSL) \
+ $<
+ echo $@ >> $(DOCBOOK_MANPAGE_LIST)
+ touch $@
+
+
+# check all docbook sources and build manpage.
+# TODO: find a better solution than recursive call to debian/rules
+docbook-manpage: docbook-manpage-stamp
+docbook-manpage-stamp:: po4a-stamp
+ if test "x$(strip $(DOCBOOK_MANPAGE_SOURCES))" != "x" && \
+ test "x$(strip $(DOCBOOK_MANPAGE_EXTRA_SOURCES))" != "x"; then \
+ $(CURDIR)/debian/rules \
+ $(addsuffix .docbook-manpage-check,\
+ $(DOCBOOK_MANPAGE_SOURCES) \
+ $(DOCBOOK_MANPAGE_EXTRA_SOURCES)) \
+ $(addsuffix .docbook-manpage-build, \
+ $(DOCBOOK_MANPAGE_SOURCES)); \
+ fi
+ touch $@
+
+build: docbook-manpage
+
+clean::
+ -if test -f $(DOCBOOK_MANPAGE_LIST); then \
+ $(RM) `cat $(DOCBOOK_MANPAGE_LIST)`; \
+ $(RM) $(DOCBOOK_MANPAGE_LIST); \
+ fi
+ -$(RM) docbook-manpage-stamp
+
+endif
diff --git a/debian/mk/po4a.mk b/debian/mk/po4a.mk
new file mode 100644
index 0000000..55add36
--- /dev/null
+++ b/debian/mk/po4a.mk
@@ -0,0 +1,80 @@
+# -*- mode: makefile; coding: utf-8 -*-
+# Copyright © 2006 Sylvain Le Gall <gildor#debian.org>
+# Description: Rules to manage translation made through po4a.
+#
+# 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.
+
+_cdbs_scripts_path ?= /usr/lib/cdbs
+_cdbs_rules_path ?= /usr/share/cdbs/1/rules
+_cdbs_class_path ?= /usr/share/cdbs/1/class
+
+ifndef _cdbs_rules_po4a
+_cdbs_rules_po4a = 1
+
+# needed by debian/control:: rule below
+include $(_cdbs_rules_path)/buildcore.mk$(_cdbs_makefile_suffix)
+
+# po4a files
+PO4A_SOURCES :=
+
+# po4a program to use
+PO4A := po4a
+
+# flags for po4a in clean target
+PO4A_CLEAN_FLAGS := --no-translations --rm-backups
+
+# flags for po4a in build target
+PO4A_BUILD_FLAGS:= --rm-backups
+
+# file containing the list of generated files
+PO4A_LIST := $(CURDIR)/debian/po4a-list
+
+# add required build dependency for used tools
+CDBS_BUILD_DEPENDS := $(CDBS_BUILD_DEPENDS), po4a
+
+# generate the translations (rules follow recommendation of po4a author)
+%.po4a-build:: %
+ $(PO4A) $(PO4A_BUILD_FLAGS) $<
+ echo $@ >> $(PO4A_LIST)
+ touch $@
+
+# call po4a when it is required
+# TODO: find a better solution than recursive call to debian/rules
+po4a: po4a-stamp
+po4a-stamp::
+ if test "x$(strip $(PO4A_SOURCES))" != "x"; then \
+ $(CURDIR)/debian/rules \
+ $(addsuffix .po4a-build,\
+ $(PO4A_SOURCES)); \
+ fi
+ touch $@
+
+build: po4a
+
+# update the POT and PO (rules follow recommendation of po4a author)
+clean::
+ if test -f $(PO4A_LIST); then \
+ for i in `grep ".po4a-build" $(PO4A_LIST)`; do \
+ $(PO4A) $(PO4A_CLEAN_FLAGS) $${i%%.po4a-build}; \
+ done; \
+ fi
+ -if test -f $(PO4A_LIST); then \
+ $(RM) `cat $(PO4A_LIST)`; \
+ $(RM) $(PO4A_LIST); \
+ fi
+ -$(RM) po4a-stamp
+
+endif
diff --git a/debian/ocamlp3l.manpages b/debian/ocamlp3l.manpages
new file mode 100644
index 0000000..92bfb3b
--- /dev/null
+++ b/debian/ocamlp3l.manpages
@@ -0,0 +1,3 @@
+debian/xml-man/en/ocamlp3lc.1
+debian/xml-man/en/ocamlp3lopt.1
+debian/xml-man/en/ocamlp3ltop.1
diff --git a/debian/rules b/debian/rules
index e725ba4..92a6d6a 100755
--- a/debian/rules
+++ b/debian/rules
@@ -21,6 +21,7 @@ include /usr/share/cdbs/1/rules/debhelper.mk
include /usr/share/cdbs/1/rules/dpatch.mk
include /usr/share/cdbs/1/class/makefile.mk
include /usr/share/cdbs/1/class/ocaml.mk
+include $(CURDIR)/debian/mk/docbook-manpage.mk
PACKAGE_DEV := ocamlp3l
DESTDIR_DEV := $(CURDIR)/debian/$(PACKAGE_DEV)
@@ -37,6 +38,17 @@ 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
+DOCBOOK_MANPAGE_SOURCES += $(CURDIR)/debian/xml-man/en/ocamlp3lopt.xml
+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
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'
diff --git a/debian/xml-man/en/license.xml b/debian/xml-man/en/license.xml
new file mode 100644
index 0000000..5b3e639
--- /dev/null
+++ b/debian/xml-man/en/license.xml
@@ -0,0 +1,48 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE refsect1 PUBLIC "-//OASIS//DTD DocBook XML V4.4//EN"
+"/usr/share/xml/docbook/schema/dtd/4.4/docbookx.dtd" [
+ <!ENTITY debian "Debian GNU/Linux">
+]>
+
+<!--**********************************************************************-->
+<!-- License include for manpage -->
+<!-- -->
+<!-- Copyright (C) 2008 Sylvain Le Gall <gildor at debian.org> -->
+<!-- -->
+<!-- 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 2.1 of the License, or (at your option) any later version; -->
+<!-- with the OCaml static compilation exception. -->
+<!-- -->
+<!-- This library 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 -->
+<!-- Lesser General Public License for more details. -->
+<!-- -->
+<!-- You should have received a copy of the GNU Lesser General Public -->
+<!-- License along with this library; if not, write to the Free Software -->
+<!-- Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, -->
+<!-- MA 02110-1301, USA. -->
+<!-- -->
+<!-- Contact: gildor at debian.org -->
+<!--**********************************************************************-->
+
+<refsect1>
+ <title>LICENSE</title>
+
+ <para>
+ This manual page was written by
+ <personname>
+ <firstname>Sylvain</firstname>
+ <surname>Le Gall</surname>
+ </personname>
+ <email>gildor at debian.org</email>
+ for the &debian; system (but may be used by others).
+ Permission is granted to copy, distribute and/or modify this document
+ under the terms of the <acronym>GNU</acronym> Lesser General Public
+ License, Version 2.1 or any later version published by the Free
+ Software Foundation; considering as source code all the file that
+ enable the production of this manpage.
+ </para>
+</refsect1>
diff --git a/debian/xml-man/en/ocamlp3lc.xml b/debian/xml-man/en/ocamlp3lc.xml
new file mode 100644
index 0000000..fdeb53a
--- /dev/null
+++ b/debian/xml-man/en/ocamlp3lc.xml
@@ -0,0 +1,185 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE refentry PUBLIC "-//OASIS//DTD DocBook XML V4.4//EN"
+"/usr/share/xml/docbook/schema/dtd/4.4/docbookx.dtd" [
+ <!ENTITY debian "Debian GNU/Linux">
+ <!ENTITY dhprg "<command>ocamlp3lc</command>">
+]>
+
+<!--**********************************************************************-->
+<!-- ocamlp3lc manpage -->
+<!-- -->
+<!-- Copyright (C) 2008 Sylvain Le Gall <gildor at debian.org> -->
+<!-- -->
+<!-- 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 2.1 of the License, or (at your option) any later version; -->
+<!-- with the OCaml static compilation exception. -->
+<!-- -->
+<!-- This library 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 -->
+<!-- Lesser General Public License for more details. -->
+<!-- -->
+<!-- You should have received a copy of the GNU Lesser General Public -->
+<!-- License along with this library; if not, write to the Free Software -->
+<!-- Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, -->
+<!-- MA 02110-1301, USA. -->
+<!-- -->
+<!-- Contact: gildor at debian.org -->
+<!--**********************************************************************-->
+
+<refentry>
+
+ <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="refentryinfo.xml"/>
+
+ <refmeta>
+ <refentrytitle>OCAMLP3LC</refentrytitle>
+ <manvolnum>1</manvolnum>
+ </refmeta>
+
+ <refnamediv>
+ <refname>ocamlp3lc</refname>
+
+ <refpurpose>byte compiler for ocamlp3l.</refpurpose>
+ </refnamediv>
+
+ <refsynopsisdiv>
+ <cmdsynopsis>
+ &dhprg;
+ <arg>-gra</arg>
+ <arg>-par</arg>
+ <arg>-seq</arg>
+ <arg>-thr</arg>
+ <arg>-pro</arg>
+ <group>
+ <arg>-v</arg>
+ <arg>--version</arg>
+ </group>
+ <group>
+ <arg>-help</arg>
+ <arg>--help</arg>
+ </group>
+ <arg>-ext</arg>
+ <arg rep="repeat">any ocamlc/ocamlopt/ocamltop option</arg>
+ <arg rep="repeat"><replaceable>interface.3li</replaceable></arg>
+ <arg rep="repeat"><replaceable>implementation.3l</replaceable></arg>
+ </cmdsynopsis>
+ </refsynopsisdiv>
+
+ <refsect1>
+ <title>DESCRIPTION</title>
+
+ <para>This manual page documents briefly the &dhprg; command.</para>
+
+ <para>This manual page was written for the &debian; distribution
+ because the original program does not have a manual page.</para>
+
+ <para>This manpage describe common options for &dhprg;,
+ <command>ocamlp3lopt</command> and <command>ocamlp3ltop</command>.
+ Depending of the command the extra compiler option match to
+ <command>ocamlc</command>, <command>ocamlopt</command> or
+ <command>ocaml</command></para>
+
+ <para>&dhprg; is a compiler for OCaml parallel programs. It uses the
+ paradigm of skeleton programming. It is based on P3L, the Pisa Parallel
+ Programming Language, OCamlP3l skeleton algebra is embedded in a
+ full-fledged functional programming language, namely Objective
+ Caml.</para>
+
+ <para>The compiler allows three different operational interpretations of
+ the same source program:</para>
+ <itemizedlist>
+ <listitem><para>the sequential interpretation which is deterministic,
+ hence easy to understand and debug,</para></listitem>
+ <listitem><para>the parallel interpretation using a network of computing
+ nodes run in parallel to speed up the computation,</para></listitem>
+ <listitem><para>the graphical interpretation, which is run to obtain a
+ drawing of the parallel computing network deployed at run-time by the
+ parallel interpretation.</para></listitem>
+ </itemizedlist>
+
+ <variablelist>
+ <varlistentry>
+ <term><option>-gra</option></term>
+ <listitem>
+ <para>Use graphical execution.</para>
+ </listitem>
+ </varlistentry>
+ <varlistentry>
+ <term><option>-par</option></term>
+ <listitem>
+ <para>Use parallel execution.</para>
+ </listitem>
+ </varlistentry>
+ <varlistentry>
+ <term><option>-seq</option></term>
+ <listitem>
+ <para>Use sequential execution.</para>
+ </listitem>
+ </varlistentry>
+ <varlistentry>
+ <term><option>-thr</option></term>
+ <listitem>
+ <para>Use the thread model for parallelism.</para>
+ </listitem>
+ </varlistentry>
+ <varlistentry>
+ <term><option>-pro</option></term>
+ <listitem>
+ <para>Use the process model for parallelism.</para>
+ </listitem>
+ </varlistentry>
+ <varlistentry>
+ <term><option>-v</option></term>
+ <term><option>--version</option></term>
+ <listitem>
+ <para>Display version information.</para>
+ </listitem>
+ </varlistentry>
+ <varlistentry>
+ <term><option>-ext <replaceable>str</replaceable></option></term>
+ <listitem>
+ <para>Internal use only.</para>
+ </listitem>
+ </varlistentry>
+ <varlistentry>
+ <term><option><replaceable>interface.3li</replaceable></option></term>
+ <term><option><replaceable>implementation.3l</replaceable></option></term>
+ <listitem>
+ <para>File to compile.</para>
+ </listitem>
+ </varlistentry>
+ <varlistentry>
+ <term><option>-help</option></term>
+ <term><option>--help</option></term>
+ <listitem>
+ <para>Display an help message.</para>
+ </listitem>
+ </varlistentry>
+ </variablelist>
+
+ </refsect1>
+
+ <refsect1>
+ <title>SEE ALSO</title>
+
+ <para>
+ <citerefentry>
+ <refentrytitle>
+ <command>ocamlp3lopt</command>
+ </refentrytitle>
+ <manvolnum>1</manvolnum>
+ </citerefentry>,
+ <citerefentry>
+ <refentrytitle>
+ <command>ocamlp3top</command>
+ </refentrytitle>
+ <manvolnum>1</manvolnum>
+ </citerefentry>,
+ <filename>/usr/share/doc/ocamlp3l/index.html</filename>
+ </para>
+ </refsect1>
+
+ <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="license.xml"/>
+</refentry>
diff --git a/debian/xml-man/en/ocamlp3lopt.xml b/debian/xml-man/en/ocamlp3lopt.xml
new file mode 100644
index 0000000..4926bff
--- /dev/null
+++ b/debian/xml-man/en/ocamlp3lopt.xml
@@ -0,0 +1,81 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE refentry PUBLIC "-//OASIS//DTD DocBook XML V4.4//EN"
+"/usr/share/xml/docbook/schema/dtd/4.4/docbookx.dtd" [
+ <!ENTITY debian "Debian GNU/Linux">
+ <!ENTITY dhprg "<command>ocamlp3lopt</command>">
+]>
+
+<!--**********************************************************************-->
+<!-- ocamlp3lopt manpage -->
+<!-- -->
+<!-- Copyright (C) 2008 Sylvain Le Gall <gildor at debian.org> -->
+<!-- -->
+<!-- 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 2.1 of the License, or (at your option) any later version; -->
+<!-- with the OCaml static compilation exception. -->
+<!-- -->
+<!-- This library 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 -->
+<!-- Lesser General Public License for more details. -->
+<!-- -->
+<!-- You should have received a copy of the GNU Lesser General Public -->
+<!-- License along with this library; if not, write to the Free Software -->
+<!-- Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, -->
+<!-- MA 02110-1301, USA. -->
+<!-- -->
+<!-- Contact: gildor at debian.org -->
+<!--**********************************************************************-->
+
+<refentry>
+
+ <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="refentryinfo.xml"/>
+
+ <refmeta>
+ <refentrytitle>OCAMLP3LOPT</refentrytitle>
+ <manvolnum>1</manvolnum>
+ </refmeta>
+
+ <refnamediv>
+ <refname>ocamlp3lopt</refname>
+
+ <refpurpose>native compiler for ocamlp3l.</refpurpose>
+ </refnamediv>
+
+ <refsynopsisdiv>
+ <cmdsynopsis>
+ &dhprg;
+ <arg rep="repeat">ocamlp3lc option</arg>
+ </cmdsynopsis>
+ </refsynopsisdiv>
+
+ <refsect1>
+ <title>DESCRIPTION</title>
+
+ <para>This manual page documents briefly the &dhprg; command.</para>
+
+ <para>This manual page was written for the &debian; distribution
+ because the original program does not have a manual page.</para>
+
+ <para>&dhprg; is the native compiler equivalent of
+ <command>ocamlp3lc</command>.</para>
+
+ </refsect1>
+
+ <refsect1>
+ <title>SEE ALSO</title>
+
+ <para>
+ <citerefentry>
+ <refentrytitle>
+ <command>ocamlp3lc</command>
+ </refentrytitle>
+ <manvolnum>1</manvolnum>
+ </citerefentry>
+ </para>
+ </refsect1>
+
+ <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="license.xml"/>
+</refentry>
diff --git a/debian/xml-man/en/ocamlp3ltop.xml b/debian/xml-man/en/ocamlp3ltop.xml
new file mode 100644
index 0000000..7dd948d
--- /dev/null
+++ b/debian/xml-man/en/ocamlp3ltop.xml
@@ -0,0 +1,82 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE refentry PUBLIC "-//OASIS//DTD DocBook XML V4.4//EN"
+"/usr/share/xml/docbook/schema/dtd/4.4/docbookx.dtd" [
+ <!ENTITY debian "Debian GNU/Linux">
+ <!ENTITY dhprg "<command>ocamlp3ltop</command>">
+]>
+
+<!--**********************************************************************-->
+<!-- ocamlp3ltop manpage -->
+<!-- -->
+<!-- Copyright (C) 2008 Sylvain Le Gall <gildor at debian.org> -->
+<!-- -->
+<!-- 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 2.1 of the License, or (at your option) any later version; -->
+<!-- with the OCaml static compilation exception. -->
+<!-- -->
+<!-- This library 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 -->
+<!-- Lesser General Public License for more details. -->
+<!-- -->
+<!-- You should have received a copy of the GNU Lesser General Public -->
+<!-- License along with this library; if not, write to the Free Software -->
+<!-- Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, -->
+<!-- MA 02110-1301, USA. -->
+<!-- -->
+<!-- Contact: gildor at debian.org -->
+<!--**********************************************************************-->
+
+<refentry>
+
+ <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="refentryinfo.xml"/>
+
+ <refmeta>
+ <refentrytitle>OCAMLP3LTOP</refentrytitle>
+ <manvolnum>1</manvolnum>
+ </refmeta>
+
+ <refnamediv>
+ <refname>ocamlp3ltop</refname>
+
+ <refpurpose>toplevel interpreter for ocamlp3l.</refpurpose>
+ </refnamediv>
+
+ <refsynopsisdiv>
+ <cmdsynopsis>
+ &dhprg;
+ <arg rep="repeat">ocamlp3lc option</arg>
+ </cmdsynopsis>
+ </refsynopsisdiv>
+
+ <refsect1>
+ <title>DESCRIPTION</title>
+
+ <para>This manual page documents briefly the &dhprg; command.</para>
+
+ <para>This manual page was written for the &debian; distribution
+ because the original program does not have a manual page.</para>
+
+ <para>&dhprg; is the toplevel interpreter equivalent of
+ <command>ocamlp3lc</command>.</para>
+
+ </refsect1>
+
+ <refsect1>
+ <title>SEE ALSO</title>
+
+ <para>
+ <citerefentry>
+ <refentrytitle>
+ <command>ocamlp3lc</command>
+ </refentrytitle>
+ <manvolnum>1</manvolnum>
+ </citerefentry>
+ </para>
+ </refsect1>
+
+
+ <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="license.xml"/>
+</refentry>
diff --git a/debian/xml-man/en/refentryinfo.xml b/debian/xml-man/en/refentryinfo.xml
new file mode 100644
index 0000000..dd8cad9
--- /dev/null
+++ b/debian/xml-man/en/refentryinfo.xml
@@ -0,0 +1,41 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE refentryinfo PUBLIC "-//OASIS//DTD DocBook XML V4.4//EN"
+"/usr/share/xml/docbook/schema/dtd/4.4/docbookx.dtd" [
+]>
+
+<!--**********************************************************************-->
+<!-- Info include for manpage -->
+<!-- -->
+<!-- Copyright (C) 2008 Sylvain Le Gall <gildor at debian.org> -->
+<!-- -->
+<!-- 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 2.1 of the License, or (at your option) any later version; -->
+<!-- with the OCaml static compilation exception. -->
+<!-- -->
+<!-- This library 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 -->
+<!-- Lesser General Public License for more details. -->
+<!-- -->
+<!-- You should have received a copy of the GNU Lesser General Public -->
+<!-- License along with this library; if not, write to the Free Software -->
+<!-- Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, -->
+<!-- MA 02110-1301, USA. -->
+<!-- -->
+<!-- Contact: gildor at debian.org -->
+<!--**********************************************************************-->
+
+<refentryinfo>
+ <author>
+ <firstname>Sylvain</firstname>
+ <surname>Le Gall</surname>
+ <email>gildor at debian.org</email>
+ </author>
+ <copyright>
+ <year>2008</year>
+ <holder>Sylvain Le Gall</holder>
+ </copyright>
+ <date>August 9, 2008</date>
+</refentryinfo>
diff --git a/debian/xml-man/po4a/po/ocamlp3l-man.pot b/debian/xml-man/po4a/po/ocamlp3l-man.pot
new file mode 100644
index 0000000..dd36d53
--- /dev/null
+++ b/debian/xml-man/po4a/po/ocamlp3l-man.pot
@@ -0,0 +1,323 @@
+# SOME DESCRIPTIVE TITLE
+# Copyright (C) YEAR Free Software Foundation, Inc.
+# This file is distributed under the same license as the PACKAGE package.
+# FIRST AUTHOR <EMAIL at ADDRESS>, YEAR.
+#
+#, fuzzy
+msgid ""
+msgstr ""
+"Project-Id-Version: PACKAGE VERSION\n"
+"POT-Creation-Date: 2008-08-09 12:12+0000\n"
+"PO-Revision-Date: YEAR-MO-DA HO:MI+ZONE\n"
+"Last-Translator: FULL NAME <EMAIL at ADDRESS>\n"
+"Language-Team: LANGUAGE <LL at li.org>\n"
+"MIME-Version: 1.0\n"
+"Content-Type: text/plain; charset=utf-8\n"
+"Content-Transfer-Encoding: ENCODING"
+
+# type: Content of the debian entity
+#: debian/xml-man/en/ocamlp3lc.xml:4 debian/xml-man/en/ocamlp3lopt.xml:4 debian/xml-man/en/ocamlp3ltop.xml:4 debian/xml-man/en/license.xml:4
+msgid "Debian GNU/Linux"
+msgstr ""
+
+# type: Content of the dhprg entity
+#: debian/xml-man/en/ocamlp3lc.xml:5
+msgid "<command>ocamlp3lc</command>"
+msgstr ""
+
+# type: Content of: <refentry><refnamediv><refname>
+#: debian/xml-man/en/ocamlp3lc.xml:42
+msgid "ocamlp3lc"
+msgstr ""
+
+# type: Content of: <refentry><refnamediv><refpurpose>
+#: debian/xml-man/en/ocamlp3lc.xml:44
+msgid "byte compiler for ocamlp3l."
+msgstr ""
+
+# type: Content of: <refentry><refsynopsisdiv><cmdsynopsis>
+#: debian/xml-man/en/ocamlp3lc.xml:49
+msgid ""
+"&dhprg; <arg>-gra</arg> <arg>-par</arg> <arg>-seq</arg> <arg>-thr</arg> "
+"<arg>-pro</arg> <group> <arg>-v</arg> <arg>--version</arg> </group> <group> "
+"<arg>-help</arg> <arg>--help</arg> </group> <arg>-ext</arg> <arg "
+"rep=\"repeat\">any ocamlc/ocamlopt/ocamltop option</arg> <arg "
+"rep=\"repeat\"><replaceable>interface.3li</replaceable></arg> <arg "
+"rep=\"repeat\"><replaceable>implementation.3l</replaceable></arg>"
+msgstr ""
+
+# type: Content of: <refentry><refsect1><title>
+#: debian/xml-man/en/ocamlp3lc.xml:71 debian/xml-man/en/ocamlp3lopt.xml:55 debian/xml-man/en/ocamlp3ltop.xml:55
+msgid "DESCRIPTION"
+msgstr ""
+
+# type: Content of: <refentry><refsect1><para>
+#: debian/xml-man/en/ocamlp3lc.xml:73 debian/xml-man/en/ocamlp3lopt.xml:57 debian/xml-man/en/ocamlp3ltop.xml:57
+msgid "This manual page documents briefly the &dhprg; command."
+msgstr ""
+
+# type: Content of: <refentry><refsect1><para>
+#: debian/xml-man/en/ocamlp3lc.xml:75 debian/xml-man/en/ocamlp3lopt.xml:59 debian/xml-man/en/ocamlp3ltop.xml:59
+msgid ""
+"This manual page was written for the &debian; distribution because the "
+"original program does not have a manual page."
+msgstr ""
+
+# type: Content of: <refentry><refsect1><para>
+#: debian/xml-man/en/ocamlp3lc.xml:78
+msgid ""
+"This manpage describe common options for &dhprg;, "
+"<command>ocamlp3lopt</command> and <command>ocamlp3ltop</command>. "
+"Depending of the command the extra compiler option match to "
+"<command>ocamlc</command>, <command>ocamlopt</command> or "
+"<command>ocaml</command>"
+msgstr ""
+
+# type: Content of: <refentry><refsect1><para>
+#: debian/xml-man/en/ocamlp3lc.xml:84
+msgid ""
+"&dhprg; is a compiler for OCaml parallel programs. It uses the paradigm of "
+"skeleton programming. It is based on P3L, the Pisa Parallel Programming "
+"Language, OCamlP3l skeleton algebra is embedded in a full-fledged functional "
+"programming language, namely Objective Caml."
+msgstr ""
+
+# type: Content of: <refentry><refsect1><para>
+#: debian/xml-man/en/ocamlp3lc.xml:90
+msgid ""
+"The compiler allows three different operational interpretations of the same "
+"source program:"
+msgstr ""
+
+# type: Content of: <refentry><refsect1><itemizedlist><listitem><para>
+#: debian/xml-man/en/ocamlp3lc.xml:93
+msgid ""
+"the sequential interpretation which is deterministic, hence easy to "
+"understand and debug,"
+msgstr ""
+
+# type: Content of: <refentry><refsect1><itemizedlist><listitem><para>
+#: debian/xml-man/en/ocamlp3lc.xml:95
+msgid ""
+"the parallel interpretation using a network of computing nodes run in "
+"parallel to speed up the computation,"
+msgstr ""
+
+# type: Content of: <refentry><refsect1><itemizedlist><listitem><para>
+#: debian/xml-man/en/ocamlp3lc.xml:97
+msgid ""
+"the graphical interpretation, which is run to obtain a drawing of the "
+"parallel computing network deployed at run-time by the parallel "
+"interpretation."
+msgstr ""
+
+# type: Content of: <refentry><refsect1><variablelist><varlistentry><term><option>
+#: debian/xml-man/en/ocamlp3lc.xml:104
+msgid "-gra"
+msgstr ""
+
+# type: Content of: <refentry><refsect1><variablelist><varlistentry><listitem><para>
+#: debian/xml-man/en/ocamlp3lc.xml:106
+msgid "Use graphical execution."
+msgstr ""
+
+# type: Content of: <refentry><refsect1><variablelist><varlistentry><term><option>
+#: debian/xml-man/en/ocamlp3lc.xml:110
+msgid "-par"
+msgstr ""
+
+# type: Content of: <refentry><refsect1><variablelist><varlistentry><listitem><para>
+#: debian/xml-man/en/ocamlp3lc.xml:112
+msgid "Use parallel execution."
+msgstr ""
+
+# type: Content of: <refentry><refsect1><variablelist><varlistentry><term><option>
+#: debian/xml-man/en/ocamlp3lc.xml:116
+msgid "-seq"
+msgstr ""
+
+# type: Content of: <refentry><refsect1><variablelist><varlistentry><listitem><para>
+#: debian/xml-man/en/ocamlp3lc.xml:118
+msgid "Use sequential execution."
+msgstr ""
+
+# type: Content of: <refentry><refsect1><variablelist><varlistentry><term><option>
+#: debian/xml-man/en/ocamlp3lc.xml:122
+msgid "-thr"
+msgstr ""
+
+# type: Content of: <refentry><refsect1><variablelist><varlistentry><listitem><para>
+#: debian/xml-man/en/ocamlp3lc.xml:124
+msgid "Use the thread model for parallelism."
+msgstr ""
+
+# type: Content of: <refentry><refsect1><variablelist><varlistentry><term><option>
+#: debian/xml-man/en/ocamlp3lc.xml:128
+msgid "-pro"
+msgstr ""
+
+# type: Content of: <refentry><refsect1><variablelist><varlistentry><listitem><para>
+#: debian/xml-man/en/ocamlp3lc.xml:130
+msgid "Use the process model for parallelism."
+msgstr ""
+
+# type: Content of: <refentry><refsect1><variablelist><varlistentry><term><option>
+#: debian/xml-man/en/ocamlp3lc.xml:134
+msgid "-v"
+msgstr ""
+
+# type: Content of: <refentry><refsect1><variablelist><varlistentry><term><option>
+#: debian/xml-man/en/ocamlp3lc.xml:135
+msgid "--version"
+msgstr ""
+
+# type: Content of: <refentry><refsect1><variablelist><varlistentry><listitem><para>
+#: debian/xml-man/en/ocamlp3lc.xml:137
+msgid "Display version information."
+msgstr ""
+
+# type: Content of: <refentry><refsect1><variablelist><varlistentry><term><option>
+#: debian/xml-man/en/ocamlp3lc.xml:141
+msgid "-ext <replaceable>str</replaceable>"
+msgstr ""
+
+# type: Content of: <refentry><refsect1><variablelist><varlistentry><listitem><para>
+#: debian/xml-man/en/ocamlp3lc.xml:143
+msgid "Internal use only."
+msgstr ""
+
+# type: Content of: <refentry><refsect1><variablelist><varlistentry><term><option>
+#: debian/xml-man/en/ocamlp3lc.xml:147
+msgid "<replaceable>interface.3li</replaceable>"
+msgstr ""
+
+# type: Content of: <refentry><refsect1><variablelist><varlistentry><term><option>
+#: debian/xml-man/en/ocamlp3lc.xml:148
+msgid "<replaceable>implementation.3l</replaceable>"
+msgstr ""
+
+# type: Content of: <refentry><refsect1><variablelist><varlistentry><listitem><para>
+#: debian/xml-man/en/ocamlp3lc.xml:150
+msgid "File to compile."
+msgstr ""
+
+# type: Content of: <refentry><refsect1><variablelist><varlistentry><term><option>
+#: debian/xml-man/en/ocamlp3lc.xml:154
+msgid "-help"
+msgstr ""
+
+# type: Content of: <refentry><refsect1><variablelist><varlistentry><term><option>
+#: debian/xml-man/en/ocamlp3lc.xml:155
+msgid "--help"
+msgstr ""
+
+# type: Content of: <refentry><refsect1><variablelist><varlistentry><listitem><para>
+#: debian/xml-man/en/ocamlp3lc.xml:157
+msgid "Display an help message."
+msgstr ""
+
+# type: Content of: <refentry><refsect1><title>
+#: debian/xml-man/en/ocamlp3lc.xml:165 debian/xml-man/en/ocamlp3lopt.xml:68 debian/xml-man/en/ocamlp3ltop.xml:68
+msgid "SEE ALSO"
+msgstr ""
+
+# type: Content of: <refentry><refsect1><para>
+#: debian/xml-man/en/ocamlp3lc.xml:168
+msgid ""
+"<citerefentry> <refentrytitle> <command>ocamlp3lopt</command> "
+"</refentrytitle> <manvolnum>1</manvolnum> </citerefentry>, <citerefentry> "
+"<refentrytitle> <command>ocamlp3top</command> </refentrytitle> "
+"<manvolnum>1</manvolnum> </citerefentry>, "
+"<filename>/usr/share/doc/ocamlp3l/index.html</filename>"
+msgstr ""
+
+# type: Content of the dhprg entity
+#: debian/xml-man/en/ocamlp3lopt.xml:5
+msgid "<command>ocamlp3lopt</command>"
+msgstr ""
+
+# type: Content of: <refentry><refnamediv><refname>
+#: debian/xml-man/en/ocamlp3lopt.xml:42
+msgid "ocamlp3lopt"
+msgstr ""
+
+# type: Content of: <refentry><refnamediv><refpurpose>
+#: debian/xml-man/en/ocamlp3lopt.xml:44
+msgid "native compiler for ocamlp3l."
+msgstr ""
+
+# type: Content of: <refentry><refsynopsisdiv><cmdsynopsis>
+#: debian/xml-man/en/ocamlp3lopt.xml:49 debian/xml-man/en/ocamlp3ltop.xml:49
+msgid "&dhprg; <arg rep=\"repeat\">ocamlp3lc option</arg>"
+msgstr ""
+
+# type: Content of: <refentry><refsect1><para>
+#: debian/xml-man/en/ocamlp3lopt.xml:62
+msgid "&dhprg; is the native compiler equivalent of <command>ocamlp3lc</command>."
+msgstr ""
+
+# type: Content of: <refentry><refsect1><para>
+#: debian/xml-man/en/ocamlp3lopt.xml:71 debian/xml-man/en/ocamlp3ltop.xml:71
+msgid ""
+"<citerefentry> <refentrytitle> <command>ocamlp3lc</command> </refentrytitle> "
+"<manvolnum>1</manvolnum> </citerefentry>"
+msgstr ""
+
+# type: Content of the dhprg entity
+#: debian/xml-man/en/ocamlp3ltop.xml:5
+msgid "<command>ocamlp3ltop</command>"
+msgstr ""
+
+# type: Content of: <refentry><refnamediv><refname>
+#: debian/xml-man/en/ocamlp3ltop.xml:42
+msgid "ocamlp3ltop"
+msgstr ""
+
+# type: Content of: <refentry><refnamediv><refpurpose>
+#: debian/xml-man/en/ocamlp3ltop.xml:44
+msgid "toplevel interpreter for ocamlp3l."
+msgstr ""
+
+# type: Content of: <refentry><refsect1><para>
+#: debian/xml-man/en/ocamlp3ltop.xml:62
+msgid ""
+"&dhprg; is the toplevel interpreter equivalent of "
+"<command>ocamlp3lc</command>."
+msgstr ""
+
+# type: Content of: <refsect1><title>
+#: debian/xml-man/en/license.xml:32
+msgid "LICENSE"
+msgstr ""
+
+# type: Content of: <refsect1><para>
+#: debian/xml-man/en/license.xml:35
+msgid ""
+"This manual page was written by <personname> <firstname>Sylvain</firstname> "
+"<surname>Le Gall</surname> </personname> <email>gildor at debian.org</email> "
+"for the &debian; system (but may be used by others). Permission is granted "
+"to copy, distribute and/or modify this document under the terms of the"
+msgstr ""
+
+# type: Content of: <refsect1><para><acronym>
+#: debian/xml-man/en/license.xml:43
+msgid "GNU"
+msgstr ""
+
+# type: Content of: <refsect1><para>
+#: debian/xml-man/en/license.xml:43
+msgid ""
+"Lesser General Public License, Version 2.1 or any later version published by "
+"the Free Software Foundation; considering as source code all the file that "
+"enable the production of this manpage."
+msgstr ""
+
+# type: Content of: <refentryinfo><copyright><holder>
+#: debian/xml-man/en/refentryinfo.xml:38
+msgid "Sylvain Le Gall"
+msgstr ""
+
+# type: Content of: <refentryinfo><date>
+#: debian/xml-man/en/refentryinfo.xml:40
+msgid "August 9, 2008"
+msgstr ""
diff --git a/debian/xml-man/po4a/po4a.cfg b/debian/xml-man/po4a/po4a.cfg
new file mode 100644
index 0000000..bfc449f
--- /dev/null
+++ b/debian/xml-man/po4a/po4a.cfg
@@ -0,0 +1,12 @@
+[po4a_paths] debian/xml-man/po4a/po/ocamlp3l-man.pot
+
+[type: docbook] debian/xml-man/en/ocamlp3lc.xml
+
+[type: docbook] debian/xml-man/en/ocamlp3lopt.xml
+
+[type: docbook] debian/xml-man/en/ocamlp3ltop.xml
+
+[type: docbook] debian/xml-man/en/license.xml
+
+[type: docbook] debian/xml-man/en/refentryinfo.xml
+
--
ocamlp3l packaging
More information about the Pkg-ocaml-maint-commits
mailing list