[Pkg-ocaml-maint-commits] [ocaml] 06/06: Cope with installation of *.cmt and *.cmti files

[Stéphane Glondu]

This is an automated email from the git hooks/post-receive script.

glondu pushed a commit to branch experimental/master
in repository ocaml.

commit e2d34ac167e510b718aeb696b006718d36e8ae71
Author: Stephane Glondu <steph at glondu.net>
Date:   Mon Aug 10 15:54:24 2015 +0200

    Cope with installation of *.cmt and *.cmti files
---
 debian/gen_modules.pl | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/debian/gen_modules.pl b/debian/gen_modules.pl
index aa03393..9706ae3 100755
--- a/debian/gen_modules.pl
+++ b/debian/gen_modules.pl
@@ -55,6 +55,7 @@ while (<>) {
                 print_if_existing("${prefix}.o");
                 print_if_existing("${prefix}.p.cmx");
                 print_if_existing("${prefix}.p.o");
+                print_if_existing("${prefix}.p.cmt");
             }
         } elsif ($ext eq "cmxa") {
             if ($opt_arch) {
@@ -63,6 +64,10 @@ while (<>) {
                 print_if_existing("${prefix}.p.cmxa");
                 print_if_existing("${prefix}.p.a");
             }
+        } elsif ($ext eq "ml") {
+          print "${prefix}.ml\n";
+          print_if_existing("${prefix}.cmt");
+          print_if_existing("${prefix}.cmti");
         } else {
             print "${prefix}.${ext}\n";
         }

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/ocaml.git