--- cothreads-0.10.orig/debian/copyright +++ cothreads-0.10/debian/copyright @@ -0,0 +1,24 @@ +Format-Specification: http://wiki.debian.org/Proposals/CopyrightFormat +Upstream-Author: Zheng Li +Packaged-By: Erik de Castro Lopo + Sylvain Le Gall +Packaged-Date: Wed, Sep 19 2007 12:24 +1000 +Original-Source-Location: http://prdownloads.sourceforge.net/cothreads/ + +Files: * +Copyright: © 2007 by Zheng Li +License: LGPL-2+ + +File: src/process/threads.mli +Copyright: © 1995 INRIA +License: LGPL-2+ + +On Debian systems the complete text of Version 2 of the Library General +Public License can be found in /usr/share/common-licenses/LGPL-2, and +its successor, Version 2.1 of the Lesser General Public License, can +be found in /usr/share/common-licenses/LGPL-2.1. + +File: debian/* +Copyright: (C) 2007 Erik de Castro Lopo + (C) 2007 Sylvain Le Gall +License: GPL-2+ --- cothreads-0.10.orig/debian/changelog +++ cothreads-0.10/debian/changelog @@ -0,0 +1,53 @@ +cothreads (0.10-3) unstable; urgency=low + + [ Sylvain Le Gall ] + * Use dh_ocaml (and related tools) to build the package and compute + the dependencies. + * Move the package to section ocaml. + + [ Mehdi Dogguy ] + * Cosmetic changes in debian/control + * Update email address + * Bump standards to 3.8.3, no changes needed + * Build-depend on OCaml 3.11.1-3~ + * Bump dh-ocaml version to 0.9.1 + * Switch order of inclusion for debhelper.mk and dpatch.mk to + workaround a bug of cdbs. + * Add a nodefined-map for dh-ocaml to not export some modules + (Closes: #549784). + + -- Mehdi Dogguy Sat, 31 Oct 2009 13:36:33 +0100 + +cothreads (0.10-2) unstable; urgency=low + + * Add build-depends on dh-ocaml + * Upgrade Standards-Version to 3.8.0 (README.source) + * Switch packaging to git + * Remove verbatim text in debian/control + * Update homepage field + * Use rules/ocaml.mk, add versionned dependency on dh-ocaml + * Update debian/copyright file to use + http://wiki.debian.org/Proposals/CopyrightFormat + + -- Sylvain Le Gall Fri, 06 Mar 2009 22:56:54 +0100 + +cothreads (0.10-1) unstable; urgency=low + + [ Erik de Castro Lopo ] + * Initial upload (Closes: #444082) + + [ Sylvain Le Gall ] + * Use ocaml 3.10.0-9 for generating .ocamldoc-apiref automatically + + [ Stefano Zacchiroli ] + * fix vcs-svn field to point just above the debian/ dir + + [ Mehdi Dogguy ] + * enhance META + * add myself as an Uploader + * set Maintainer to d-o-m, and Erik as uploader + * bump standards-version + * remove line '@OCamlStdlibDir@/cothreads' from libcothreads-ocaml-dev.dirs.in + (thanks lintian) + + -- Sylvain Le Gall Sat, 10 May 2008 00:47:16 +0200 --- cothreads-0.10.orig/debian/rules +++ cothreads-0.10/debian/rules @@ -0,0 +1,50 @@ +#!/usr/bin/make -f +# debian/rules for cothreads package +# Copyright (C) 2007 Erik de Castro Lopo +# Copyright (C) 2007 Sylvain Le Gall +# +# 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/dpatch.mk +include /usr/share/cdbs/1/rules/debhelper.mk +include /usr/share/cdbs/1/class/makefile.mk +include /usr/share/cdbs/1/rules/ocaml.mk + +PACKAGE := libcothreads-ocaml +DESTDIR := $(CURDIR)/debian/$(PACKAGE) + +PACKAGE_DEV := libcothreads-ocaml-dev +DESTDIR_DEV := $(CURDIR)/debian/$(PACKAGE_DEV) + +DEB_MAKE_CLEAN_TARGET := clean +DEB_MAKE_BUILD_TARGET := all +DEB_MAKE_INSTALL_TARGET := install \ + DESTDIR='$(DESTDIR_DEV)' +ifeq ($(OCAML_HAVE_OCAMLOPT),yes) +DEB_MAKE_BUILD_TARGET += NATIVE=yes +DEB_MAKE_INSTALL_TARGET += NATIVE=yes +else +DEB_MAKE_BUILD_TARGET += NATIVE=no +DEB_MAKE_INSTALL_TARGET += NATIVE=no +endif + +OCAML_DHOCAML_FLAGS := --nodefined-map libcothreads-ocaml-dev:Mutex,Thread,Event,Condition,ThreadUnix + +OCAML_OCAMLDOC_PACKAGES := libcothreads-ocaml-dev + +install/libcothreads-ocaml-dev:: + sed -i "s/@VERSION@/$(DEB_UPSTREAM_VERSION)/g" '$(CURDIR)/debian/META.cothreads' + --- cothreads-0.10.orig/debian/libcothreads-ocaml-dev.ocamldoc +++ cothreads-0.10/debian/libcothreads-ocaml-dev.ocamldoc @@ -0,0 +1 @@ +-I src --- cothreads-0.10.orig/debian/control +++ cothreads-0.10/debian/control @@ -0,0 +1,37 @@ +Source: cothreads +Section: ocaml +Priority: optional +Maintainer: Debian OCaml Maintainers +Uploaders: + Sylvain Le Gall , + Mehdi Dogguy , + Erik de Castro Lopo +Build-Depends: + cdbs (>= 0.4.23-1.1), + debhelper (>= 5), + dpatch, + ocaml-nox (>= 3.11.1-3~), + dh-ocaml (>= 0.9.1) +Standards-Version: 3.8.3 +Homepage: http://sourceforge.net/projects/cothreads/ +Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/cothreads.git +Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/cothreads.git + +Package: libcothreads-ocaml-dev +Architecture: any +Depends: ${ocaml:Depends}, ${misc:Depends} +Provides: ${ocaml:Provides} +Description: concurrent programming library for OCaml + This library enhances the Threads library of the standard OCaml distribution + in two dimensions: + . + - It implements the same API of the standard Threads library on different + execution engines (process, networker), so that a single copy of + source code can be compiled and deployed to different environments + without modification. + - It is also a super set of the standard Threads library, with extra + components (STM etc.), functions (spawn etc.) and features (object-level + compatibility etc.). + . + This package provides static libraries, interfaces, and documentation + for coThreads. --- cothreads-0.10.orig/debian/compat +++ cothreads-0.10/debian/compat @@ -0,0 +1 @@ +5 --- cothreads-0.10.orig/debian/libcothreads-ocaml-dev.docs +++ cothreads-0.10/debian/libcothreads-ocaml-dev.docs @@ -0,0 +1 @@ +README --- cothreads-0.10.orig/debian/libcothreads-ocaml-dev.install.in +++ cothreads-0.10/debian/libcothreads-ocaml-dev.install.in @@ -0,0 +1 @@ +debian/META.cothreads @OCamlStdlibDir@/METAS/ --- cothreads-0.10.orig/debian/META.cothreads.in +++ cothreads-0.10/debian/META.cothreads.in @@ -0,0 +1,30 @@ +name="cothreads" +version="@VERSION@" +description="A concurrent programming library for OCaml" +directory="+" + +package "threads" ( + # We suppose that this must be used in conjunction + # with -threads/-mt + archive(byte,mt)="cothreads.cma" + archive(native,mt,mt_posix)="cothreads.cmxa" +) + +package "process_threads" ( + requires="unix" + directory="+process" + archive(byte)="threads.cma" + archive(native)="threads.cmxa" +) + +package "process" ( + requires="unix" + directory="+process" + archive(byte)="cothreads.cma" + archive(native)="cothreads.cmxa" +) + +package "vmcothreads" ( + directory="+vmthreads" + archive(byte)="cothreads.cma" +) --- cothreads-0.10.orig/debian/libcothreads-ocaml-dev.dirs.in +++ cothreads-0.10/debian/libcothreads-ocaml-dev.dirs.in @@ -0,0 +1,3 @@ +@OCamlStdlibDir@/process +@OCamlStdlibDir@/threads +@OCamlStdlibDir@/vmthreads --- cothreads-0.10.orig/debian/watch +++ cothreads-0.10/debian/watch @@ -0,0 +1,2 @@ +version=3 +http://sf.net/cothreads/cothreads_([0-9].*)\.tar\.bz2 --- cothreads-0.10.orig/debian/gbp.conf +++ cothreads-0.10/debian/gbp.conf @@ -0,0 +1,2 @@ +[DEFAULT] +pristine-tar = True --- cothreads-0.10.orig/debian/README.source +++ cothreads-0.10/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 Sun, 22 Jun 2008 23:26:52 +0200 --- cothreads-0.10.orig/debian/libcothreads-ocaml-dev.examples +++ cothreads-0.10/debian/libcothreads-ocaml-dev.examples @@ -0,0 +1,2 @@ +example/* +Makefile.template --- cothreads-0.10.orig/debian/patches/50_makefile_example.dpatch +++ cothreads-0.10/debian/patches/50_makefile_example.dpatch @@ -0,0 +1,16 @@ +#! /bin/sh /usr/share/dpatch/dpatch-run +## 50_makefile_example.dpatch by Sylvain Le Gall +## +## All lines beginning with `## DP:' are a description of the patch. +## DP: Corrects Makefile.template path. + +@DPATCH@ +diff -urNad cothreads-0.10~/example/Makefile cothreads-0.10/example/Makefile +--- cothreads-0.10~/example/Makefile 2007-09-27 01:16:18.199352976 +0200 ++++ cothreads-0.10/example/Makefile 2007-09-27 01:16:41.654331341 +0200 +@@ -1,4 +1,4 @@ +-include ../Makefile.template ++include ./Makefile.template + + IFRAY = $(if $(findstring ray,$@), $(if $(findstring opt,$@),ray.cmx,ray.cmo)) + VMPARAM = -I +vmthreads $(IFRAY) cothreads.cma --- cothreads-0.10.orig/debian/patches/00list +++ cothreads-0.10/debian/patches/00list @@ -0,0 +1,5 @@ +10_patch_from_svn +20_makefile_destdir +30_correct-doc-generation +40_non_native_arch +50_makefile_example --- cothreads-0.10.orig/debian/patches/10_patch_from_svn.dpatch +++ cothreads-0.10/debian/patches/10_patch_from_svn.dpatch @@ -0,0 +1,96 @@ +#! /bin/sh /usr/share/dpatch/dpatch-run +## patch_from_svn.dpatch by Erik de Castro Lopo +## +## All lines beginning with `## DP:' are a description of the patch. +## DP: Pull a bunch of minor fixes from cothreads SVN. + +@DPATCH@ +diff -ru cothreads/example/Makefile cothreads-svn/example/Makefile +--- cothreads/example/Makefile 2007-09-12 06:32:40.000000000 +1000 ++++ cothreads-svn/example/Makefile 2007-09-21 12:36:08.000000000 +1000 +@@ -1,35 +1,33 @@ + include ../Makefile.template + ++# If coThreads is built but not installed, pass LOCAL variable to make e.g "make all LOCAL=../src" ++INCLUDES=$(if $(LOCAL),-I $(LOCAL)) ++PATHROOT=$(if $(LOCAL),$(LOCAL)/,+) ++ + IFRAY = $(if $(findstring ray,$@), $(if $(findstring opt,$@),ray.cmx,ray.cmo)) +-VMPARAM = -I +vmthreads $(IFRAY) cothreads.cma +-NATHPARAM = -I +threads $(IFRAY) unix.cma cothreads.cma ++VMPARAM = -I $(PATHROOT)vmthreads $(IFRAY) cothreads.cma ++NATHPARAM = -I $(PATHROOT)threads $(IFRAY) unix.cma cothreads.cma + NATHOPTPARAM = $(NATHPARAM:%.cma=%.cmxa) +-PROCPARAM = -I +process $(IFRAY) unix.cma cothreads.cma ++PROCPARAM = -I $(PATHROOT)process $(IFRAY) unix.cma cothreads.cma + PROCOPTPARAM = $(PROCPARAM:%.cma=%.cmxa) + + %.vmth: %.cmo + $(OCAMLC) -o $@ $(VMPARAM) $< +- + %.nath: %.cmo + $(OCAMLC) -o $@ $(NATHPARAM) $< +- + %.nath.opt: %.cmx + $(OCAMLOPT) -o $@ $(NATHOPTPARAM) $< +- + %.proc: %.cmo + $(OCAMLC) -o $@ $(PROCPARAM) $< +- + %.proc.opt: %.cmx + $(OCAMLOPT) -o $@ $(PROCOPTPARAM) $< + + ALLTEST = coth evt lock ray_col ray_nocol test mvar merge mcast phil santa +- + all: $(ALLTEST:%=%.vmth) $(ALLTEST:%=%.nath) $(ALLTEST:%=%.nath.opt) $(ALLTEST:%=%.proc) $(ALLTEST:%=%.proc.opt) + + clean: ocamlclean + $(RM) *.vmth *.nath *.proc *.netw *.opt *.pgm + +- + # TODO: + # NETWPARAM = -I +networker $(IFRAY) unix.cma cothreads.cma + # NETWOPTPARAM = $(NETWOPTPARAM:%.cma=%.cmxa) +diff -ru cothreads/example/README cothreads-svn/example/README +--- cothreads/example/README 2007-09-18 22:38:58.000000000 +1000 ++++ cothreads-svn/example/README 2007-09-21 12:36:07.000000000 +1000 +@@ -3,7 +3,12 @@ + + == BUILD == + +-Just ''make all'' after you've got coThreads installed on your system. ++Just ''make all'' after you've got coThreads installed on your system. ++ ++In case you want to play with the examples before really installing coThreads ++on your system, you should first build coThreads in the ''src'' directory as ++usual, then go the example directory and pass the building directory as $LOCAL ++variable to make, e.g. ''make all LOCAL=../src''. + + Type ''make clean'' to remove all imtermediate and final building results. + +@@ -62,8 +67,11 @@ + + * The Makefile itself is an example. It shows that how you can build your + applications against a set of execution engines with just a few lines of +- pattern rules. +- ++ pattern rules. Note that we make use of the Cothread module for ++ ''object-level compatability'' instead of the standard Thread module, though ++ in most case you can switch it back, but then the Makefile will be a bit more ++ complicated, as you have to compile a different version of object files for ++ each of the engines. + + [1] http://research.microsoft.com/users/simonpj/papers/stm/index.htm#composble + [2] https://research.microsoft.com/users/simonpj/papers/stm/index.htm#beautiful +diff -ru cothreads/example/santa.ml cothreads-svn/example/santa.ml +--- cothreads/example/santa.ml 2007-09-12 06:32:40.000000000 +1000 ++++ cothreads-svn/example/santa.ml 2007-09-21 12:36:08.000000000 +1000 +@@ -45,7 +45,7 @@ + let rec helper gp id task = + let in_gate, out_gate = join_group gp in + use_gate in_gate; task id; flush stdout; use_gate out_gate; +- Thread.delay (Random.float 0.5); ++ Thread.delay (Random.float 1.0); + helper gp id task + + let run task (in_gt, out_gt) = --- cothreads-0.10.orig/debian/patches/40_non_native_arch.dpatch +++ cothreads-0.10/debian/patches/40_non_native_arch.dpatch @@ -0,0 +1,128 @@ +#! /bin/sh /usr/share/dpatch/dpatch-run +## 40_non_native_arch.dpatch by Sylvain Le Gall +## +## All lines beginning with `## DP:' are a description of the patch. +## DP: No not use/install native files on non native arch. + +@DPATCH@ +diff -urNad cothreads-0.10~/doc/Makefile cothreads-0.10/doc/Makefile +--- cothreads-0.10~/doc/Makefile 2007-09-26 03:28:33.000000000 +0200 ++++ cothreads-0.10/doc/Makefile 2007-09-26 03:28:33.089078641 +0200 +@@ -11,3 +11,4 @@ + + clean: + $(RM) html man *~ .depend ++ +diff -urNad cothreads-0.10~/example/Makefile cothreads-0.10/example/Makefile +--- cothreads-0.10~/example/Makefile 2007-09-26 03:28:33.000000000 +0200 ++++ cothreads-0.10/example/Makefile 2007-09-26 03:28:33.089078641 +0200 +@@ -15,12 +15,16 @@ + $(OCAMLC) -o $@ $(VMPARAM) $< + %.nath: %.cmo + $(OCAMLC) -o $@ $(NATHPARAM) $< ++ifeq ($(NATIVE),yes) + %.nath.opt: %.cmx + $(OCAMLOPT) -o $@ $(NATHOPTPARAM) $< ++endif + %.proc: %.cmo + $(OCAMLC) -o $@ $(PROCPARAM) $< ++ifeq ($(NATIVE),yes) + %.proc.opt: %.cmx + $(OCAMLOPT) -o $@ $(PROCOPTPARAM) $< ++endif + + ALLTEST = coth evt lock ray_col ray_nocol test mvar merge mcast phil santa + all: $(ALLTEST:%=%.vmth) $(ALLTEST:%=%.nath) $(ALLTEST:%=%.nath.opt) $(ALLTEST:%=%.proc) $(ALLTEST:%=%.proc.opt) +diff -urNad cothreads-0.10~/src/Makefile cothreads-0.10/src/Makefile +--- cothreads-0.10~/src/Makefile 2007-09-26 03:28:32.000000000 +0200 ++++ cothreads-0.10/src/Makefile 2007-09-26 03:28:33.089078641 +0200 +@@ -4,7 +4,9 @@ + + AUXMOD = libext libextunix + AUXMODBYT = $(AUXMOD:%=%.cmo) ++ifeq ($(NATIVE),yes) + AUXMODNAT = $(AUXMOD:%=%.cmx) ++endif + + COMMONMOD = mutex condition event + COMMONMODINTFSRC = $(COMMONMOD:%=%.mli) +diff -urNad cothreads-0.10~/src/process/Makefile cothreads-0.10/src/process/Makefile +--- cothreads-0.10~/src/process/Makefile 2007-09-26 03:28:32.000000000 +0200 ++++ cothreads-0.10/src/process/Makefile 2007-09-26 03:30:28.124068031 +0200 +@@ -6,24 +6,34 @@ + + AUXMOD = libext libextunix + AUXMODBYT = $(AUXMOD:%=%.cmo) ++ifeq ($(NATIVE),yes) + AUXMODNAT = $(AUXMOD:%=%.cmx) ++endif + LOCALMOD = coordinator + COMMONMOD = mutex condition event cothread stm ++ifeq ($(NATIVE),yes) + COMMONMODNAT = $(COMMONMOD:%=%.cmx) ++endif + COMMONMODINTFSRC = $(COMMONMOD:%=%.mli) + COMMONMODINTFCOM = $(COMMONMOD:%=%.cmi) + COMMONMODINTF = $(COMMONMODINTFSRC) $(COMMONMODINTFCOM) + EXTRAMOD = thread ++ifeq ($(NATIVE),yes) + EXTRAMODNAT =$(EXTRAMOD:%=%.cmx) ++endif + EXTRAMODINTFCOM = $(EXTRAMOD:%=%.cmi) + ALLMOD = $(LOCALMOD) $(COMMONMOD) $(EXTRAMOD) + ALLMODBYT = $(ALLMOD:%=%.cmo) ++ifeq ($(NATIVE),yes) + ALLMODNAT = $(ALLMOD:%=%.cmx) ++endif + + LIB = threads cothreads + LIBBYT = $(LIB:%=%.cma) ++ifeq ($(NATIVE),yes) + LIBNAT = $(LIB:%=%.cmxa) + LIBNATA = $(LIB:%=%.a) ++endif + + INSTALLDIR = $(INSTALLLIBDIR)/$(BACKEND) + INSTALLFILES = $(COMMONMODINTFCOM) $(EXTRAMODINTFCOM) $(COMMONMODNAT) $(EXTRAMODNAT) $(LIBBYT) $(LIBNAT) $(LIBNATA) +diff -urNad cothreads-0.10~/src/threads/Makefile cothreads-0.10/src/threads/Makefile +--- cothreads-0.10~/src/threads/Makefile 2007-09-26 03:28:32.000000000 +0200 ++++ cothreads-0.10/src/threads/Makefile 2007-09-26 03:31:37.565043372 +0200 +@@ -6,23 +6,31 @@ + + AUXMOD = libext + AUXMODBYT = $(AUXMOD:%=%.cmo) ++ifeq ($(NATIVE),yes) + AUXMODNAT = $(AUXMOD:%=%.cmx) ++endif + + COMMONMOD = thread mutex condition event ++ifeq ($(NATIVE),yes) + COMMONMODNAT = $(COMMONMOD:%=%.cmx) + COMMONMODNATA = $(COMMONMOD:%=%.o) ++endif + + EXTRAMOD = cothread stm + EXTRAMODBYT = $(EXTRAMOD:%=%.cmo) ++ifeq ($(NATIVE),yes) + EXTRAMODNAT = $(EXTRAMOD:%=%.cmx) ++endif + EXTRAMODINTFSRC = $(EXTRAMOD:%=%.mli) + EXTRAMODINTFCOM = $(EXTRAMOD:%=%.cmi) + EXTRAMODINTF = $(EXTRAMODINTFSRC) $(EXTRAMODINTFCOM) + + LIB = cothreads + LIBBYT = $(LIB:%=%.cma) ++ifeq ($(NATIVE),yes) + LIBNAT = $(LIB:%=%.cmxa) + LIBNATA = $(LIB:%=%.a) ++endif + + INSTALLDIR = $(INSTALLLIBDIR)/$(BACKEND) + INSTALLFILES = $(EXTRAMODINTFCOM) $(EXTRAMODNAT) $(LIBBYT) $(LIBNAT) $(LIBNATA) +@@ -52,4 +60,4 @@ + clean: ocamlclean + + uninstall: +- for i in $(INSTALLFILES); do $(RM) $(INSTALLDIR)/$$i; done +\ No newline at end of file ++ for i in $(INSTALLFILES); do $(RM) $(INSTALLDIR)/$$i; done --- cothreads-0.10.orig/debian/patches/20_makefile_destdir.dpatch +++ cothreads-0.10/debian/patches/20_makefile_destdir.dpatch @@ -0,0 +1,17 @@ +#! /bin/sh /usr/share/dpatch/dpatch-run +## makefile_destdir.dpatch by Erik de Castro Lopo +## +## All lines beginning with `## DP:' are a description of the patch. +## DP: Patch Makefile.template to fix 'make install' target. + +@DPATCH@ +diff -ru cothreads-0.10-orig/ cothreads-0.10/ +--- cothreads-0.10-orig/Makefile.template 2007-09-25 16:07:03.000000000 +1000 ++++ cothreads-0.10/Makefile.template 2007-09-25 16:06:52.000000000 +1000 +@@ -1,5 +1,5 @@ + # Installation setting: Usually the only parameter needs customization +-INSTALLLIBDIR = $(OCAMLSTDLIBPATH) ++INSTALLLIBDIR = $(DESTDIR)$(OCAMLSTDLIBPATH) + + + # Layout of current project --- cothreads-0.10.orig/debian/patches/30_correct-doc-generation.dpatch +++ cothreads-0.10/debian/patches/30_correct-doc-generation.dpatch @@ -0,0 +1,23 @@ +#! /bin/sh /usr/share/dpatch/dpatch-run +## correct-doc-generation.dpatch by Sylvain Le Gall +## +## All lines beginning with `## DP:' are a description of the patch. +## DP: Corrects documentation generation. + +@DPATCH@ +diff -urNad cothreads-0.10~/doc/Makefile cothreads-0.10/doc/Makefile +--- cothreads-0.10~/doc/Makefile 2007-09-11 22:32:40.000000000 +0200 ++++ cothreads-0.10/doc/Makefile 2007-09-26 02:56:36.140575676 +0200 +@@ -6,8 +6,8 @@ + doc: + $(MKDIR) html + $(MKDIR) man +- $(OCAMLDOC) -html -d html -colorize-code $(TOPDIR)/$(SOURCEDIR)/*.mli $(TOPDIR)/$(SOURCEDIR)/process/thread.mli +- $(OCAMLDOC) -man -d man -man-mini $(TOPDIR)/$(SOURCEDIR)/*.mli $(TOPDIR)/$(SOURCEDIR)/process/thread.mli ++ $(OCAMLDOC) -html -d html -colorize-code -I $(TOPDIR)/$(SOURCEDIR) $(TOPDIR)/$(SOURCEDIR)/*.mli $(TOPDIR)/$(SOURCEDIR)/process/thread.mli ++ $(OCAMLDOC) -man -d man -man-mini -I $(TOPDIR)/$(SOURCEDIR) $(TOPDIR)/$(SOURCEDIR)/*.mli $(TOPDIR)/$(SOURCEDIR)/process/thread.mli + + clean: +- $(RM) html man *~ .depend +\ No newline at end of file ++ $(RM) html man *~ .depend