From 4a35b1e0ff823becd031a934dbe8133d1fbb70c9 Mon Sep 17 00:00:00 2001
From: "Richard W.M. Jones" <rjones@redhat.com>
Date: Wed, 22 Feb 2012 14:07:08 +0000
Subject: [PATCH] Distribute the *.cmi files.

They are required for compiling the jobs file.
---
 lib/Makefile.am  | 9 ++++++++-
 whenjobs.spec.in | 1 +
 2 files changed, 9 insertions(+), 1 deletion(-)

diff --git a/lib/Makefile.am b/lib/Makefile.am
index cbd0a28..1421da3 100644
--- a/lib/Makefile.am
+++ b/lib/Makefile.am
@@ -18,7 +18,7 @@
 EXTRA_DIST = whenproto.x pa_when.ml $(SOURCES)
 
 libwhenjobsdir = $(libdir)/$(PACKAGE_NAME)
-libwhenjobs_SCRIPTS = whenlib.cma pa_when.cmo
+libwhenjobs_SCRIPTS = whenlib.cma pa_when.cmo $(CMI_FILES)
 
 OCAMLPACKAGES = -package unix,num,camlp4.lib,calendar,rpc
 
@@ -38,6 +38,13 @@ SOURCES = \
 	whenutils.mli \
 	whenutils.ml
 
+CMI_FILES = \
+	config.cmi \
+	whenfile.cmi \
+	whenlock.cmi \
+	whenproto_aux.cmi \
+	whenutils.cmi
+
 # In dependency order.
 OBJECTS = \
 	config.cmo \
diff --git a/whenjobs.spec.in b/whenjobs.spec.in
index aba6433..e94e69b 100644
--- a/whenjobs.spec.in
+++ b/whenjobs.spec.in
@@ -75,6 +75,7 @@ rm -rf $RPM_BUILD_ROOT
 %{_sysconfdir}/prelink.conf.d/%{name}.conf
 %{_bindir}/whenjobs
 %{_sbindir}/whenjobsd
+%{_libdir}/whenjobs/*.cmi
 %{_libdir}/whenjobs/pa_when.cmo
 %{_libdir}/whenjobs/whenlib.cma
 %{_mandir}/man1/*.1*
-- 
1.8.3.1