[Pkg-ocaml-maint-commits] [SCM] pgocaml packaging branch, master, updated. upstream/1.3-14-gec442bb

[Guillaume Yziquel]

The following commit has been merged in the master branch:
commit ec442bb15844a928319d87eb0021ba104cc453c6
Author: Guillaume Yziquel <guillaume.yziquel at citycable.ch>
Date:   Tue Jun 16 17:07:48 2009 +0200

    Adding profiler to -ocaml-dev binary package.

diff --git a/debian/libpgocaml-ocaml-dev.install.in b/debian/libpgocaml-ocaml-dev.install.in
index d5f6309..6230931 100644
--- a/debian/libpgocaml-ocaml-dev.install.in
+++ b/debian/libpgocaml-ocaml-dev.install.in
@@ -1,5 +1,6 @@
-*.mli         @OCamlStdlibDir@/pgocaml
-OPT: *.a      @OCamlStdlibDir@/pgocaml
-OPT: *.cmx    @OCamlStdlibDir@/pgocaml
-OPT: *.cmxa   @OCamlStdlibDir@/pgocaml
-*.cmi         @OCamlStdlibDir@/pgocaml
+*.mli             @OCamlStdlibDir@/pgocaml
+OPT: *.a          @OCamlStdlibDir@/pgocaml
+OPT: *.cmx        @OCamlStdlibDir@/pgocaml
+OPT: *.cmxa       @OCamlStdlibDir@/pgocaml
+*.cmi             @OCamlStdlibDir@/pgocaml
+OPT: pgocaml_prof usr/bin

-- 
pgocaml packaging